e
Let u be 4 + (-2)/36*74. Suppose v - 1 + 2 = 0. Is u equal to v?
False
Suppose 2*m - 3*n - 5 = 0, 4*m + 0*n = -5*n - 1. Let i be (-2092)/(-6)*(-6)/(-32). Let z = i + -65. Is m equal to z?
False
Let u be ((-4)/30)/((-1)/6). Let z = 5 - 9. Let c be z*3/12*-2. Which is smaller: u or c?
u
Suppose 1 + 15 = -8*x. Which is bigger: x or -1/3?
-1/3
Let o = -35 - -32. Are -5 and o non-equal?
True
Let g = -1 + -0.4. Let z = -0.6 + g. Is 0.2 bigger than z?
True
Let x = 0.093 + 56.907. Let f = x - 59.3. Let h = 0.3 + f. Which is bigger: 1 or h?
1
Let p be 2/(2/13)*1. Is 13 less than or equal to p?
True
Let o(k) = -k**3 - 5*k**2 + 5*k + 3. Let h be o(-6). Let a = h + -7. Let z(p) = -p**3 - 3*p**2 - p - 1. Let s be z(-3). Do a and s have the same value?
True
Let n = 2 - 12/5. Suppose 19 = 3*g - 4*w, -8*g + 3*g - 5*w - 15 = 0. Which is bigger: g or n?
g
Let j be 1 - (-10)/14 - 2. Let z(a) = -a**3 - 3*a**2 + 3. Let q(m) = m**3 - m**2 - 1. Let v(h) = 2*q(h) + z(h). Let l be v(5). Which is bigger: l or j?
l
Suppose -5*l - 27 = 13. Which is smaller: -7 or l?
l
Let n = 4.7 + -1.7. Let o = 3 + -2. Which is smaller: n or o?
o
Let o = -62 - -62.2. Let m be (-62)/(-6) - (-4)/6. Let f be 4*(-2 - m/(-6)). Is f at least as big as o?
False
Suppose 4*b + 9 = 5. Which is smaller: b or 2/35?
b
Suppose -t = 7 + 18. Let i = t + 124/5. Which is smaller: 1 or i?
i
Let z = -3/7 - -13/14. Let x be (-2)/10 + 71/5. Let g be (-11)/x - 1/(-2). Which is smaller: z or g?
g
Let v = 80 - 136. Which is smaller: -57 or v?
-57
Suppose -4*u - 16 = 0, -n - 69 + 243 = 5*u. Suppose q + 113 = -3*f, 3*q + n + 115 = -3*f. Let x = q - -880/9. Which is smaller: 2/3 or x?
x
Suppose -6 = -3*y - 0*y. Let m = -11 + 9. Which is smaller: m or y?
m
Suppose -4*y - 4*q - 12 = 0, -4*y = -3*y - q - 5. Let l = -3 + y. Which is greater: l or -3?
l
Let u be (-2)/7 - 96/7. Let r be 4/u + (-60)/(-63). Which is greater: -3/4 or r?
r
Suppose -4*y + 15 = y. Let g(k) = -k + 4. Let i be g(y). Let w be (-1*(1 + -3) - 4)/9. Is i smaller than w?
False
Let f = 5 - 4. Let y be ((-2)/(-6))/((-10)/(-18)). Is f not equal to y?
True
Let f = 1 + -1. Let i = 5 - 1. Let n = i - 5. Which is greater: f or n?
f
Suppose -g - 20 = 4*g, -s + 7 = -g. Which is bigger: s or 2?
s
Let j be (-1 + 2)/((-2)/(-44)). Let u = j + -11. Which is greater: 10 or u?
u
Let v = 3172/165 + -210/11. Which is smaller: v or -1?
-1
Let w = 0.03 + 2.97. Let y = 3.1 - w. Let m(n) = n**2 - 6*n - 1. Let k be m(6). Is y <= k?
False
Suppose -3 = -5*t + 2*t. Let b(c) = -c + 4. Let m be b(5). Do t and m have different values?
True
Let g = 30 + -32. Which is bigger: -0.2 or g?
-0.2
Suppose 3*c - 4*w = -1, w + 0*w = c. Suppose 5*t + 5*b - 20 = 0, -2*b - 1 = -t + 15. Suppose -r = 2*l - t - 0, -3*l = -9. Which is smaller: r or c?
c
Let p = -218 + 7196/33. Is p at least as big as -1?
True
Suppose 0 = -3*m - 4*i + 31, 36 = 4*m + i + 3*i. Suppose m*j = 3*j + 4, -3*s = 3*j. Which is bigger: s or 2/7?
2/7
Let s = -112 + 72. Let b = s + 121/3. Which is smaller: 1 or b?
b
Let s(t) = -t**3 - 7*t**2 - 6*t - 1. Let c be s(-6). Let b be 1/1 + (c - 2). Is -3/2 <= b?
False
Let o = 128 - 133.1. Let d = o - -5. Which is greater: d or -7/6?
d
Let k = 23075548 + -30736628267/1332. Let m = 1/333 - k. Which is bigger: m or 0?
0
Suppose p + j - 3*j - 16 = 0, 2*j = -5*p + 20. Let d(u) = -u**2 - 10*u - 3. Let y be d(-9). Is y >= p?
True
Let k be 8/(-68) - 80/(-102). Do k and 2/19 have the same value?
False
Let q = -2 - -10. Let k be (-4)/(-16) - 2/q. Let t be 4/3*(-6)/(-20). Are t and k unequal?
True
Let w be (8/10)/(6/(-24)). Which is greater: -2 or w?
-2
Let m be 33/44 - (-19)/(-4). Let t be m/(-5)*80/416. Is t at most 1?
True
Let s be (1 - 0)/((-1)/2). Let t = s - 0. Let d = -5 - -2. Is t not equal to d?
True
Suppose 0 = 2*f + 2, 0 = -2*w - 0*f + 2*f. Let b be 2*(4/(-4) - -3). Let q be (2/5 - b) + 3. Is w at most q?
True
Let m = -23 - -20. Which is greater: m or -16/5?
m
Let r = -358 - -13248/37. Are r and 1/4 nonequal?
True
Let d = -2 + 4. Suppose d + 4 = p. Which is smaller: -0.1 or p?
-0.1
Suppose -2*m = -3*q + 15 - 2, -3*q + 1 = 4*m. Let z be 7*(-2 - (-3 - m)). Is -5 bigger than z?
True
Suppose 2*p + 10 = 0, -74 = 4*g + 4*p - 6. Which is greater: g or -11?
-11
Let x = 1 + 3. Suppose -x = -4*k - 0*k. Suppose k = 5*q - 4*q. Is 2/7 > q?
False
Let k(p) = -p**2 + 8*p - 4. Let c be k(8). Let z be 2/3 - c/12. Which is smaller: z or -1/31?
-1/31
Let h(i) = 2*i + 2. Let q be h(-5). Let l(a) = 2*a - 9. Let j be l(8). Let x = j + q. Which is bigger: x or 0.4?
0.4
Let c(w) = -w - 3. Let u be c(-4). Which is bigger: 2/19 or u?
u
Suppose 3*s + 4*i = 11, -4*i - 11 = -s - 2. Suppose 0 = 5*o + 4*q - 36, s*o = 3*q + 17 + 26. Is o != 7?
True
Let w = 1/14 + 3/7. Let j = 101429561/333 - 304593. Let v = -2/37 + j. Is v less than or equal to w?
True
Let q = 0.1 - 0.2. Let h = 0.2 + q. Let g = 3 + -3. Which is bigger: h or g?
h
Suppose 2*r - 4*r = 0. Suppose 0 = 3*o - 15, 5*q + r*o = 3*o - 20. Let z be (q/(-3))/(56/(-120)). Which is smaller: z or -1?
-1
Suppose t + 3*t + 20 = 0. Let m = 8 - -4. Suppose 0 = -3*a - m - 3. Is t > a?
False
Let c = 41 - 36. Is 7 smaller than c?
False
Let s be (-16)/234 + (-12)/78. Does -0.06 = s?
False
Let i = -11 + 13. Which is greater: -3 or i?
i
Suppose -145 = -5*c - 0*c. Are 30 and c unequal?
True
Suppose m + 0*o = 2*o + 1, -5*o - 10 = -m. Which is smaller: m or 0?
m
Suppose 0 = -6*o + 4*o - 184. Is o > -92?
False
Let j(b) = -b**2 + 10*b - 7. Let r be j(9). Let c be (-1)/(2*(-1)/r). Which is smaller: -2/11 or c?
-2/11
Suppose -5*u - k - 10 = 4*k, -3*u - 14 = 5*k. Let f be ((-19)/9 - -2)*u. Let o be (-38)/380 + (-9)/10. Which is greater: f or o?
f
Suppose -3*l + 8*l = 25. Let d be -3 + (-5)/(l/(-2)). Suppose 0 = -0*v - 4*v. Which is greater: d or v?
v
Let s be (0 + 4)/((-9 + 8)/1). Let q = -62446/21861 + -2/3123. Is s greater than or equal to q?
False
Let w be 1/(-4) - 34/(-8). Let g = w + 1. Which is greater: 4 or g?
g
Suppose x - 3 = -2. Which is smaller: x or -2/31?
-2/31
Suppose -242 = u + 10*u. Is -22 > u?
False
Let t = 4 + -1. Suppose 3 = -t*q + 15. Which is bigger: q or 1/4?
q
Suppose -3*s + 2 = -s. Is s greater than 0.3?
True
Let w = -208 + 190. Which is smaller: w or 1?
w
Suppose -3*p + b - 2 - 2 = 0, 3*p + 19 = -2*b. Let g be -2*-1*p/1. Let o be 2 - 7/g*-2. Is 1/2 at most as big as o?
False
Suppose -42*m = -43*m. Which is smaller: 2 or m?
m
Let t(b) = -4*b - 2. Let o be t(-1). Is o equal to 9/2?
False
Let v(q) = -2*q**2 + 5*q + 1. Let c be v(4). Let g = c - -11. Is -2/5 < g?
True
Let x = -4 + 19. Which is smaller: x or 13?
13
Suppose 5 = -c - 0, 2*h = 3*c + 3. Let d be 2/(-3) - 16/h. Let g be 2 - 1 - 10/14. Is g less than d?
True
Let c = 1 + 7. Suppose 0 = 2*w + 2*w - c. Suppose -3*k - 3 = 6, -7 = -w*v + 5*k. Is v bigger than -3?
False
Let i(c) = c**2 + 2*c - 9. Let u be i(-4). Are -9 and u nonequal?
True
Let t = 153/4 + -1675/44. Which is bigger: t or 8?
8
Let k(g) = -g**2 - 10*g + 11. Let v be k(-11). Do v and -1/2 have the same value?
False
Let s be -2 - 5/(70/(-24)). Let i = 876 + -872.01. Let v = i + 0.01. Do v and s have different values?
True
Let g = -82 + 82.3. Which is smaller: g or 1/3?
g
Suppose -5 + 3 = 2*o. Let y = -11/35 - -5/7. Which is bigger: y or o?
y
Suppose 4*h + h = 5. Suppose 0*t + h = -t. Is -2 smaller than t?
True
Let b be 12/5*2/4. Let u = -62 + 62. Which is smaller: b or u?
u
Let w be (2/36)/((-45)/(-189)). Let t = w - -11/210. Is t at most 0?
False
Suppose 4*p + 2*f - 4*f = 192, 0 = -p + f + 48. Do 48 and p have different values?
False
Let q = -27 - -79/3. Let u be 0 - (-2 - -4)*2. Let r = u - -3. Is q < r?
False
Let h(b) be the first derivative of b**3/3 - 11*b**2/2 + 8*b + 2. Let o be h(8). Which is greater: o or -15?
-15
Let h be (-1 - 0) + (-12)/(-21). Is 4 bigger than h?
True
Let p = -2 - -1. Suppose -3*q + a = -7, -4*a + 13 = 5*q - 6*a. Is q greater than or equal to p?
True
Let k(r) = -4*r + r + 0*r - 3*r**2 + 2*r. Let v be k(1). Is v less than -4?
False
Let q be (-67)/2 + (-16)/(-32). Which is smaller: q or -34?
-34
Let t = -18 + 13. Let v = -3.7 + -1.4. Let s = v - t. Which is smaller: 0.1 or s?
s
Let f = 165 - 651/4. Which is smaller: f or -2/3?
-2/3
Let u be 6/21 - (-6)/(-21). Is u less than or equal to 2/3?
True
Let v = -211/