j?
False
Suppose -1116*q + 1130*q = -429 + 51. Let z(b) = -46*b - 3. Let d be z(-3). Suppose d = 2*f - 7*f. Is f less than q?
False
Let m = 2.11 + 112.89. Let a = -115.1 + m. Let b = 6 - 6.005. Which is smaller: b or a?
a
Let p(t) = 4*t**3 + 86*t**2 + 58*t + 340. Let c be p(-21). Suppose -5*x = w - 29, 5*w + 0*x + 2*x = 30. Is w <= c?
True
Suppose -346*o + 342*o = 2*y - 5498, 0 = 3*o - 3*y - 4128. Which is smaller: o or 1376?
o
Let s(x) = -10*x + 10. Let z(g) = 3*g - 3. Let u(f) = -5*s(f) - 16*z(f). Let w be u(0). Let h be (4 - (-4 + 7)) + w/12. Which is smaller: 0 or h?
0
Suppose -13*a = -47*a - 34. Let s be (a - -3)/2*(7 - 7). Is s at least -1/27?
True
Suppose -2*z = z, -t + 28 = 3*z. Suppose 4*r = 4*d - t, 2*r = 1 + 3. Suppose d*b + 13 = 4. Does 5/28 = b?
False
Let b = -13191 - -13101. Is -56 greater than b?
True
Let x(k) = k**3 - 25*k**2 - 26*k + 643. Let w be x(25). Which is smaller: -338 or w?
-338
Let d = -313608 - -2191314/7. Which is bigger: d or -563?
-563
Suppose c = -9*c - 690. Suppose -414 = 35*f - 25*f - 4*f. Is f greater than or equal to c?
True
Let x be (234/(-56))/(13636/80). Let s = x - -1/49. Which is bigger: 1 or s?
1
Let y be (14 - (-129)/(-9))*((-972)/560)/(-3). Is 0 smaller than y?
False
Let n be 5*(-13)/((-2730)/(-14)). Do 3531 and n have the same value?
False
Let k = 70694 + -254427704/3599. Is 1 at most as big as k?
False
Suppose -5*d + 6 = -3*q + 91, 4*d = 5*q - 133. Let h = -208 - -211. Let m(s) = s + 23. Let g be m(h). Is g smaller than q?
False
Let t = -24 + -7. Let y be (-2)/5*89 + (-21)/(4935/94). Which is bigger: y or t?
t
Let j be -3*3/36 - 17/(-4). Suppose j*h = 4, -4*z + h + 3*h = 44. Which is smaller: -13 or z?
-13
Let v be ((-12)/(-5))/(3/130). Suppose -c - 2*x = 38, -c + v = -4*c + 4*x. Suppose 50*p + 1188 = 17*p. Is p at most as big as c?
True
Let v(t) = 2*t**2 - 4*t - 27. Let f be v(5). Suppose 5*u = -0*u + 3*c + 601, u = f*c + 125. Which is greater: u or 118?
u
Let q = 184 + -183.481. Let n = q - 0.039. Let u = -2.48 + n. Which is smaller: u or -1/4?
u
Let m = -3 + -27. Let b = 377 - 347. Let h = b + m. Which is smaller: 1/4 or h?
h
Let g = 62519.1 - 62519. Let n = -2 - -3. Let b = 0 - n. Which is smaller: b or g?
b
Let f be 6 - (2 - 4)*-1. Let c = -323 + 323. Suppose l - 1 = c, 0*z - 5*l = -5*z. Is f > z?
True
Let q = 66 - 71. Let s = -20 + 24. Suppose 20 = -5*y + s*z - 7*z, -3*z = 3*y + 12. Which is greater: q or y?
y
Let v = 14598.1 - 14598. Which is greater: 207/16 or v?
207/16
Let q be (99/(-816))/(108/144). Let u be 160/280 - (0 - (-22)/14). Are u and q equal?
False
Let j = 248/371 - 2/1113. Is j less than or equal to -9354?
False
Let w = 120.2 + -120. Let n = 73 - 146. Let p = 215/3 + n. Is w > p?
True
Let f be ((-40)/(-18) - 2) + 42022/12240. Let k = f - 62/17. Is 0 less than or equal to k?
True
Let s(q) = -q + 6. Let b be s(7). Let u be 0 + (-8)/(-6) - 6270/(-630). Let n = u + -4668/413. Is n bigger than b?
True
Let q be 54/4 - 27/(-18). Suppose 6*a - q = -3. Let b be 10*9 - (4 - a). Is 89 smaller than b?
False
Let o be 2/4 - (-2)/4. Let n be (21*-2)/(58 + 29). Is o at most n?
False
Let q = 30047 + -25181. Which is smaller: 34066/7 or q?
q
Let o(q) be the first derivative of -q**4/4 + 3*q**3 - 9*q**2/2 + 10*q + 56. Let t be o(8). Which is smaller: t or 23/7?
t
Let m be (224/98)/(1*4/102). Let i = -58 + m. Is i > 19/3?
False
Let o(b) = -46332*b + 370656. Let d be o(8). Let h = -20/209 + 1218/12331. Which is smaller: d or h?
d
Let k be (-21344)/(-22392)*(-3)/(-12) + (-14)/63. Is k greater than 0?
True
Suppose 7*g = -442 + 2948. Let v = g - 724. Which is bigger: -365 or v?
-365
Let g = -0.03475 + 0.03475. Which is bigger: g or 0.01812?
0.01812
Let n = 15840 - 15916. Do n and -75 have different values?
True
Let x = 3583.2 + -3583. Which is bigger: -30.8 or x?
x
Let d = -181.168 + 182. Let p = d + -0.91. Let b = p - -0.008. Which is greater: b or -4/3?
b
Suppose -39*d - 3 = -10 - 71. Do 0.1096 and d have different values?
True
Let m(w) = w**2 - 3*w - 16. Suppose -2*h + 7 = -7. Let g be m(h). Which is greater: g or 13?
13
Suppose -3*t = -k + 3 - 4, 0 = -5*t + 5*k + 15. Let y(q) = q**3 - 55*q**2 - 1895*q - 78. Let a be y(79). Which is smaller: a or t?
t
Let n = -4637/2 - -143791/62. Suppose 8099*a - 8077*a = 0. Is n at most as big as a?
False
Suppose -y + 5 = 0, 0 = 4*o - 11*y + 7*y + 652. Let s be (o/30 + 5)*(-15)/6. Which is greater: -9/2 or s?
s
Suppose 4*m - 3*l - 9 = 0, -3*m - 2*m = -5*l - 15. Let w be 1/75*(-5595)/3357. Which is smaller: m or w?
w
Let v = -0.487 - 38.713. Let x = v - -39. Let g = 244 - 285. Which is bigger: g or x?
x
Let s = -714 - -735. Let f = 0 + -8. Let x be (-20)/8*f/(-10). Is s at least x?
True
Let p(z) be the third derivative of z**4/12 + 7*z**3/6 - 9*z**2. Let v be p(-4). Let c = -1161 - -17414/15. Is c > v?
True
Let a(c) = c - 24. Let v(l) = 6. Let k(h) = 2*a(h) + 9*v(h). Let g be k(-3). Let r = -1.3 - -1.3. Is g > r?
False
Suppose -24 = 4*r - 5*p, 4*r = -r + 2*p - 47. Let f be (-129)/((-4)/(-8) - 3/(-12)). Let c = f - -159. Which is smaller: c or r?
c
Let t be 2/(((-2)/(-75))/1). Let n = 18177 - 18103. Which is bigger: t or n?
t
Let l(n) = -2*n**3 - 3*n**2 - 23*n - 22. Let b be l(-1). Which is bigger: 34/129 or b?
34/129
Let a be (1484/265)/((-2978)/5). Is a smaller than -1?
False
Let k(c) = -1233*c**2 - 113*c + 41. Let y be k(6). Is -45025 < y?
False
Let l = 89 + 723. Which is smaller: 813 or l?
l
Let z = 5.34 - -75.06. Let d = -16193 + 16113. Let i = z + d. Which is smaller: -5 or i?
-5
Let n = -298233 + 298105. Suppose -2 - 1 = 3*m, -m + 125 = -k. Which is smaller: k or n?
n
Let f = -1836 - -1866. Let q(s) = 7*s**2 + s - 1. Let b be q(-2). Do b and f have the same value?
False
Let r = 50.6 - -22.4. Let l = -77 + r. Which is greater: 3 or l?
3
Let m = 245616280311379760453/14519144587648995 - -2/2711324852969. Let a = m + -304487/18. Let i = a - 11/14. Which is greater: 1 or i?
1
Let i(g) = -g**3 - 29*g**2 - 76*g + 30. Let j be i(-26). Let q be ((0 + 24)/(-4))/j. Let y(b) = b + 7. Let t be y(-6). Is q less than or equal to t?
True
Suppose -12*w = -10*w - 4*j - 1544, -3*w + 4*j = -2318. Is w at most 1547/2?
False
Let g be 14 - (0 + (-9764 - 0)). Are g and -0.2 equal?
False
Suppose -p + 249 = -87. Suppose -3*z = -2*h - 2088, 5*z + 5*h - p = 3144. Let k be (-2 - -7) + (-3516)/z. Is k at most as big as 1?
True
Suppose 0 = -4*g - g + 40. Suppose -g*c + 5*c - 10*c = 0. Which is bigger: 4/37 or c?
4/37
Suppose 13*j = -9*j + 16*j + 1728. Is 283 greater than j?
False
Let c = -2.6 - 0.3. Let r = 7.6 + c. Let d = r + -4.8. Which is smaller: d or 52?
d
Let v = 266 + 911. Let i = v - 51791/44. Is -1 bigger than i?
False
Let s be (-20)/(-14)*(-111)/555. Let f = -50.006 + 0.006. Let a = f - -31. Is s <= a?
False
Let h = 796 + -796. Let a be (-10)/1228*(-20)/(-25). Which is greater: h or a?
h
Let y = 260/3 - 683/8. Is y < 2?
True
Suppose 0 = 3*m + 216*x - 218*x + 3547, 4*m + 4728 = 3*x. Are -1186 and m nonequal?
True
Let h = -3888 - -3889. Which is greater: h or -3/1651?
h
Let p be (-3)/7 + 119/49. Suppose -20 = -5*l - 5*i, -p*l + 11 = 3*l + 2*i. Let y be -1 - (l + (-4 - -7)). Is -6 less than or equal to y?
True
Suppose 0 = -1768*o + 1772*o + 3680. Let i = -928 - o. Suppose -3 = -3*r - 4*a - 42, -5*r + a - 42 = 0. Which is bigger: i or r?
i
Let v = 212 - 353. Let s(i) = 4*i**3 - 29*i**2 - 10*i - 22. Let k be s(7). Is v >= k?
True
Suppose p - 104 = 4*m, 4*p - 107 - 252 = -3*m. Let d be (-548)/(-6) - 10/(-18)*51/(-85). Let f = p - d. Which is smaller: -1/22 or f?
-1/22
Let o be 2/(-11) + (-448)/(-44). Let v be (-37 + 7)/10 - (-110 - 1). Suppose o*x - 8*x - v = 0. Is x >= 54?
True
Let g = -4.24115 - -28.09585. Let y = g - 0.0547. Which is smaller: y or 1?
1
Let o be 2/(-6) - ((-16)/(-6) - -1). Let d be o*5/20*30. Which is smaller: d or -26?
d
Let h = -0.398 - -26.298. Let k = h + -28.9. Is k smaller than -1/170?
True
Let y(a) be the second derivative of 2*a**3/3 + 25*a**2/2 + 7*a. Let k be y(-5). Suppose 0 = -k*f + 2*x + 40, 2*f + 5*x - 40 = x. Is 12 < f?
False
Let n = -33 - -32. Let j(g) = -57*g**3 + 2*g + 3. Let v be j(n). Let s = -60 + v. Are s and -6 nonequal?
True
Let a = 15207/17 + -897. Let z(i) = i**2 - 20*i + 112. Let d be z(14). Suppose -d = -2*u - 34. Which is bigger: 