ater: i or -2/5?
-2/5
Let k = -6.91 - 0.09. Let a = -7.3 - k. Which is smaller: -0.2 or a?
a
Let a(i) = -i**2 + 4*i + 5. Let r be a(6). Suppose -y + 4*d = -0*y - 11, -5*y + 2*d = 17. Which is greater: y or r?
y
Let c = -124/3 + 42. Is c at most -1/2?
False
Suppose -r + 42 = 5*r. Suppose 6 = t + r. Which is smaller: t or -2?
-2
Let b = 29 + -30.5. Are b and 0 equal?
False
Let i be 21/12 + (-18)/24. Is -2/21 <= i?
True
Suppose 3*t = -4*f + 6*f - 1, 0 = 5*f - 25. Let j be (4 - t) + (-8)/6. Which is smaller: j or -0.02?
j
Let j(m) = m + 4*m - 4*m - 4. Let w be j(6). Suppose -l + 2*l - w = 0. Is 2 < l?
False
Let v = 2 - 2. Let p = v + 1. Is -1/3 equal to p?
False
Let a(m) = -m**2 - 1 + 0*m**2 + 2*m + 3*m**2. Let s be a(-2). Suppose -f - 5*j = -0*f + 23, -5*j - 31 = -3*f. Which is smaller: s or f?
f
Let z = 213 + -3620/17. Which is smaller: z or 0?
0
Let p = 36 - 13. Is p at least as big as 0.1?
True
Let l = 3085627/1211 + -2548. Let x = l + -49645/7266. Let p = x + 16/3. Which is greater: 1 or p?
1
Let a = -41 + 42. Let g = 3 - 6. Let w = -2 - g. Is a at least w?
True
Let d = 32 - 33. Which is smaller: d or -4?
-4
Let i = -0.02 + 0.06. Let v = i - 0.24. Let h = 3.2 - 3. Which is bigger: h or v?
h
Let x = 36 + -37. Let g = -0.1 - -5.1. Is g at most as big as x?
False
Let m be 29/5 + 3/15. Suppose -4*q + 22 + m = -f, 0 = 2*q - 4*f - 28. Suppose -w = -5*y + 23, 0 = 2*w - 0*w - 2*y + q. Does w = 3?
False
Suppose -5*w = -9 - 11. Suppose 15 = 3*r, w*r = v + 2*r + 20. Which is smaller: v or -9?
v
Let l(t) = t + 7. Let f be l(-13). Let a = 0.17 - 0.07. Are a and f nonequal?
True
Suppose -2*b = b. Let j be (1 - b) + 15/(-10). Let c = 1 - 1. Which is greater: c or j?
c
Let a = 2.24 - 2.3. Is 2/7 not equal to a?
True
Let m = 14 + -5. Let u = -8 + m. Is -0.2 less than or equal to u?
True
Let f = 21 - 10. Which is greater: f or 10?
f
Suppose 0*p = 2*p + 56. Let m be (-4)/6*(-12)/p. Which is greater: 1 or m?
1
Let j be ((-1258)/8)/(3/18). Let q = 921 + j. Let u = 22 + q. Which is smaller: u or -1?
-1
Let n = 9 - 7. Let c be n*1*2/4. Does c = 1?
True
Let o be -4*(-2)/(2/1). Suppose 0 = -y + 3*u - o, 5*y + 7*u - 2*u = 0. Is -3 at most as big as y?
True
Let z = 55 - 52. Does -3 = z?
False
Let r(o) = o**3 - 7*o**2 - 7. Let i be r(7). Let g be i/(-6)*3 + -3. Which is bigger: -2/5 or g?
g
Let z be 14/(-49) + (-60)/(-14). Is z greater than 3?
True
Let l = -37 - -36.9. Is 0.3 bigger than l?
True
Let f = -0.5 - -0.4. Let g = -0.4 - f. Is 2/9 at most g?
False
Let c = 25 + -29. Let p = -0.8 + 0.7. Is p smaller than c?
False
Let w = 19.9 + -20. Which is smaller: -0.6 or w?
-0.6
Let n = 5 - 8. Suppose 3*y + 4*h + 17 = 0, 4*y - 5*h + 3*h + 8 = 0. Does n = y?
True
Let s = -38 + 39. Let g = 0.4 + -0.3. Which is smaller: g or s?
g
Let h(t) = t**2 + 7*t + 0*t**2 + 0*t + 1. Let r = -17 + 10. Let j be h(r). Is j < 2/3?
False
Let t(g) = g**2 + 5*g + 6. Let l be t(-3). Let h be (-1 + -2)*(-2)/48. Which is bigger: l or h?
h
Let x = 11 - 8. Let s be 99/(-21) + x - -2. Is s != 2/11?
True
Suppose 3*i + 0*i + m - 35 = 0, 0 = 4*i - 3*m - 51. Let s = i + -6. Suppose -4*v = s - 2. Is 0 at least as big as v?
True
Let k = 19 - 4. Suppose -o + 3*s + k = 0, 3*s = 2*o - 0*s - 18. Let q(u) = u**2 - 2*u - 1. Let j be q(o). Is j != 0?
True
Let h(j) = j**2 + 6*j + 6. Let f be h(-5). Are f and -5/11 unequal?
True
Let a = -20 - -23. Let q = 3/2 + 0. Does q = a?
False
Suppose -x - w + 1 = 0, x + 3*x + 3*w = 6. Let a be (-2)/(-3) + (-8)/(-6). Suppose -2*v = -3*b - 10, -a*b + 12 = 5*v - 3*b. Is v > x?
False
Let b(i) = -i**2 + 11*i - 2. Let f be b(11). Let w(k) = -k**2 + 7*k. Let h be w(7). Let j = h + -1. Which is smaller: f or j?
f
Let j be (-2 + 2)*1 - 0. Let v be j*1/(-5 + 3). Which is smaller: v or -3/8?
-3/8
Let g be ((-27)/3)/(2*(-2)/4). Is 35/4 <= g?
True
Let g(r) = r**2 - 4*r - 1. Let k be g(3). Is -3 >= k?
True
Let m = -222 + 154. Is -67 greater than or equal to m?
True
Let n = 2 + -3. Let v = n + 4. Suppose r - 5*q = -27, -r - v*q + 14 = 1. Is -3 less than or equal to r?
True
Suppose 4*q - 3*x = 22, -3*q = -6*q - x + 10. Suppose -5*g - 1 = q. Which is smaller: -2/5 or g?
g
Let m be (2 + -1)*(-1)/(-1). Let z be (4/8)/((-2)/(-4)). Is z equal to m?
True
Let p = 36 + -38. Is p less than or equal to 10?
True
Suppose 0 = 2*d - 12 + 14. Let q be (-1 + 0 + d)/(-6). Let t = -52/3 - -18. Is q > t?
False
Suppose -5*h = 34 - 89. Let k = 6 - h. Which is greater: -4 or k?
-4
Let f = 20 + -29. Let a = f - -7. Which is smaller: 0 or a?
a
Let q be 8/(-12) - 14/(-3). Suppose -3*y + 1 = q. Let n be ((-3)/2 - -2)*-4. Which is smaller: n or y?
n
Let j = -0.65 - -0.65. Which is bigger: j or -24?
j
Let j = 23/22 - 6/11. Suppose 0 = b - n - 5, 3*b - 2*n = 8 + 4. Which is smaller: b or j?
j
Suppose -3*n = -3*q - 0 - 3, 2*n - 16 = -5*q. Let k be q - 99/(-12) - -1. Let x = k + -21/2. Which is bigger: x or 0?
x
Let m be (2*(-18)/112)/(-3). Which is greater: m or 1?
1
Let v = 5 - -6. Which is smaller: 1/3 or v?
1/3
Suppose 0 = -g - 3*g + 20. Suppose 0*z = z - 7. Which is smaller: g or z?
g
Suppose 0 = 2*a + q + 4, -5*a = -5*q + 4 - 24. Suppose i + a = 2. Suppose 8 = -2*m - i. Is m <= -4?
True
Suppose 5*l - 8 = -f + 2, 4*l - 2*f = 8. Let n = l + 0. Which is smaller: 1 or n?
1
Let m = -6.14 + 0.14. Let v = 0.04 + -6.04. Let h = m - v. Does 4/5 = h?
False
Let q be (20/(-6))/((-80)/60). Is 2 < q?
True
Let h = 39 - 28. Which is smaller: h or 0.4?
0.4
Let a = 15 - 15.2. Is -0.2 <= a?
True
Let b = 1 - 0.9. Let f = 1872/407 - 50/11. Is f less than or equal to b?
True
Suppose -6*j + 2*j = -72. Let a = 47/2 - j. Which is bigger: a or 6?
6
Suppose -5*f - 5*w + 30 = 0, w - 12 = -2*w. Is 1 bigger than f?
False
Let l = -0.06 - 0.24. Let z = -1.06 - -0.9. Let g = 0.84 - z. Which is smaller: l or g?
l
Let o(b) = 6*b + 92. Let k be o(-18). Let g = -50 + 35. Which is bigger: g or k?
g
Let s = 0 - -6. Which is bigger: 3 or s?
s
Let r(f) = -f**2 - 6*f + 3. Let i be r(-6). Let q be -2 - -3 - (-9)/1. Let s = 14 - q. Are s and i nonequal?
True
Let q = -1509949/36 + 41938. Let p = 21/4 + q. Let f(b) = -b**2 + 7*b + 9. Let u be f(8). Which is smaller: p or u?
p
Suppose 0 = -5*d + 4 + 16. Suppose -12 = -d*t, -3*g + t = -6*g. Which is greater: g or 3?
3
Let z(h) = -h**3 + 7*h**2 + 8*h - 6. Let l be z(8). Let j(t) = t**3 + 7*t**2 + 6*t - 1. Let x be j(l). Which is smaller: -1/4 or x?
x
Let b(z) = -z + 4. Let r be b(6). Let a(m) = -m**2 - m. Let y be a(-2). Is y greater than r?
False
Let h be -4 + 4*(-84)/(-88). Which is smaller: h or -1/4?
-1/4
Let v = 4.7 + 0.3. Let y = 8 - v. Let a = 4 - y. Which is smaller: 0 or a?
0
Let s = -1.72 - -2.2. Let o = s - -0.02. Let w = 0.8 - o. Do 2 and w have different values?
True
Let b = -11 - -15. Suppose b*f = 7 + 1. Suppose -x = x - f. Which is greater: 0 or x?
x
Let h be (-66)/(-24) + 1/4. Suppose 2*q - 5*z + 15 = 0, -2*z + h*z = -2*q + 3. Which is bigger: 2/37 or q?
2/37
Let q = -67 - -69. Is q at most as big as 1/12?
False
Suppose -6*d + 5*w = -2*d - 19, 0 = -5*d + 5*w + 20. Let k = -4768 - -33105/7. Let u = 39 + k. Which is bigger: u or d?
d
Suppose -3*f = b - 6 + 21, 4*b + 25 = -5*f. Let n = -3 - f. Let k = 24/91 + 4/13. Are n and k nonequal?
True
Suppose 5*b - b - 8 = -4*n, -2*n = 4*b - 2. Let o(w) = -5*w - 1. Let q be o(b). Let f(g) = -g**2 + 4*g + 2. Let s be f(q). Do 1 and s have different values?
True
Suppose 0 = -2*h - 0*h. Let k be 11 - (-1 + 2 - 2). Let l be (-14)/k - 1/(-2). Which is greater: h or l?
h
Let h = 1.2 - 1.3. Is h smaller than 0.03?
True
Let j = 0.17 + -0.13. Is j != 0?
True
Suppose -4*q = -9*q - 15. Let t(s) = -s**3 - 3*s**2 + s. Let a be t(q). Let p be 10/(-6) - (-2)/(-6). Which is smaller: p or a?
a
Suppose 3*c - 9 = -0*c. Let d = 2 - -2. Suppose 5*x - 9 = -d. Which is greater: x or c?
c
Let j = -301/4182 - -11/164. Are -1 and j nonequal?
True
Let g = 22/3 - 104/15. Let k = -5827 + 17650/3. Let b = -57 + k. Is g > b?
True
Let q = 3357 + -23433/7. Which is bigger: q or 10?
10
Let v be (-5)/(5/(-6))*-193. Let m = 253600/219 + v. Let p = 649/876 - m. Which is smaller: 0.1 or p?
0.1
Suppose -2*a + a + b = 140, 2*a = -4*b - 250. Which is smaller: a or -134?
a
Let x be (0 - (-2)/(-6))*0. Let o = -15/91 + 4/13. Do x and o have the same value?
False
Suppose 1 = -5*i + 6. Suppose i = 5*g 