?
True
Let o be 8/6*(6 + (7 - 7)). Suppose -18 = t - 2*n - 6, 5*n + 3 = -3*t. Let y = 5 + t. Which is smaller: o or y?
y
Suppose -i = 4*t - 4, 3*i - 20 = -2*i + 4*t. Let b be -24*(i - (-50)/(-8)). Which is smaller: b or -1/2?
-1/2
Let z be 0/((11 - 14) + 4). Does z = 25/43?
False
Suppose 4*y - 2*r + 6*r = 8, -y + 3*r - 18 = 0. Let f be y/(-30)*-33*20/8. Which is greater: -9 or f?
f
Let y = -6838 + 6838.1. Which is smaller: -2944 or y?
-2944
Let a be (-41831)/12762 - ((-7)/2)/1. Let x = -9 + 8.1. Which is smaller: x or a?
x
Let m = -6 + 0. Let h = 2077/5 + -6236/15. Are h and m equal?
False
Suppose -3*n - 20 = -5*w - 99, 5*w = -2*n - 64. Let p be 24/3 + -1 + -34. Let x = p + w. Which is bigger: -40 or x?
-40
Let f be ((-80)/(-30))/(6/(-9)). Let x be (12/4)/18 - 11/12. Which is smaller: x or f?
f
Suppose -26*f + 1932 = -19*f. Suppose -4*n + 11*o = 8*o - f, -2*o = -4*n + 272. Which is smaller: n or -6?
-6
Let t be (5284*6/36)/(-2). Let b = t + 453. Suppose -3*d + 6 = 2*o, 0*d = 3*o - d + 2. Which is bigger: o or b?
b
Suppose 0 = -4*d - 4*z - 172, 7*d - 9*d = -2*z + 94. Let r be -37 - (3 - 1 - -2). Is d at most as big as r?
True
Let o be (-368)/36 - (-12)/54. Let w be -2*(35/o + -3) - 1. Is w greater than 47/4?
True
Suppose -4*k - 3*h + 117 = 0, -5*k - h + 2*h + 132 = 0. Suppose 0 = 7*r + 2*r + k. Let w be (-10)/5 - (1*-4 - r). Is 2/31 < w?
False
Let v be -2 + 1 + 2 - -46. Suppose 4*k - 43 = l, 2*k + 8 = l + v. Let u be ((-154)/l)/(18/15). Are 1 and u non-equal?
True
Let k(h) = -16*h + 486. Let s be k(27). Is 699/13 >= s?
False
Let t = 56 - 56. Let w = -113 + 230. Let d = w - 103. Which is bigger: t or d?
d
Let y = -5977 - -5788. Is -190 not equal to y?
True
Let h = -15 - -13. Let d be ((-2)/6*h)/((-2)/18). Let o be (5/d)/((-7)/112). Which is smaller: o or 12?
12
Let n(u) = 138*u - 1. Let i be n(0). Which is bigger: i or -42/173?
-42/173
Let x be 3 + -1 - (-25 + -149). Suppose -7*w = -279 - x. Is 65 greater than or equal to w?
True
Let u(r) = -17*r**3 - 8*r**2 - 7*r + 9. Let o(q) = -34*q**3 - 14*q**2 - 13*q + 17. Let y(t) = -3*o(t) + 5*u(t). Let z be y(1). Which is smaller: 9 or z?
9
Let z = 72883/7081 + -789/73. Let g = z - -26744/51507. Which is smaller: -1 or g?
-1
Let k be ((-30)/12)/(7/18648*-4). Does 1662 = k?
False
Let r = 9.97 - -0.03. Let o = -2 - r. Let w = 19 + o. Which is smaller: w or 1?
1
Let l = -146.2 - -146. Which is greater: -868 or l?
l
Let c be 40/91 + (10 - 72/7). Let w be (-3)/2*-2 + 3. Let i = w + -6. Do i and c have different values?
True
Let k = 2841 - 3868. Does k = -1/4?
False
Let r = -270 + 293. Let u = 17/545 + 2474/77935. Let h = u - -6417/286. Which is smaller: r or h?
h
Suppose -4*z + 8350 = 7630. Which is bigger: 174 or z?
z
Let h be 1/(-1) + -9 + 12. Suppose -6*n + 5*n = -4*d + 1, 0 = h*n + 10. Which is smaller: -6/13 or d?
d
Suppose 30173 = -81*i + 2*i + 1259. Which is bigger: -364 or i?
-364
Let h(b) = b**3 + 5*b**2 - b - 5. Let j be h(-5). Suppose -2*k = -4*m - 16, j = -5*m - k - 2*k - 20. Let n be ((-182)/39)/(m/(-6)). Is -41/5 less than n?
True
Let h = 4649 - 5803. Which is greater: -1156 or h?
h
Let t = -13 - -4. Let x = 1024 - 904. Suppose -5*r = s + 13, -x*r + 19 = -3*s - 115*r. Which is smaller: s or t?
t
Suppose -8282*l + 8280*l + 3*k + 18 = 0, 4*k = 3*l - 24. Which is greater: -2/23927 or l?
l
Suppose -73*k + 3*r + 1228 = -71*k, -3*k = -4*r - 1845. Which is bigger: k or 625?
625
Let g = -307 + -105. Let w = -342 - g. Is 71 at most w?
False
Suppose 0 = 4624*f - 4641*f. Is f at least 2/12281?
False
Let i = 16 + -1. Let g be 31/i - (-50)/(-30). Is 0.41 > g?
True
Suppose -3*z + 2*r = 30, -z + 5*r = -3*z - 20. Let n be z*(2 - (-39)/(-6)). Suppose -160 = -4*h + 5*c, 5*h = 3*h - c + 94. Are n and h equal?
True
Let b be (-4)/6*(-12)/(-8). Let v be 27995/4664 + (-5)/((-25)/(-30)). Which is bigger: v or b?
v
Suppose -6*w + 2*w - 1007 = -5*m, 2*w - 5*m = -501. Let r = w - -255. Which is bigger: r or -7?
r
Suppose -4*q + 3*q = 3, 4*q = 2*r + 28. Let l(u) = u + 18. Let p be l(r). Let i be 4 + -6 + p + 17/(-1). Which is smaller: i or -20?
i
Let g = 3723 - 8496. Which is smaller: g or -0.1?
g
Suppose -6*w = 4*w + 40. Let d be 2/w - (95/30)/(-19). Is d < -1/134?
True
Suppose -9*x + 10*x - 21 = 0. Suppose -k + 7 = x. Let f be ((-99)/(-21) - 3) + (-4)/k. Is -2 > f?
False
Let h = -1258232 - -15083369/12. Let n = -955871/744 - h. Let v = n + 2/31. Is -1 at least v?
False
Suppose 0 = -x + 5*x + u - 1, -3*x - 12 = 5*u. Suppose -4*t + 5 - x = 0. Let c be (-18)/4 + 54/(-21)*(-126)/54. Is c greater than or equal to t?
True
Let u = 13.2 - 10.9. Let i = u - 3.58. Which is smaller: 0.1 or i?
i
Let j be (-8 - (-9790)/45)/(-2) - 2/9. Suppose -4*l - 5*m - 416 = 0, 0 = -3*l - m + 3*m - 312. Which is smaller: j or l?
j
Suppose 4*o = 3*x + 8*o - 3, 3*o + 4 = -x. Suppose 56 - 36 = 5*h. Suppose 0 = 2*q + h*j - 32, j + 2 - 7 = 0. Is x less than or equal to q?
True
Let a = 33/20 + -2969/1860. Let k = 237.9 - 238. Which is smaller: k or a?
k
Let q = 33790 - 33659. Suppose 4*j - 248 - 276 = 0. Is q less than j?
False
Let v(l) = -l**2 + 25*l + 149. Let f be v(30). Do 1/1331 and f have the same value?
False
Suppose 49 = 2*x - 7. Let j = x - 50. Let w be j + -1 + (5 - 2). Which is smaller: w or -17?
w
Suppose 0 = 22*s + 3078 - 218. Let j = 120 + -115. Suppose -3*t + 2*t = 2*h + 261, 0 = 5*h + j*t + 655. Is h < s?
False
Let i(j) = j**3 + 36*j**2 - 37*j. Suppose 103 = -3*a + 44*w - 40*w, -2*a + 5*w - 64 = 0. Let x be i(a). Is 5/47 at most x?
False
Let m = 17451 + -17450.9268. Which is smaller: -1 or m?
-1
Let r be 380/(-14) - (0 - 1). Let g = -10079/385 - r. Let j = -28877 - -28878. Which is bigger: j or g?
j
Let f(g) be the third derivative of -g**4/4 - 13*g**3/6 - 23*g**2. Let r be f(0). Suppose -11*d = -3*d + 88. Which is smaller: r or d?
r
Let r be 1 + 5/(1 + 4). Let u(k) = 2*k**2 - k - 1. Let l be u(2). Suppose -r*z - 28 = 4*a + 40, 5*z + l*a + 165 = 0. Is z at most as big as -31?
True
Let h be ((-2742)/(-8))/(105/14 - 6). Let s = h + -228. Are s and 53 equal?
False
Let b = -3 + 3.02. Let f = 17786/3 + -5932. Which is greater: f or b?
b
Let r be (1 - (-670)/20) + 2/4. Suppose 4*z - 4*h - 132 = 0, r = 4*z - h - 97. Which is smaller: 34 or z?
z
Let z be (16/20)/(4/(-3)). Suppose 6*b - b = 0. Is b smaller than z?
False
Let a = 517 + -499.088. Let k = a + 0.088. Which is bigger: k or 1?
k
Suppose -451*t - 47449 = 4*w - 454*t, 3*w - 2*t = -35585. Is -11856 >= w?
True
Let u be (-1)/(3/1038)*270/600. Is u < -155?
True
Let j = -57 - -57.26. Let m = j + 1.94. Is 0.7 < m?
True
Suppose -4*k - 1186 = 9410. Let o be k/(-30) + 1 + (-1)/(-5). Are 91 and o non-equal?
True
Let v = -6706 - -40625/6. Which is bigger: v or 64?
v
Suppose 5*j - 25480 = -5*v, 0 = 196*v - 198*v - 4*j + 10198. Which is bigger: v or 5092?
v
Suppose 3*b = 3*d + 9, -2*d - 5*b + 59 - 44 = 0. Is 15/118 at least d?
True
Let g = 16646.636 - 16647. Are g and 0.2 equal?
False
Let q = -2770371/21738379 - -160/17239. Let d = q + 4/97. Which is greater: d or 2?
2
Let i = 10 + 189. Let t = i + -144. Is t smaller than 2/7?
False
Let j be (-2 - 2760/(-21))*((-385)/(-42) + -9). Which is greater: 22 or j?
22
Let t be (-39)/364*(-4 + 15520/3885). Is t != 0?
True
Let y = 117 - 114. Suppose o = l + y*l + 19, 18 = 2*o - 3*l. Suppose 10*v - 7*v = -o. Which is smaller: -1/3 or v?
v
Suppose 12*k + 14 + 154 = 0. Let p be (-9)/k - (-45)/(-15). Which is greater: -3 or p?
p
Let k = -24677 + 24704. Which is smaller: -19 or k?
-19
Suppose -5*s - 2*f - f = -29, 4*f + 8 = 5*s. Which is smaller: 11 or s?
s
Let u(f) = 4*f**2 + 418*f - 637. Let c be u(-106). Let l be (-3)/((1 - 0)/(-12)). Is l > c?
True
Let t = -333 - -336. Let b be (-6)/6*(t - 8)/(-5). Which is bigger: b or -2/33?
-2/33
Let v = -1835/3 - -612. Let y = 28 - 177. Is y less than v?
True
Let k be 937/(-3 - 37382/16) - 48/(-120). Which is smaller: -1 or k?
-1
Let h be ((-9)/12)/(-3) + 837/12. Let v = 71 - h. Are 1/24 and v non-equal?
True
Let l(u) = u**2 + 9*u + 13. Let d be l(-8). Suppose -8 = d*c - 3. Let t be (0/c)/(2*(-4)/8). Is t at most -1/69?
False
Suppose 23*c = 20*c + 132. Let r = c + -42. Let q be (13/(-78))/(r/(-66)). Is q at least as big as -0.2?
True
Let f = 146 - 136. Suppose 5*c - 9 = -3*g + c, -c - 3 = 0. Suppose -2*m - f = -g*m. Whic