3*b - 5*o - a = 0, -3*b + o - 3 = -6*b. Which is greater: b or 3?
3
Let h = 23 + -23.4. Suppose 6*t = 2*t - 12. Let b = t + 5. Is b > h?
True
Let b be (9/(-2))/(-9*(-85)/60). Let f = -284/255 + b. Which is smaller: f or -2?
-2
Let i be 62/744 - 1/(-4). Is i <= -54?
False
Suppose 4*r + 16 - 8 = 0. Let l be (3 + -1)/2*r/(-11). Which is smaller: 0.06 or l?
0.06
Let a = 32179/51 + -631. Let u = -28/153 + a. Which is bigger: 0 or u?
0
Let f(k) = -38*k - 77. Let u be f(-2). Let o = 3046/7 - 436. Which is smaller: u or o?
u
Let n be (8 + 2 - 7) + -1 + -3. Which is smaller: n or 4/19?
n
Let a(n) = n + 9. Let h be a(-7). Suppose -h = -z + 4. Let q = 5 - z. Which is bigger: -2/9 or q?
-2/9
Let y = 468 + -120. Are y and 348 nonequal?
False
Let f be (1 + (-4 - -2))*-5. Let d be (63/36)/((-1)/(-2)). Is d at most f?
True
Suppose 1166*j - 8046 = 1172*j. Do -1340 and j have the same value?
False
Let a be (4/10)/((-3 + -1)/(-2)). Which is greater: a or -59?
a
Let s(p) = 1756*p**2 - p. Let v be s(1). Let w = v - 15767/9. Is w less than or equal to 2?
False
Suppose 8*k = 6*k. Let a be -54 + (-2 - (3 - 3)). Let n = a - -783/14. Which is bigger: n or k?
k
Let k(u) = -9*u + 1. Let h be k(1). Let s = h + 21. Let q be -1 - (3 + s/(-3)). Is q bigger than 15?
False
Suppose -308 = -77*x + 66*x. Is x at most 30?
True
Let o(s) = -s**3 + 9*s**2 - 15*s + 9. Let d be o(7). Let w be (-13)/2 - (-4)/8. Let h = w + 9. Is d <= h?
True
Let r = 89 - 164. Let m = -94.5 - r. Let h = -20 - m. Is 0.1 greater than or equal to h?
True
Suppose h + 6033 = -3*o - 2*o, 2*h + 12066 = -4*o. Let u = h - -1104035/183. Let f = u - -247/2928. Which is smaller: f or 1?
f
Let q = 0.0091 - 5.6291. Let j = 0.38 - q. Let s = j - 6. Is 2/35 not equal to s?
True
Let g(o) = -o**2 + 22*o + 76. Let k be g(-3). Which is smaller: 1/213 or k?
1/213
Suppose 4 = -3*b + c, 5*b + 10 = 6*c - c. Let o be -25*(-2)/(-11) - -4. Is b bigger than o?
False
Let z be 768/(-7) + (-2)/7. Let s = z + 103. Which is smaller: -5 or s?
s
Let n = -37864/15 - -2524. Which is smaller: n or 14?
n
Let t = 1247/2 + -580. Suppose -4*s - 2*q = -176, -2*s + 64 = -2*q - 3*q. Let l = s - t. Is l less than -2?
False
Suppose 2*a + 2*a + 3*q - 65 = 0, -5*a - q = -73. Suppose 5*v = 70 - 10. Is a greater than v?
True
Let v = 10 + 9. Let d = -47 + v. Which is greater: -29 or d?
d
Suppose 0 = -p + 6*p - 25. Let y(b) = -b**3 + 5*b**2 + 2*b - 5. Let h be y(p). Suppose -g + 0*q - 13 = -q, h*q = 25. Is -8 at least as big as g?
True
Suppose 7*r - 2*x - 13 = 2*r, -14 = -3*r - 5*x. Suppose 0 = 4*o + n + 68, 65 = -r*o + 5*n + 14. Which is smaller: -16 or o?
o
Let g = 65 + -66. Let s = 16 + g. Which is greater: s or 16?
16
Let v = -1.3 + 0.3. Let i(z) = z**3 + 11*z**2 + 15*z + 22. Let g be i(-10). Let f = g - -27. Is f at most v?
True
Let f be 1 + (-36)/(-30) - 1/5. Let b be (f/(-27)*-42)/(-2). Is b bigger than -0.2?
False
Suppose -5*w - 22 = 3*z - 4*z, -4*w + 3*z = 22. Which is smaller: w or -59/23?
w
Let u(n) = n**3 + n**2 - 2*n + 160. Let q be u(0). Which is smaller: 161 or q?
q
Suppose -7 = -0*w - w. Let n be 2/(-12) + (-170)/(-12). Suppose -10*z = -n*z + 32. Which is bigger: w or z?
z
Suppose -12*h + 22 - 202 = 0. Is 0.6 smaller than h?
False
Suppose 0 = -33*u + 29*u + 176. Is 43 at most u?
True
Let w be 3320/(-24) + -1*(-5)/15. Which is greater: -693/5 or w?
w
Let s = 291/5 - 289/5. Which is greater: s or -8/53?
s
Let l = -55 - -56. Let y = 0.32 - 0.13. Is y smaller than l?
True
Let p(x) = -x**3 + 6*x**2 - 3*x. Let t(f) = -8*f - 43. Let y be t(-6). Let w be p(y). Which is smaller: 9 or w?
9
Let s(g) = -3*g - 3. Let h be s(2). Let k be h/114*24/18. Are -1 and k nonequal?
True
Let b be (-2)/(-36)*698 - (-10)/45. Suppose 2*f = a + 4*a + 76, -b = -f + 3*a. Is 34 bigger than f?
True
Let t be -3*(-1)/(-3)*1. Let o = -7 + 6.99. Let l = o - 0.05. Is t equal to l?
False
Let k = 34 - 74. Let x = k - -24. Suppose -60 = 5*n + 4*u, 0*n = 2*n - 3*u + 47. Is n greater than x?
False
Let h be 49/70*(-16)/364. Is h at least as big as 0?
False
Let m = 7.9 - 8. Suppose 4*d = -4*l + 2*d + 18, -3*l - 2*d + 14 = 0. Let h be (2 - 6)/(l + (4 - 3)). Which is smaller: m or h?
h
Suppose -32 - 708 = 20*d. Which is smaller: 6/7 or d?
d
Let b(z) = 4*z - 21. Let p(v) = -v**3 + 10*v**2 - 8*v - 5. Let y be p(9). Let r = 9 - y. Let s be b(r). Do -5 and s have different values?
True
Let g = -53.55 + 44.4. Let j = g - -0.15. Let d = -9 - j. Are d and -2/17 nonequal?
True
Let a = -383 - -416. Let s = -0.46 - -48.46. Let z = s - a. Which is bigger: 1/4 or z?
z
Let u(h) = 443*h**3 - 8*h**2 + 3*h - 2. Let a be u(1). Is a greater than or equal to 435?
True
Let i be (32/144)/((-4)/(-6))*-9. Let d be (-2)/(-6) - 16448/60. Let q = d - -271. Is q at least i?
True
Let l = 30 + -26. Suppose -16 = -5*w + 3*d + 11, 7 = -3*w - l*d. Which is smaller: w or -1?
-1
Let x be (-19)/(-2 + 3 + 0). Let g be ((-36)/(-1 + 3))/(-17 - -18). Which is smaller: x or g?
x
Suppose 5*w - 5*y + 10 = 0, 5*w - 209*y = -211*y - 3. Which is smaller: -2/2527 or w?
w
Let v(j) = 3*j**2 - 11*j + 230. Let h be v(15). Is 739 at least as big as h?
False
Suppose 8 = -2*j, -3*w - 3*j = 2*j + 20. Let d be ((-14)/(-56))/((-2420)/(-40)). Which is bigger: w or d?
d
Suppose 2*z = 4*m + 1 - 239, -3*m + 177 = -z. Which is smaller: m or 54?
54
Let g = 29.827 - 0.027. Let n = 30 - g. Is -2 not equal to n?
True
Let l = 111165/28 + -3969. Is l != 0?
True
Let s(d) = 10*d**2 - 2*d + 1. Let i be s(1). Let z be 3/i + 7/(-48). Is 1 smaller than z?
False
Let n = -0.013 + 5.013. Let m = 1.1 + 4.9. Let g = n - m. Are 0.5 and g equal?
False
Suppose -26 = -3*q + 5*b + 3, -4 = b. Let c = q - 1. Let u be c/2 - (-57)/(-48). Is -1 >= u?
False
Let n = -12 - -14. Let l be (-6)/n + (-223)/(-75). Do -1 and l have the same value?
False
Suppose 51*f + 23 = 50*f. Is -7 at least as big as f?
True
Let p be 4/(-22) - (-9)/(-11). Let s = p + 1. Let n = -1437 + 1436.89. Which is smaller: s or n?
n
Let p be 5/20 - (-19)/4. Suppose 3*u - 7*u = p*w - 53, 2*u = -3*w + 25. Let d = 16 - u. Does 0.04 = d?
False
Suppose -7*m + 18 = 2*m. Let t be (-1 + 2 - 1)/m. Suppose 4*d - 5*f = -12, t*f + f - 2 = d. Which is smaller: d or 5/2?
d
Let c be 121/22 - 7 - ((-93)/(-162) - 2). Let x be (-1)/(-3) - 12/9. Is x equal to c?
False
Let c = 105.43 + -7.43. Which is smaller: c or 3/5?
3/5
Let c be 96/(-52) - 4 - (-4)/(-26). Let u be c*((-18)/(-12) + 1). Which is smaller: u or -17?
-17
Let m = 0.809 - -0.191. Is 68 equal to m?
False
Let y be 0/((-8)/4 + 5 + 0). Which is greater: y or 3/13?
3/13
Let j = 5.44 + -5. Let b = j + -0.04. Let v = b + -6.4. Are v and -0.1 unequal?
True
Let v = 12/25 + -7/25. Let z be (-63)/8 + 15 + 14/(-2). Is v >= z?
True
Suppose 0 = -4*g + 12. Suppose -8 = -c - g*c. Suppose -3*h + 19 = -c. Is -0.1 not equal to h?
True
Let l(f) = 2*f - 24. Let t be l(9). Let d be 2/(-20) + 182/(-28). Which is smaller: d or t?
d
Let u be (-1 - 12/32)*(-12)/15. Are 0 and u equal?
False
Let t(j) be the third derivative of 0*j**5 + 1/120*j**6 + 0*j - 1/24*j**4 + 4*j**2 + 0 + 0*j**3. Let i be t(0). Which is bigger: -2/109 or i?
i
Let z = 281 + -280. Is z at least as big as -2/349?
True
Let d be 3/5 - (5423/55 + 9). Which is greater: d or -108?
d
Suppose -32*d + 3 = -29*d. Does 8/37 = d?
False
Suppose 4*q = -2*k - 0*q + 24, 3*k + 2*q = 48. Is k < 18?
False
Let v be -33*11 + (-24)/12. Is v less than -727/2?
True
Let w = 480 + -479.656. Is w != -1?
True
Suppose -p = 3*z + 224, 5*z + 186 = -4*p - 185. Let d = 0.165 + -0.065. Are z and d unequal?
True
Let k = -249.173 - -249. Let w = k - 0.027. Let d be ((-8)/(-6))/(-1*1). Which is bigger: w or d?
w
Let t be (-4)/3*(-6219)/(-138). Let h = -60 - t. Let l = 0.04 - 0.04. Which is greater: h or l?
h
Let s = -163 + 204. Is 36 at most as big as s?
True
Let d = 36.2 - 36. Let p be (-21)/28 + (-15)/(-4). Let a be 24/p*(-2)/4. Which is greater: d or a?
d
Let u = -2 + 5. Let p be 2/u - 37/(-3). Which is smaller: p or 59/5?
59/5
Let x = -48 - -242/5. Are 0.2 and x non-equal?
True
Let m = 40907/11 + -3723. Do m and 2 have the same value?
False
Let i(m) = 2*m**2 - 8*m + 9. Let j = -14 + 19. Let f be i(j). Is f at least 18?
True
Let o = -0.06 + 0.09. Let r = 0 + o. Suppose 3*m + 0*m = a - 5, 3*a = 3*m + 3. Which is smaller: r or a?
a
Let l(p) = 2*p*