t m = h + 34. Let z = m + -17. Which is bigger: z or -4/33?
-4/33
Let r = 4.4 - 6. Let f = -2.182 - 0.018. Let j = r - f. Is j > -1/5?
True
Let h = 1 + 1. Let k(c) = -c**3 + 2*c**2 - 2*c - 2. Let g be k(h). Let w = 8 + g. Is w less than 3?
True
Let a = 10026 - 10016. Which is bigger: -52 or a?
a
Let b = -111 + 112. Let m be ((-1)/(28/(-6416)))/2. Let v = 115 - m. Is b > v?
True
Suppose g - 5*g + 64 = 0. Let v be 6/(-4)*8/(-6) + 42. Suppose -4*p + 24 = -v. Is g at least as big as p?
False
Let s be (-3810)/(-175) + (-6)/(-112) + 39/104. Which is smaller: s or 23?
s
Let m be 8/3 - (-8)/(-4). Suppose -5*u + 25 = 10. Let q be 0 + u + (-670)/225 + 0. Is m >= q?
True
Let v = 20 + -19. Let s(o) = -o**3 - 3 + 6*o**2 - 5*o**2 - 6*o + 13*o. Let h be s(3). Which is bigger: h or v?
v
Suppose -3*p + 17*r - 18 = 20*r, 0 = 2*p + 3*r + 17. Which is smaller: -17/27 or p?
p
Let x(w) = -5*w - 12. Let b be x(-3). Suppose -2*l + 5*u + 38 = 0, -b*u + 52 = 5*l + 19. Suppose k - y = -l, 0 = -3*k + 4*y - 0*y - 32. Is -5 <= k?
True
Suppose 9*b + 38 = -9*b + 38. Is -25/6 smaller than b?
True
Let i be (((-5208)/(-245))/8 + -3)*(-28)/8. Is i less than 1/67?
False
Let d = 403.37 - 360.37. Is 49 less than d?
False
Suppose -m = 4, 16 = -4*n + m - 8. Let h(s) = 2*s + 13. Let p be h(n). Let v be (1/(-1))/((-3)/105*p). Which is smaller: v or -34?
v
Suppose -4*n - 2*f + 966 = 0, -2*n = -0*n + 5*f - 487. Let l = -249 + n. Which is smaller: l or -92/13?
l
Let b = 62.9 - 67. Let u = 7.6 + b. Let g = -4.8 + u. Is -2 at least g?
False
Suppose 0 = 9*t - 15*t + 1194. Suppose 4*x - j + 6*j = t, -4*x = -j - 205. Is x equal to 50?
False
Suppose -5*x - 3*n + 310 = 0, 4*n + 25 = x - 37. Let s be 33/(-11) + x/24. Let r = -1081 + 1080. Which is smaller: s or r?
r
Suppose -28*d + 105*d + 19*d + 11136 = 0. Is -83 equal to d?
False
Let n be (-14 - -5 - -9)/1. Is n at least as big as -6/2887?
True
Let m be ((-1416)/(-885) + 2/30)*-9. Is m < -541/40?
True
Let h = -71 - -70. Let u = -30 + 33. Let j be ((-4)/168*u)/(0 - -1). Does h = j?
False
Let l = -4.281 - 596.719. Is 0.1 at least l?
True
Suppose -o + 3979 = -4*o + 5*f, 4*f = o + 1317. Are o and -1333 non-equal?
False
Let x(t) = -2*t - 4. Let d be x(-5). Let m be -1*(-4)/d*3. Let z = 147/94 - 3/47. Which is greater: m or z?
m
Let r = -500 + 503. Suppose -4*k - r*t - t = -1064, -2*k = 3*t - 532. Which is smaller: k or 267?
k
Let s(k) be the first derivative of k**2/2 - 179*k - 31. Let x be s(30). Is x not equal to -151?
True
Let r be (9 - 14)*9/(-5). Let l be 7/2*r/21. Suppose 5*g + 10 = 0, 0 = c - 4*g - g - 12. Is l less than or equal to c?
True
Let i = -622 + 328. Let g = -247 - i. Which is bigger: g or 52?
52
Let m = -17.68 + -12.64. Let o = -0.68 + m. Let b = -10 - o. Is b greater than 0.1?
True
Let a = 0.13 - -10.87. Let l = -10.712 + 0.712. Let s = a + l. Is 42 less than s?
False
Suppose 158 = 2*b + n, 2*n + 3*n = -10. Are 78 and b nonequal?
True
Suppose -3*l + 0*l = 84. Let u be ((-2)/(-12))/((-231)/l). Which is smaller: u or 0?
0
Suppose -6137 + 1539 - 4492 = -10*g. Are g and 909 nonequal?
False
Suppose -2*k - 42 = -2*s, 5*k - 39 = -3*s + 48. Suppose 0 = y + 2*i - 6, -2*y + 2*i = -0 - s. Is y != 9?
True
Suppose -7*r = -6*r + 4*b + 12, -4*b - 12 = -r. Which is bigger: r or -1/1008?
r
Let z(a) = 141*a + 3088. Let f be z(-22). Which is greater: f or -167/13?
-167/13
Let o = -9824 - -9788.9. Which is smaller: o or -0.08?
o
Suppose 6*q - 4*q + 4190 = 2*y, -4*y - 3*q = -8380. Let w = 148740/71 - y. Which is smaller: -1 or w?
-1
Let l = -372.95 + 375. Let j = l + -1.85. Which is greater: j or -15?
j
Suppose -5*l + 79 = 4*c, 3*c = 3*l + 8*c - 50. Suppose -5*w + 4*m - 21 = 0, -5*m - l = 2*w - 0*m. Is 2 greater than or equal to w?
True
Let v = 24.6 + 85.4. Let f = v - 104. Let j = 238 + -3092/13. Which is bigger: j or f?
f
Let t be 3*((-4)/3)/(-2). Suppose -6 = -3*m + 3*c, -2*m = t*m + 4*c + 32. Let o be ((-2)/10)/(((-33)/27)/(-11)). Is m greater than o?
False
Let l = -3562 - -2426. Is -1 bigger than l?
True
Suppose 4 = -f + 10. Suppose -f*t = -t - 5. Let u be 2/74*((-3)/(-2) - t). Which is greater: 0 or u?
u
Let j(z) = -2*z - 2. Let q(p) = -94*p + 16. Let v(i) = 6*j(i) - 2*q(i). Let w be v(1). Do 133 and w have different values?
True
Let j(o) = 5*o + 40. Let d be j(-10). Let u be (-2 - d)/((12/21)/(-2)). Let w be (2/6)/(u/24). Is w < 4?
True
Let n = 25.68 + -2.98. Let d = n + -9.4. Let w = d - 4.3. Does w = -1?
False
Let v(n) = 17*n + 35. Let z(c) = 16*c + 36. Let j(u) = 3*v(u) - 2*z(u). Let o be j(-3). Are -16 and o equal?
False
Let l be (-8 + 979/121)/(1523/6 - -2). Which is smaller: l or 1?
l
Let t(v) = -10*v - 53. Let d be t(-7). Suppose 0 = -n - d + 321. Which is greater: 303 or n?
n
Suppose y = 5*b + 64, y + 26 - 106 = -3*b. Suppose -4*i + 2*j - 92 = 74, 2*i + 2*j + y = 0. Which is smaller: i or -41?
-41
Let o(u) = 149*u + 947. Let h be o(-7). Is h not equal to -77?
True
Let y be (-3497)/23 + (-9)/(-207). Is -1364/9 <= y?
False
Let n = 229/2 - 115. Let l = 375 + -376. Is n bigger than l?
True
Let l(z) = 2*z**2 + 13*z + 8. Let c be l(-6). Suppose -i + 3*r - 12 = 0, 0 = -3*i + 6*i + c*r - 8. Are i and -7/19 non-equal?
True
Suppose -4*q + 6*q - 2 = 0. Let a(g) = 33*g + 1. Let b be a(q). Let c be (-3*1 + 2)/(7/(-245)). Is c at least as big as b?
True
Suppose -4*p + 64 = -4*y, 3*p = -2*y + y + 44. Let m = -12 + p. Suppose 0 = h - m, 3*h = 5*c + 2*h + 58. Is -12 greater than or equal to c?
False
Let w be (-9)/(-4)*(17788/(-12) + -19). Which is smaller: -3377 or w?
w
Let o(a) = 3*a**3 - 3*a**2 - 7*a + 7. Let d be o(5). Let q = 275 - d. Which is bigger: q or -9?
q
Let g be (-8)/30*(-38 + 54 + -37). Suppose -5*r - v = 19, v - 6*v - 3 = 2*r. Let m be r/6 + 46/6. Which is greater: m or g?
m
Let v = -286 + 21. Let h = -296 - v. Suppose 5*r = 4*d - 135, 129 = -r - 3*r - d. Do r and h have the same value?
True
Let d be (7 + -6)*1/(-1). Let j be d/(2295/1139 + -2*1). Is j equal to -67?
True
Let s = -7508 + 7499. Let k = 1.74 + -2.1. Let o = -0.06 - k. Is s greater than o?
False
Let v be -3*(14/(-21) - -6 - -7). Is v less than or equal to -144?
False
Suppose 13*r = 2*r + 693. Suppose 4*o = 2*t + 404, o - 45 = 4*t + r. Let z be ((-6)/5)/3*o/1460. Which is greater: z or 1?
1
Let k = 61 - 61.3. Let l = -169.946 + 0.946. Is k at least as big as l?
True
Let z(w) = 6 + 2 + w**3 + 4*w + 1. Suppose -t = -6*t. Let l be z(t). Is l at least as big as 7?
True
Suppose -87*y - 114*y - 394813 - 840131 = 0. Is y equal to -6144?
True
Let h = -447 - -446.29. Is h less than or equal to -3?
False
Let w = 21 - 24. Let h be ((-46)/(-3))/(2/w). Let j = 20 + h. Does -11/5 = j?
False
Let r = -31 - -102. Suppose -4*n + 5*n + r = 2*h, 132 = -2*n - h. Which is greater: n or -68?
n
Let t be (-8)/((2/3)/((-6)/9)). Suppose 3*p - t = p. Let i be (-4)/(8/4) + (-24)/p. Does -7 = i?
False
Let c = -374 + 751/2. Let d(x) = -x + 17. Suppose -45*v = -50*v + 120. Let k be d(v). Which is greater: c or k?
c
Let m(j) = 21*j**2 + 2*j**3 + 1596 + 9*j - 6*j**2 - 1582. Let c be m(-7). Suppose 4*p + 2*p = -c*p. Which is smaller: p or 2/23?
p
Let q = 54.45 + -55. Let p = q - 0.55. Let o = p + 2.1. Which is smaller: o or 0?
0
Suppose -278 - 1386 = -16*a. Suppose 10*y - 4 + a = 0. Is y > 0.12?
False
Let l = -51.6 + 5.3. Let m = -33 + -13. Let h = l - m. Which is smaller: -10/3 or h?
-10/3
Let w = 5/2994 - 12137/1889214. Which is smaller: -1 or w?
-1
Let w(a) = -2*a + 248. Let d be w(-7). Is d at least -7?
True
Let w = -0.27 + -17.93. Let y = -18.096 + 0.096. Let s = y - w. Which is smaller: -0.2 or s?
-0.2
Suppose f + 15 = 16, -5*f + 7987 = 2*i. Which is smaller: i or 1?
1
Let f be (249/(-63) - -4)/(-3 + (-85)/(-30)). Let a = -676 - -1043. Which is greater: f or a?
a
Let a = 1697 - 1723. Let m = 24.998 - -0.002. Let q = m + a. Is q at most -16/5?
False
Let t = 2856 - 31422/11. Which is smaller: t or 5/3?
t
Let y(x) = 5*x**3 - 13*x**2 + 11*x + 3. Let q(b) = 2*b**3 - 6*b**2 + 5*b + 1. Let z(k) = -13*q(k) + 6*y(k). Let o be z(-3). Which is smaller: o or -105?
o
Suppose 5*x - 2*g + 1 = 3, -4*x - 2*g - 2 = 0. Let v be x + (1662/387)/2. Let l = 8/43 + v. Is l not equal to 2?
True
Let d = -5 + -0.5. Let g = -73 - -61.5. Let i = d - g. Which is bigger: 3 or i?
i
Let w be 0/((3/(-9))/((-2)/(-6))). Let l be 3 + w 