?
True
Let w = -29.29 - -34.47. Let i = 5.78 - 0.58. Let y = i - w. Which is smaller: -1 or y?
-1
Let t = -0.15214 - -0.05214. Which is greater: -2963 or t?
t
Let h = -0.12 + -4.88. Let m = 11223 + -57302/5. Let l = -237 - m. Which is smaller: l or h?
h
Suppose -2284*f = -2279*f. Is -6/11 greater than or equal to f?
False
Suppose -2*j + 5*p - 358 = 904, 0 = -j - 2*p - 667. Which is smaller: -652 or j?
-652
Suppose 885 - 898 = 13*v. Is v < 1/391?
True
Let x(l) = l**3 - 20*l**2 - 10*l - 68. Let w be x(22). Let h be (2 + w/(-344))/((-1)/(-44)). Which is bigger: h or 0?
h
Let p(w) = w**3 - 10*w**2 - 10*w - 9. Let r be p(11). Suppose 0 = v - 4, -4*y - r = -5*v + 18. Suppose 10*u - 7*u + 27 = y. Is -10 >= u?
False
Suppose 372*u + 5340212 = 2032388. Do -8893 and u have different values?
True
Let t be 2782/4 - (-75)/(-30). Are -2/13 and t unequal?
True
Let m = -8481 - -8470. Which is smaller: 0.074 or m?
m
Let a = 111 - 110. Let t(k) = k**3 - 8*k**2 + 7*k + 6. Let y be t(7). Suppose y*i - 8*i = -66. Which is smaller: i or a?
a
Let d(f) = -3*f**2 + 147*f - 67. Let w be d(36). Let t = -1317 + w. Suppose 4*x - 2*j = 76, 95 = 5*x - j - 3. Do x and t have the same value?
True
Let t = -4010 + 8023/2. Which is bigger: t or 130?
130
Let z be (-8)/(-16) + (-3)/2. Let g = -0.077 + 0.677. Let y = g + -0.2. Is y smaller than z?
False
Suppose -2*t + 4*t = m + 5, -m - 7 = -4*t. Let k be (-1)/((-3)/96*t). Let j = 6421 - 6390. Is j at most k?
True
Let n be -12 + 0 + 5 + -7. Let w be (3690/(-147))/(2/n). Let i = 176 - w. Are i and -0.3 non-equal?
True
Let x = 0.07531 + 5.92469. Is -2.32 smaller than x?
True
Let h be 2326/340 - (-636)/(-1590). Which is bigger: h or 7?
7
Let b = -182 + 184. Suppose b*u + 47 = 25. Is u less than -9?
True
Let m = 696.0256 + -696. Which is bigger: m or -0.12?
m
Suppose 5*h + 86 = -3474. Is -713 < h?
True
Let m be (-1118328)/1491360 - (-2)/((-16)/(-6)). Which is bigger: 0 or m?
m
Let s(l) = 19*l**2 - 36*l - 33. Let a(k) = -6*k**2 + 12*k + 11. Let v(p) = -7*a(p) - 2*s(p). Let g be v(5). Is 86/3 bigger than g?
False
Let r be (24/72)/(-3*2/(-65712)). Let o = r + -3702. Is -51 at most as big as o?
False
Let u = -164 - -264. Let t = u + -69. Which is bigger: 32 or t?
32
Let j = 413/1746 - -4/97. Let b = -215/22 + 113/11. Let z = j - b. Is 0 greater than z?
True
Let y = -77255/11476 + -3/604. Let v = 4/57 + y. Are v and -7 equal?
False
Let z = -2 - -2. Let o = 146 + -149. Let t be ((-2)/10)/((-392)/(-105)*o). Which is smaller: z or t?
z
Let i(r) = 52*r - 157. Let a be i(-6). Let l = 720 + a. Which is greater: 252 or l?
252
Let w = -13 + 65. Suppose 0 = -l - l - w. Suppose -1698*c - 1657*c + 3391*c = -1008. Which is bigger: l or c?
l
Let w = 4732388/27 - 175312. Which is bigger: -37 or w?
-37
Let y = 1 - 2. Let h = -401 - -401.16. Let u = -0.04 - h. Is y at least u?
False
Let t = -18 - -7. Let k(v) = -v**3 + 14*v**2 + 7*v - 14. Let s be k(10). Let n = -466 + s. Is t < n?
True
Suppose 0 = -3*m - 3*q + 429, 0 = -4*m - 3*q + 154 + 416. Which is bigger: 702/5 or m?
m
Let t = 6.01 + -278.01. Let g = t + 167. Are -0.1 and g unequal?
True
Let d be -5 - (1025 - -1)/(4 - 2). Let i be (d/(-91) - 6)*1/(-2). Which is greater: 0.3 or i?
0.3
Let m be (((-4)/5)/((-2)/(-85)))/(-2). Suppose m*x - 8*x + 9 = 0. Which is greater: 34/5 or x?
34/5
Let s = -1261 + 1460. Which is bigger: s or 0?
s
Let n(g) = -2*g**2 + 152 - 106 - 109 - 24*g. Let f be n(-8). Is f != -15/47?
True
Suppose 0 = 2*d - 6*d. Let x = -6294495/106 + 59382. Which is smaller: x or d?
x
Let o = 0 + -0.1. Let a = 1964 - 1966.449. Let j = 0.149 + a. Which is smaller: j or o?
j
Let m = 42683 + -42605. Let u = 4 - 0. Is u greater than or equal to m?
False
Let k be ((-7)/(-5))/(((-180)/(-300))/((-12)/(-10))). Let h = -0.4 - -0.1. Is h at most as big as k?
True
Let x be ((-2)/(-3))/(4/33). Let n = 471 + -467. Suppose 20 = -n*d, -81*d = -2*s - 79*d + 22. Is x smaller than s?
True
Let l be (135450/(-7970) + 17)/2. Do 0 and l have the same value?
False
Let t be 132/(-22) - (2370/66 - 4). Which is greater: -38 or t?
t
Suppose -2*t = -2*w + 18, -2*w + 13*t + 24 = 9*t. Which is smaller: 140 or w?
w
Let d be -4*(-4)/(-16) + 5. Suppose -h + d*q - 1 + 27 = 0, 4*h - 80 = 4*q. Which is smaller: 1 or h?
1
Suppose -1224*u + 1212*u + 3096 = 0. Which is bigger: 778/3 or u?
778/3
Let h = -3.7 + 3.75. Let a = h - 57.05. Let s = 49 + a. Which is bigger: s or -0.2?
-0.2
Let j(s) = -486*s + 960*s + 2 - 6*s**2 + 12*s**3 - 478*s. Let f be j(-1). Which is smaller: -9 or f?
f
Let f = -0.22333 + -1105.77667. Is -0.1 > f?
True
Let a = 2731 + -35483/13. Let w = -1730 - -1733. Suppose -3*f + 12 = 3*c, w*f - 2*c - 53 = -51. Is f != a?
True
Let d be (3 - (12 + -8))*7/(-1). Which is bigger: 13 or d?
13
Let f be ((0/((-24)/6))/(2/1))/1. Is 9/694 != f?
True
Let p(m) = -276*m + 32011. Let i be p(116). Let j = -2.1 + 2. Is i less than or equal to j?
True
Let k = 1289 - 1289.537. Let a = k + 0.295. Let l = a + 0.052. Which is smaller: 2 or l?
l
Let s(k) = 39*k**3 + 7*k**2 + 44*k + 20. Let g be s(-4). Which is smaller: g or -2539?
g
Let l be -6 + ((-2277120)/57736)/(-6). Let b = -2/1031 + l. Does b = 4.2?
False
Let m = -3602444882/2358503 - -2/336929. Which is smaller: -1527 or m?
m
Let p = -9425 + 1649348/175. Let u = p + 2/175. Let l = -2/265 - -277/1590. Is u less than or equal to l?
True
Let w be 5 - (-3)/((-270)/(-73115)). Let x = -817 + w. Is x <= 0?
False
Let m be 68/(-130) - 6/15. Let d = -7410 + 7408. Do d and m have the same value?
False
Suppose 15 = 4*p - 1. Suppose 8*r - p = 12*r. Let i be 3 - (3 - (r + 1)). Do -3/5 and i have the same value?
False
Let i = -28 + 102. Let x = i + -75. Does x = 2/9?
False
Let g be (-380)/228 + 2/3. Which is smaller: -13/24 or g?
g
Let b(p) = 610*p**3 - 3*p**2 + 9*p - 3. Let a be b(1). Is a < 613?
False
Let c = -21524 + 21529. Is -2/799 bigger than c?
False
Let w = 167 + -60. Let d = -201 + w. Which is smaller: d or -0.1?
d
Suppose -803775 - 213648 = 308*o + 79*o. Is -2629 smaller than o?
False
Let c = -2.2 + 2. Let d = c + -2.8. Which is smaller: -0.2 or d?
d
Let n(u) = u**3 + 7*u**2 - 11*u + 74. Let y be n(7). Let m = -598 + y. Is 0 bigger than m?
False
Let v(h) = 36*h - 64. Let g be v(-7). Let f = 324 + g. Is 47/6 less than or equal to f?
True
Let a be ((-24)/(-54)*51)/(15/(-180)). Are -2994/11 and a nonequal?
True
Let s(j) = j + 8. Let g be s(3). Suppose -2*w - 33 = g. Let p = -45/2 - w. Which is bigger: 2 or p?
2
Let j(f) = f**2 - 10*f - 43. Let w be j(15). Suppose 4*m + 8 = 2*m, w = 2*s + 5*m. Is -2 at least s?
False
Let t be 6/4 - (14 - 1922162/(-231)). Let s = 8333 + t. Is s at least as big as -1?
True
Suppose 60*d = 79*d. Let q = -166844844 - -1965432259753/11780. Let c = q + 23/95. Is c < d?
False
Suppose 74*m - 60*m = -154. Which is bigger: m or 20?
20
Let b be -18 + -1 + -1 - 1. Let h(q) = -q**2 + 9*q + 20. Let d be h(11). Let l be (-425)/20 + d*2/(-16). Is l greater than b?
False
Suppose 0 = 2*u - 3*u + 4, u = 3*m - 83. Suppose -13*b + m = -36. Let k = 2.05 + -0.05. Which is smaller: k or b?
k
Let r be (32/6)/(12/18). Let a be -24*1*(-20)/r. Suppose 300 = 5*g + 13*k - 8*k, 3*k = -5*g + 298. Is g less than or equal to a?
True
Let j = 23 - 22. Let l be 2/16 - ((-1278)/(-496) - 2). Which is smaller: j or l?
l
Let b = 37991 - 37981. Is 1414 bigger than b?
True
Let q = -2150 - -32252/15. Let p(v) = -v**3 + 5*v**2 - 2*v. Let h be p(3). Let s be h/(-48)*(-1 - 3). Is q < s?
True
Suppose -2*v + 214 = -4*w, -3*v = v - 12. Is w bigger than -50?
False
Suppose 4*m = 3*l - 448, 480*l + 184 = 481*l + 3*m. Is 187 greater than l?
True
Suppose -3*l - 31 = 5. Let j be (0 + l/(-54))/(-30). Are 0 and j unequal?
True
Suppose -9*n = -8*n - 21. Suppose 0 = n*y - 18*y - 1161. Let j = 5037/13 - y. Do j and -1 have the same value?
False
Let b(m) = -26*m - 365. Suppose 19*c + 2 = 17*c, 2*n - 5*c = -23. Let r be b(n). Which is smaller: r or -9?
-9
Let v(y) = -11*y - 18. Let b be ((-72)/(-45))/(4/10). Let x be v(b). Is -60 > x?
True
Let t = -11315 + 10847. Is t less than -466?
True
Let j = 315/208 - -9/16. Suppose 4 - 6 = -2*i. Is j bigger than i?
True
Let w be (2/28)/(12/(-48)*1). Does 822 = w?
False
Suppose -n + 2*m + 6 = -4*n, -6 = -4*n + 2*m. Let y be ((0 - n)/5)/(1 - 0). Let k be 5 - (176/45 - -1). Do k and