 25/128 + -11781/59008. Which is smaller: 0 or j?
j
Let q = -441 - -31751/72. Is -1 at least q?
False
Let o = 18.47 - 4.39. Let k = -15 + 29. Let r = k - o. Which is greater: -0.1 or r?
r
Let h = 34 + -33.969. Let b = -0.969 - h. Is 8 < b?
False
Suppose 4*t - 7 = 4*h + 7*t, 4*h + 4*t + 12 = 0. Suppose 2*l + 3 = -3*q + h*q, 5*q + 6 = -l. Is q > 2/7?
False
Let h = 325 - 324. Which is greater: h or 165?
165
Let y = -23 - -26. Suppose -5*l - 44 = -y*l. Let t = -23 - l. Which is greater: 2/81 or t?
2/81
Suppose 6*k - 442 = 4*n + 3*k, 0 = -5*k - 10. Is n less than or equal to -111?
True
Let i = -0.1 + 0.7. Let y = 1.6 - i. Is y at least -4/9?
True
Let p(f) = -f**2 + 6*f - 7. Let m be p(4). Which is greater: -1/30 or m?
m
Let o(i) = -i**2 + 5*i + 2. Let a be o(7). Let l be 3 - (a/(-10) - -2). Which is smaller: -1 or l?
-1
Suppose 0 = -4*x + 4, 4*o - 2 = 5*x + 1. Suppose -z = -2*u + 41 + 186, 4*z = -3*u + 335. Suppose 116*p = u*p + 9. Is p not equal to o?
True
Let x be (-3232)/36 + 10/(-45). Let z = x - -89. Which is bigger: -1/30 or z?
-1/30
Let h be (2 - 0)*3/6. Let t be 15/(-45) - (-11)/(-3). Let i be 50/(-20)*t/(-25). Which is smaller: h or i?
i
Let p = 1016333/9 - 113055. Let d = p - -129. Does 0.05 = d?
False
Let w(t) = -3*t**3 - 30*t**2 - t + 1. Let x be w(-10). Which is bigger: x or 5?
x
Suppose z + 2*z - 3 = 0. Let o be 276/171 + (-10)/6. Which is smaller: z or o?
o
Suppose 0 = h - 2*v - 2, 2*h + 0*v - 10 = -2*v. Let r be 19692/(-52) - (h + -2). Let g = 381 + r. Is 0 > g?
False
Let l(b) = 3*b + 48. Let a be l(-13). Suppose 12*x - a = 3. Is -1/8 != x?
True
Let p = -418 + 60. Let c = p + 1812/5. Let s = -19/5 + c. Is 0 >= s?
False
Let s be (-8)/(-3)*102/(-136). Which is smaller: s or 19?
s
Let j be 0 - -3 - (16 + -15). Suppose j*c = -10 - 2. Let h = c + 7. Is h less than or equal to -1?
False
Suppose 4 = -4*d - 0*d - 2*g, 3*d + 4*g + 8 = 0. Suppose -c + d*c - 2*t = 0, -2*t = 6. Is 7 at most as big as c?
False
Let h(j) = -2*j + 17. Let s be h(8). Suppose 5*b + 4 = -s. Is b smaller than 5?
True
Let b be ((-16)/128*4)/(2/2488). Are -622 and b nonequal?
False
Suppose -3*g + 18 = 1389. Which is smaller: g or -459?
-459
Let n be (-4)/18 - 2/(-9). Suppose -2*l = u + 11, -u - 21 = -n*l + 4*l. Which is bigger: l or -8?
l
Let f(d) = -d**2 - 6*d + 23. Let j be f(3). Let t = -3 + -3. Let v be (-8)/3*t/j. Does -5 = v?
False
Suppose 0 = -5*o + 2*d - 85, 5*d - 17 = o + 3*d. Let s = -13 - o. Which is bigger: 0 or s?
s
Let j = -2.4 - 19. Let u = -1.4 - j. Let n = u + -23. Is 2 greater than n?
True
Suppose -2*t + 53 - 229 = 0. Let n = -121/595 + -7/85. Which is bigger: n or t?
n
Let g = -14 - -13.3. Let u = g + -7.3. Which is smaller: u or 2/9?
u
Suppose d - 117 = -x + 3*x, 4*d + 4*x = 516. Let q = -160 + d. Is q greater than -35?
False
Let h(w) = w**3 - 38*w**2 + 77*w - 47. Let a be h(36). Is 133 less than a?
False
Suppose -2*q + 17 = -1. Suppose -w = b + 7, -10*b + 6*b = 5*w + 35. Let i = w + q. Which is greater: 3 or i?
3
Let n(p) = -p**2 + 9*p - 8. Suppose -11*x - 6 = -13*x. Let a = x + 5. Let h be n(a). Is 2/5 at least as big as h?
True
Let m = 77.2 - 76.2. Is -0.346 not equal to m?
True
Let h = -1155 + 1255.6. Let d = 89.69 - h. Let f = 11 + d. Which is greater: f or -1/2?
f
Let n be 4*(-1 + 10/(-4)). Let p(x) = -6*x**3 - 4*x**2 - 13. Let s be p(0). Which is smaller: n or s?
n
Suppose 3*r + 1 = -11. Let i be (r - (-30)/5)/(-7). Which is smaller: -1 or i?
-1
Suppose -j - 8 = 3*j. Let o = 73/5 - -379/10. Let n = o + -54. Which is smaller: j or n?
j
Let k(d) = 2*d. Let r be k(-3). Let v be 9/(((-45)/r)/5). Let h be (-2)/v + 50/15. Is h < 3?
False
Let d be (-6*3/(-30))/(31/775). Is d >= 97/7?
True
Let g = 3648 - 3671. Suppose 4*f - 2 - 2 = 0. Is g at most f?
True
Let d be 1/4 - (-158)/8. Let s be (9/(-8))/(195/d). Which is greater: s or 0?
0
Let v = 755 - 476. Is -1 < v?
True
Let z = 5.4 + 2.6. Let a = -8.7 + z. Is a greater than 2/9?
False
Suppose -2 = 5*l + 3*x, -x - 4 = -2*l + 4. Let k(s) = s**3 + 11*s**2 + 9*s - 13. Let u be k(-10). Let j = u - -6. Is j less than or equal to l?
False
Let p = 9686/5 + -1947. Let o = 14458 - 144437/10. Let m = p + o. Which is smaller: m or 4?
4
Let g = -5 + 17. Suppose 3*w = -4*b + 84, -2*b - g + 54 = -w. Is b at most 20?
False
Let b = 26659/28 - 952. Suppose -4*a - 617 = 275. Let d = a - -224. Is b <= d?
True
Suppose -5 = -5*x - 5*l, -5*x - 31 = -2*l - 36. Is -0.07 less than or equal to x?
True
Let x = 0 + 0.1. Let i = -1583/2 + 807. Let b = i - 95/6. Is x bigger than b?
True
Let d = 0.264 - 0.064. Is d less than or equal to -129?
False
Let g be (5 - 5) + 21 - (-2 - 0). Let t = g + -162/7. Which is smaller: 1 or t?
t
Let k = 71 - 58. Let v be 2/k - (-2562)/(-91). Is v less than or equal to -26?
True
Let u = 12/37 + -4178/333. Which is bigger: u or -13?
u
Suppose o + o = -12. Let c(q) = -q**2 - 9*q - 17. Let r be c(o). Are 1/13 and r unequal?
True
Let p = 53.73 - 54. Let a = 0.47 + p. Are 1/4 and a equal?
False
Let c be (16/6)/((-4)/(-18)). Suppose -l = -2*i + 6*i + 13, 3*l = -3*i - c. Let r = 109/119 - 18/17. Which is greater: l or r?
r
Let w be (-2)/3 + 294/(-18) + 5. Let g be (3 + 40/w)*-1. Which is smaller: g or -1?
-1
Let i = 98.7 + -93. Let c = i + -6. Which is bigger: c or 0.2?
0.2
Let c = 23 - -10. Suppose -3*b - 15 = -3*q, -4*b = -5*q - 3*b + c. Is 6 at most q?
True
Let o(b) = 2*b**2 - b. Suppose m + 4*m - 5 = 0. Let q be o(m). Let v be 246/(-54) + -5 - -10. Which is smaller: q or v?
v
Suppose -5 + 29 = -8*v. Let r be (2/(-10))/(v/(-3)). Is -6/11 at least as big as r?
False
Let v(i) = -i + 9 + 0*i + 2. Let j be ((-20)/8)/((-5)/10). Let a be v(j). Which is smaller: 7 or a?
a
Let z(v) = 2*v**2 + 8*v - 83. Let d be z(18). Is 707 < d?
True
Let n be (-2)/(-4)*10/(-35). Suppose -5*w - p - 6 + 4 = 0, -4*p - 8 = w. Suppose w = -16*y + 17*y + 4. Is n <= y?
False
Let l = -61/33 + 46/11. Let c = 582/35 - 86/5. Which is smaller: l or c?
c
Let m = -1 + 5. Let r(w) = w**3 - w**2 - w + 7. Let v be r(0). Suppose v = 2*c + 1. Which is greater: c or m?
m
Let f = 0.04742 + 25.08258. Let h = f - 25. Let n = 0.87 + h. Which is smaller: n or -0.01?
-0.01
Let x(s) = -s**3 + 7*s**2 - s - 6. Let k be x(7). Let j(a) = a + 9. Let i be j(k). Let q be -2 - (i - -4)*1. Is 1 bigger than q?
True
Suppose -b = 5*b - 18. Let o be (-24)/261*b/(-4). Suppose 3*n + 15 = 3*f, 4*n - 9 = -4*f - 29. Which is smaller: f or o?
f
Let k be (-6)/(-39) + (-168)/(-91). Which is smaller: 7/10 or k?
7/10
Let d = 191 - 79. Which is bigger: 113 or d?
113
Let t = 603 - 13267/22. Is t at most as big as -0.2?
False
Let m = -0.365 + -146.635. Is m at most 0?
True
Suppose -3*j + 2*h + 13 = 0, 0*h - 7 = -j - 2*h. Suppose 3*u - 1 = -j*q - 6, 4*q = 4*u - 4. Which is bigger: q or 1/71?
1/71
Let x be (-13)/(-77) + 8/28. Let h = -1634 - -1633. Which is smaller: x or h?
h
Let i = -0.029 - 0.261. Is i < -0.3?
False
Suppose -6*d = 18*d - 8856. Which is smaller: d or 366?
366
Let j = 15/308 - -7655/924. Do j and 3 have different values?
True
Let i be 6/(12 - 6)*487/(-2). Is -243 bigger than i?
True
Let b be (-56)/(-16)*1/((-1)/10). Let f be -3 + (-247)/b - 4. Is 1 at least as big as f?
True
Let y(g) = -2*g**2 + 2*g + 19. Let n(w) = w**3 - 2*w**2 - 5*w + 2. Let s be n(3). Let l be y(s). Is -21 bigger than l?
False
Suppose 0*w = -5*r + 2*w - 5, -5*r - w = 5. Which is smaller: r or 21?
r
Let f = 84 + -50. Let o(s) = -s**3 - 6*s**2 + 5*s + 9. Let b be o(-6). Let n = b + f. Is n less than or equal to 12?
False
Let x(f) = f**2 - 5*f - 90. Let p be x(-8). Is 28 greater than p?
True
Let x(f) be the second derivative of -f**5/20 + 11*f**4/12 + 2*f**3 - 9*f**2/2 + 9*f. Let w be x(12). Let a = w + 8. Is -2/49 greater than or equal to a?
True
Let h be -8 + (-203)/(-21) - 2/3. Which is greater: h or -2/4179?
h
Let j(p) = -25*p**2 - 58*p - 4. Let z be j(-2). Which is bigger: 21/2 or z?
z
Let w = -0.4 + 0.2. Let y(t) = -6*t**3 + 3*t - 2. Let g be y(1). Let v(x) = -x**2 - 4*x + 7. Let n be v(g). Which is bigger: w or n?
n
Let x = 19.75 + -34.75. Which is greater: 0 or x?
0
Let f be 6/8*22/(-33)*22. Let v = -22 - f. Which is greater: v or -17?
v
Suppose 0 = 2*v, 5*k - 3*v - 622 - 28 = 0. Which is smaller: 129 or k?
129
Let k = -0.6838 - -0.7838. Let t = -1.7 + 13.7. Do k and t have the same valu