. Which is smaller: 44 or b?
b
Let u = 1830 - 1830.1474. Which is smaller: u or -1/4?
-1/4
Let z = 209431777237/5890 + -35557178. Let t = z + -3/310. Are t and 0.1 equal?
False
Let q = 10.51 + 10.494. Let z = 0.2 + -0.204. Let a = z + q. Is -2/3 > a?
False
Let g = 48 - -18. Let b = 33 - g. Which is greater: b or -2/7?
-2/7
Suppose 35 + 7 = -2*d. Suppose 141*x + 814 = 104*x. Is x bigger than d?
False
Let o(u) = 8*u**2 + 13*u - 5*u**2 - 5*u**2 + 3*u**2 - 30. Let z be o(-15). Is -0.01 < z?
True
Suppose 313 = 7*i - 142. Which is smaller: 259/4 or i?
259/4
Suppose 2*x = 3*b + 72, 0*x - x = 3*b + 72. Suppose 8*h - 2 - 38 = 0. Suppose -90 - 30 = h*c. Are b and c nonequal?
False
Suppose 0 = 3*q - 3 - 6. Suppose q*c - 24 + 18 = 0. Which is smaller: c or 8/7?
8/7
Let p = -1/89 + 47/12104. Is 1 != p?
True
Let z = 4.737 + -0.037. Let t = 2.6 - z. Let n = t + 2. Which is bigger: -0.02 or n?
-0.02
Suppose 5*g + 11 = -3*c + 5*c, -4*c + 7 = 5*g. Let b = -2/69 + -43/897. Which is greater: g or b?
b
Let p = -3 - -2. Let g be 1/(3 + -3 + p). Let j be 1*(-1)/2 - g. Which is greater: j or 0?
j
Let i = -12905/4 - -92487/28. Which is smaller: 76 or i?
76
Let b be (-66)/1023 + -2 + 2. Is 27 greater than or equal to b?
True
Let b be (-5)/(1540/648) - 16/(-56). Is b greater than or equal to -1?
False
Let b = 79.2 - 77.84. Are b and 0 equal?
False
Let a be (-4)/6*90/(-12). Suppose -20 = d - a*d. Suppose -2*i = -3 + d. Is 2/7 >= i?
True
Let u(o) = -2*o**3 + 17*o**2 + 26*o - 14. Let k be u(10). Let z be (-3)/(-1) + -2 - 55. Are k and z nonequal?
False
Let l be (1 - 0)*-4*52/(-16). Is l smaller than 8?
False
Suppose 62*m = 63*m - 1. Suppose -13 = -i - 5*z, 4*i - 4 = -5*z + 3. Let x be (i/(-15))/((-2)/(-20)). Is m equal to x?
False
Let x = -0.42 + 0.2. Let d = x + 0.08. Let t = -3.14 - d. Do t and -0.05 have different values?
True
Let m = 199.781 + 0.219. Let f = m + -117. Which is smaller: 1 or f?
1
Let a(f) be the second derivative of f**5/20 - 2*f**3/3 - 3*f**2/2 + 32*f. Let j be a(3). Is 10 < j?
True
Let w = -884437/537 + 1647. Suppose 3*j + 0*j - s = 5, 6 = -2*j - 4*s. Which is smaller: w or j?
w
Let o = -4127/5405 + 171/115. Is 2 at most o?
False
Let y = 235210/9 - 2964076/117. Let k = 800 - y. Is 1 greater than k?
True
Let q(s) = s**3 + 2*s**2 + 4*s + 3. Let n be q(-3). Let u = -14 - n. Suppose 2*p - l = 4*l + 3, u*p = -4*l + 48. Is 9 >= p?
True
Suppose 5 + 5 = -2*r. Let t be (r - -6) + (-8)/2. Let a be 1*t/(-9)*1. Which is smaller: 1/4 or a?
1/4
Let v = -0.042 + 29.042. Let w = v + -38. Are -2 and w non-equal?
True
Let t be -5 + 2 + (1 + 1 - 5). Let c(o) = 4*o**2 + 24*o + 2. Let v be c(t). Which is greater: v or 26?
26
Let r(y) = 0*y - 8 + 4*y - 5*y + 3. Let d be r(-7). Suppose 0 = 5*v + 25, -d*w - 3*v - 14 = -3*w. Which is bigger: w or -1/6?
-1/6
Suppose -5*t - 50 = 5*i, -t - 3*i = -4*t - 30. Let x be ((-6)/(-9))/(t/(-57)). Do x and 5 have the same value?
False
Let x be (12/115)/(2/(-10)). Let w be ((-22)/(-55))/((-38)/190). Is x < w?
False
Let t = 16 - 14. Suppose -7*v = -t*v. Is v < 4/11?
True
Let h be ((-3)/(-48))/((-4)/6). Is h at most -1?
False
Let l be 2 + -2 + (1 - 8). Suppose 0 = 79*v - 81*v - 2, -n + 4*v = 3. Is n greater than l?
False
Suppose 52 = 2*p + 146. Does p = -47?
True
Let k be 108 - -10 - 7/((-28)/(-8)). Is -3 > k?
False
Let a = 3.632 + 0.068. Is a at least 0.02?
True
Let t = -2956/819 - -82/63. Is -2 greater than or equal to t?
True
Suppose 3*d + 150 - 243 = 0. Which is smaller: 32 or d?
d
Let y be (-4)/(-14) - (-28768)/(-140). Let m = y + 204. Let j be 11/(-9) + (-6)/(-27). Is m at most j?
True
Suppose 0 = 5*i + 4*n - 85, 5*n - 51 = -3*i + n. Suppose 0 = 13*m - i*m. Which is bigger: m or -2/19?
m
Let h = -20 + 15.2. Let q = h + -2.2. Is q < -0.1?
True
Let r(b) = -b - 11. Let j = 53 + -63. Let a be r(j). Which is smaller: -4 or a?
-4
Suppose 0 = -0*q - 6*q + 18. Let s be 0*((-16)/6 + q)*-3. Let r = -431 + 9049/21. Is r smaller than s?
True
Let i = -45.18 + 2.18. Which is greater: i or -4?
-4
Let w be (0 - -7)/((-6)/(-3)). Suppose -4 = 4*k - 20. Suppose k*d - 5 = 7. Which is smaller: d or w?
d
Let c(k) = -k**2 + k + 1. Let m be c(0). Let a(x) = -9*x + 1. Let g be a(m). Is g > -8?
False
Let x = 578 - 525. Let p be (101/9)/((-14)/66). Let r = p + x. Is r less than 1?
True
Let u = -179/40 - -169/40. Let m be (-9)/(-21)*(-7)/(-4). Is u >= m?
False
Let f(x) = -x - 3. Let l be f(-5). Let d be 1/l - 126/(-12). Suppose 0 = -z + 10 - d. Is 1/9 less than z?
False
Suppose -7 - 23 = 10*q. Let n = 0.01 + 5.99. Are n and q non-equal?
True
Suppose -24*v - 552 = -3288. Which is greater: v or 111?
v
Let s(q) = q**3 - 14*q**2 - 17*q + 86. Let i be s(14). Which is bigger: i or 1?
1
Let g(z) = -z**2 + 4*z + 3. Let c = 30 + -26. Let u be g(c). Suppose 2*k = u*k - 1. Is 1/5 > k?
False
Suppose 5*w - 3*c - 3 = 0, -3*w + 0 = -3*c + 3. Suppose w*p = 4*q + 4*p - 8, 0 = 2*p. Suppose 4*x - 2 = -14, q*u - 24 = 2*x. Are 9 and u non-equal?
False
Let p be 15/1*(-7)/21. Let t be p/(-8)*6/15. Suppose -5*a = 204 - 229. Which is smaller: a or t?
t
Let u = 0.384 + -0.364. Which is greater: u or -6?
u
Suppose 2*j = 14 - 6. Let q be (-2)/8 - (-3)/j. Suppose -1 = -23*z + 22*z. Which is smaller: q or z?
q
Let u = -183.8 + 222. Let p = u - 35. Let c = p + -3. Which is smaller: -10 or c?
-10
Let o be ((-5)/(-30))/((-3)/(-2)). Suppose 0 = -s + 5*p - 34, 2*s + 30 = -s - 3*p. Let d be ((-8)/(-42))/(s/21). Is o < d?
False
Let x = 107359/26 - 4130. Is -1 at most as big as x?
True
Let n = 352 - 350. Let y = 10 + -3. Suppose -5*m = -y + 2. Is m bigger than n?
False
Suppose 3*r = 18 - 3. Suppose -3*f = -f - 4*m, -r*f = 5*m + 30. Let h = 0 + f. Is h bigger than -3?
False
Let s = 6 - 3. Suppose -a - 6 = -3, -5*t - 5*a = 10. Suppose 4*z - 13 = -t. Is s smaller than z?
False
Let s(p) = -2 - 4 - 3 + 7*p - 4. Let j be s(2). Which is smaller: j or -1/3?
-1/3
Let u be 16/(-7) - (-11 - -13) - -4. Suppose -3*i = -0*i. Is u not equal to i?
True
Let h(w) = w**3 + 2*w**2 - 4*w - 1. Suppose 18 = -8*g + 2*g. Let o be h(g). Is 12/5 > o?
True
Let d = -595 - -598. Is -2/23 >= d?
False
Let y(w) = w**2 + 16*w + 20. Let b be y(-15). Let l = -9.7 - 3.3. Let k = l - -14. Are b and k equal?
False
Suppose -4*s = -188 - 244. Let k = -76 + s. Are k and 32 unequal?
False
Let m(f) = f**3 - 15*f**2 + 24*f + 31. Let n be m(13). Suppose n*a + 11 = -4*p, -4*a + 18 = -4*p - 2*a. Are p and -13/5 unequal?
True
Let v(z) = -z**2 - 5*z + 3. Let s be v(-5). Suppose 41 - 53 = -s*u. Which is bigger: 1 or u?
u
Suppose 5*y + 25*x - 30*x = 5, 0 = -4*y - x - 1. Let d be (-308)/306 + 1 + 0. Which is greater: d or y?
y
Let h = 1.34 + -0.73. Let w = 0.39 + h. Is 6/11 bigger than w?
False
Let q = 80/13 + -1145/91. Let h be ((-2)/5)/(136/1700). Which is bigger: q or h?
h
Let c = -15 + 10. Let f be c/(-25) - 243/(-60). Do 4 and f have different values?
True
Suppose 177*q - 178*q - 2*i - 7 = 0, 4*q = -5*i - 19. Which is greater: q or -5/313?
-5/313
Let n = -83 - -81. Let c be (-12)/((-7838)/3952 + 2). Let a = 718 + c. Which is bigger: n or a?
a
Suppose 7*l = 3*l + 36. Let t be ((15/l)/((-4)/(-12)))/(-1). Is t at most as big as -4?
True
Let i = 7 - 6. Suppose 5*k - g = -5*g + 15, 2*k = 4*g + 34. Suppose 11*n = k*n + 28. Which is bigger: i or n?
n
Let t(u) = 2*u**2 + 11*u - 58. Let g be t(6). Which is smaller: g or 159/2?
159/2
Let b = 0.9 + 0.1. Let n = -0.8 + 0. Let q = 0.2 + n. Which is smaller: q or b?
q
Let k = -181 - -170. Which is bigger: -10 or k?
-10
Let i(p) = -p**3 - 3*p**2 + p + 2. Let y be i(2). Let j = -20 - y. Let m be 1/j - (-7)/16. Which is smaller: 1 or m?
m
Let k be 8/(-20)*(-7 + 2). Let z be (36/81)/((-1)/(-6)). Which is smaller: z or k?
k
Suppose 0 = -11*l - 49 - 39. Let r be (36/l)/(6/(-4)). Which is bigger: 9/5 or r?
r
Let l be (30/(-24))/((-75)/60). Let f be 23079/(-117) - 2/3. Let h = f + 198. Is h equal to l?
False
Let s = 2873/23 - 125. Let q(b) = 6*b**2 + 3*b + 3. Let n be q(-1). Suppose -n*g = -2*g + 5*g. Is s at most as big as g?
True
Suppose 3*j = 2*j - 8. Let h be j/(16/6) + -6. Is -5 > h?
True
Let z = -39 + 58. Suppose -5*u = c + 24, -4*c - z = u + 1. Is -4 < u?
False
Let t = -1343 + 1248. Which is bigger: t or -93?
-93
Let g be -3 + 3/(3/31). Suppose -g*m = -33*m. Let y = -168/5 - -35. Do y and m have the same va