- 3. Let x be m(2). Let o = x - z. Which is greater: o or 2?
2
Suppose -z - 5*q + 10 = 0, -2*z + 24 = -3*q - 35. Is z greater than 23?
True
Let d = 1.1 - 0.3. Let l = -0.2 - d. Let z = -1.2 - l. Which is smaller: 2/3 or z?
z
Let p(b) = -3*b - 6 + 0*b + 0 + 2*b. Let y be p(-5). Which is smaller: -2/5 or y?
y
Let h(i) = i. Let n be h(-1). Is -12/11 bigger than n?
False
Let u(w) = -w**2 - 7*w - 13. Let t be u(-5). Which is bigger: -1/4 or t?
-1/4
Let d = -0.38 - -0.38. Let z = -0.9 + -0.1. Let j = z + 0.9. Do d and j have different values?
True
Let o be (-3 - -5) + (-9)/4. Let w = -5.6 + 5. Let f = w - 0. Which is bigger: f or o?
o
Let q = -2 + 2. Suppose q*g + g + 1 = 0. Let v be -3 + g + 1 + 2. Is v at most -3?
False
Let a be 12/14 - 1 - 43/(-7). Are 3 and a equal?
False
Suppose 0*l = 3*l - 2*p - 34, -4*p = 3*l - 22. Which is greater: l or -1?
l
Let j be (-2)/6*-6*2. Suppose 0 = w - 2, -j*v + 6*v - 8 = -2*w. Suppose -v*t - 3*g = -0*g + 5, 2*g = 2*t. Which is greater: t or 2/11?
2/11
Let q(r) = r**3 - r**2 + r + 4. Let o be q(0). Let b be (o/(-10))/(5/(-25)). Let z be (b*(-1)/4)/(-1). Is 1 <= z?
False
Let x = 0.03 + 0.1. Let l = -0.14 + x. Which is greater: -2 or l?
l
Let o = -0.14 - -0.14. Is 0 less than or equal to o?
True
Suppose -2*t - 4*f - 50 = t, -5*t + 2*f = 92. Let s be ((-3)/t)/((-2)/(-9)). Is s > 1?
False
Let q = -153 - -149. Which is smaller: -26/9 or q?
q
Let q be -1 + 2/2 + 9. Suppose 14 = 2*y + k, 0*y - 3*k = y - 12. Let f = q - y. Are f and 4 non-equal?
True
Let p(g) = g + 8. Let j be p(-9). Let c be 8/(-20) - 3/5. Is c less than j?
False
Let j(r) = -r + 4. Let y be j(-4). Is 43/5 greater than or equal to y?
True
Suppose -8*q + 2*q = -366. Let l be q/(-85) + (-3)/(-5). Which is bigger: -1 or l?
l
Let i(r) = r**2 - 7*r + 7. Let v be i(6). Which is smaller: 20 or v?
v
Let j = -19435/33 + 589. Suppose 6*t = -25 + 19. Is j > t?
True
Let h(x) = -x - 1. Let a be h(-3). Suppose a*p - 15 = -3*p. Suppose -8 = 2*z + 4*t - t, -z - 3*t = 10. Are p and z unequal?
True
Let v = -45 + 49. Which is greater: v or 5?
5
Let v(h) = -h**2 + 9*h + 2. Suppose 0 = -2*q + 20 - 4. Let d be v(q). Suppose -d = 3*f - 5*l + 24, -4*l + 35 = -5*f. Which is smaller: f or -4?
-4
Suppose 14*l - 12*l - 7 = r, 4*r + 2*l + 48 = 0. Is 2/5 < r?
False
Suppose -6*r + 36 = -2*r. Is r less than or equal to 9?
True
Let s = 43 + 7. Let r be ((-4)/10)/((-60)/s). Is -0.2 equal to r?
False
Let g be 33/44*32/222. Which is greater: -1 or g?
g
Let d = 18 + -18. Is d not equal to 0?
False
Let x be (-176)/12 + 4/6. Let r be 2/x - (-1)/(-7). Do 6 and r have the same value?
False
Let v = 120 + -121. Is v < 4/45?
True
Let j be (-4)/(-14) + (-819)/(-49) + -2. Are 15 and j non-equal?
False
Let k = 1 - 1. Let i(q) = q + 2. Let v be i(-2). Let u = v + k. Is 1/5 bigger than u?
True
Let m(g) = 2*g - 3. Let u(k) = 3*k - 6. Let h(f) = -5*m(f) + 3*u(f). Let x be h(-3). Let p be (17/8 + -2)/1. Which is smaller: p or x?
x
Suppose 5*v = v. Let q be (-4672)/504 + (v - 0). Let h = q - -86/9. Is -1 less than h?
True
Let p = -16.1 - -17. Let b = p - -0.1. Is b at least 3?
False
Let r(w) = -w**3 - 16*w**2 - 14*w + 12. Let t be r(-15). Which is greater: t or -4?
t
Let y be (-390)/54 - 4/(-18). Which is smaller: y or -8?
-8
Let m(u) = -3*u + 3. Let a be m(3). Let s(n) = 2*n**2 - 6*n - 3*n**2 + 0*n**2. Let w be s(a). Is w greater than -4/3?
True
Let m = -111.57 - -111. Let w = 0.17 + m. Is w bigger than -2/9?
False
Let k(i) = -i - 1. Let f(x) = 8*x + 5. Let d(v) = -f(v) - 6*k(v). Let y be d(-1). Let q be 0 - (-5 + 0 + 2). Is q at least as big as y?
True
Suppose 2*f - 5*f - 27 = 0. Let p(l) = 2*l + 0 - 4 - 3*l. Let t be p(f). Do t and 4 have different values?
True
Let i = 0.1 + -0.17. Let l = 0.0501 + 2.8799. Let q = i - l. Which is greater: 1 or q?
1
Suppose -12 - 8 = 4*m. Let z(r) = r**2 + 5*r. Let t be z(m). Suppose 4 = -t*o - 2*o. Is o < -3?
False
Let o be (-18)/8 + 1/4. Let n be (-14)/3 + 16/24. Let h be 2/n - 3/o. Is h >= 2?
False
Let y be 4*2/(-24)*3. Let u = -8.5 + 0.5. Which is smaller: u or y?
u
Let k = 34 - 39. Is -7 at most as big as k?
True
Let p(n) = n - 4. Let s be p(0). Let f be 8/(-76)*(-2)/s. Is f greater than 1?
False
Let i = 2 - 3. Let m be ((-8)/(-6))/1*6. Suppose -2*r + a - m = -a, 4*a - 15 = 3*r. Are r and i equal?
True
Suppose -11*x + 5 = -6*x. Do 1 and x have the same value?
True
Let g(z) = z**3 + 5*z**2 + 2*z - 1. Let s be g(-3). Which is smaller: 9 or s?
9
Let p be (6/(-8))/(21/(-12)). Let d(s) = -s**3 + 4*s**2 - 4*s + 3. Let m be d(3). Suppose 4 = 4*j - m. Do j and p have the same value?
False
Suppose -4*m = -2*m + 2. Let v be 10/(-5) + 2 + m. Let f be (8/(-16))/((-2)/(-4)). Is f >= v?
True
Let n be 1 - ((-2)/(-2) - 4). Suppose 1 = -n*d + 17. Suppose 5*u = -3*y + d, -4*y - 6 = -u + 4. Is y smaller than -1/2?
True
Let f be -8 + (1 - -3) + -1. Is 5 > f?
True
Suppose 2*m = x + x + 6, 5*m = -x + 21. Suppose 0 = -2*n - 3*n. Let q(y) = y**2 - y + 1. Let u be q(n). Is x at most as big as u?
True
Let q(r) = -r**2 + 15*r + 33. Let z be q(17). Is 3/25 at least z?
True
Suppose -3*a - 2 = -5. Which is smaller: -2/17 or a?
-2/17
Let u = -1.7 - -1.8. Is -15 at least as big as u?
False
Let p = -13.3 + 13. Let f = 3 - 3.2. Let h = p - f. Which is greater: h or -2/9?
h
Suppose 2 - 167 = 5*h. Which is greater: 1/2 or h?
1/2
Suppose 2*m - 6 = 4*m + 2*f, 3*m + 12 = -4*f. Let g be 6/(-10) - m/(-1). Is g at most -2?
False
Let q(g) = 2*g**2 + 5*g + 2. Let v be q(-3). Suppose -j = 2*f + 27, 3*j = 3*f - v*f - 37. Is f greater than -11?
False
Suppose 3*x + 3*c + 87 = 0, 74 = -4*x + 2*x + 2*c. Do x and -33 have different values?
False
Suppose 5*b + 9 = z, -2*z = b - 2 + 6. Which is bigger: z or -1/3?
-1/3
Suppose -45 = -4*s - l, 3*s - 39 = -2*l + 1. Let i be 8/s + (-10)/25. Let r = 1 + -2. Which is greater: r or i?
i
Let f(q) = 3*q - 17. Let j be f(5). Is -10/17 bigger than j?
True
Let c be 1 + 4 + -1 + -2. Let o be 252/5 - (-6)/(-15). Let n be (-3)/c - (-15)/o. Which is bigger: 0 or n?
0
Let p = 15.2 - 1.2. Let r = p - 8. Let c = r - 4. Which is smaller: 1/4 or c?
1/4
Suppose -4*j = 2*w + 1 - 37, 42 = 5*j + w. Let n(t) be the first derivative of t**4/4 - 8*t**3/3 + 2*t + 8. Let m be n(j). Which is bigger: 4/3 or m?
m
Let n(r) = r**2 - 2*r + 1. Let w(k) = -k + 12. Let u be w(10). Let c be n(u). Is c at least as big as 3?
False
Let g(c) = -c**2 - 5*c + 9. Suppose 2*i + 14 = -0*i. Let k be g(i). Is k > -6?
True
Let z = -11.5 + 11.56. Let y be 0 - (-1 + 3/5). Do y and z have different values?
True
Let m = 142 - 141.9. Which is smaller: m or 26?
m
Let r(w) = w**2 - 5*w - 8. Let n be r(6). Let l be -1*1 + 5/(-1). Let q be l/n + (-21)/7. Which is smaller: q or 1?
q
Let h = -13/2 - -7. Suppose -6 - 8 = 2*n + 2*t, n - 4*t - 18 = 0. Let w be (3 + n)/(2/(-2)). Which is bigger: h or w?
h
Suppose -5*a + 3 + 2 = 0. Let m be 10/(-15) - -1*a. Which is greater: m or 1?
1
Let d = -42 - -42. Let q = 0 - 0.2. Which is greater: q or d?
d
Let t = -154/897 - 2/897. Is 1 at most as big as t?
False
Suppose 5*n + 4 = o - 3, -28 = -4*o + 2*n. Which is bigger: 2 or o?
o
Let o = 123/4 - 1111/36. Which is smaller: -1 or o?
-1
Let x = -2.2 + 3.1. Which is greater: 1 or x?
1
Let q be 2/5 + (-3178)/20. Let f = q + 2211/14. Which is smaller: -1 or f?
-1
Let o be (2 - 0/(-2))/5. Suppose -3*t + t = 5*c - 25, -5*c = 5*t - 40. Suppose 0 = -r + t*i + 25, 5*r - 5*i - 5 = -4*i. Is r less than o?
True
Let q = 22 + -38. Let t = -14 - q. Is t greater than or equal to 0.02?
True
Let t = 0.136 - 0.036. Is t smaller than 0.12?
True
Suppose -4*i + y - 5 = 0, i + 2 = y - 0*y. Let g be (-3 + 8/4)*0. Which is smaller: g or i?
i
Let j = -0.054 + 0.284. Let k = -1.7 + 1.63. Let q = j - k. Which is smaller: 0 or q?
0
Let l be -2 + 3/(9/6). Which is bigger: l or 3/5?
3/5
Let o = 249 + -234.7. Let c = 1.7 + o. Which is greater: c or -1?
c
Let g = 4.6 + -6.7. Let y = 1.2 + g. Let a = 0.4 + y. Is a less than -1/2?
False
Let m = -1/77 + 157/231. Let d be 2 - (2 + (-2)/6). Is m at least d?
True
Let l = -4 - -2. Let s be -2 - (-1)/(-1)*1. Does s = l?
False
Let l = -2 - 0. Let v be (l - -1) + (-16)/(-12). Is v <= 2/5?
True
Let m be 19/3 + (-4)/(-6). Suppose -m = -0*p - 4*p - l, -l = -p + 3. Suppose -2 - 4 = -2*t. Which is smaller: t or p?
p
Let w(a) = a**3 + 8*