 (4/3)/(o/30*5). Is s smaller than v?
False
Let r = -0.11 + 0.129. Let a = r - 4.619. Let g = a + 6.6. Is -0.1 equal to g?
False
Let q = 3.364 + -0.119. Let p = 3.22 - q. Which is bigger: p or 2?
2
Let b(i) = -2*i + 6. Let t be b(5). Let k be 735/24 - t/(-1). Let g = 17671/664 - k. Is 0 equal to g?
False
Let a = 39627.9 + -39628. Which is bigger: 4.97 or a?
4.97
Let j be (175530/26)/1 - (-274)/(-1781). Which is greater: j or 6750?
j
Suppose 2*m - 2*h - 38 = 0, 0 = 4*m + 2*h - 3*h - 76. Suppose -3*p = -x + 16, m*p - 18*p - 5*x = 4. Is -44/7 < p?
True
Let d be (-1)/((-5)/43405*-1*(-2)/2). Which is greater: 8680 or d?
d
Let a = -1076501/254902879 + 1/89471. Is a less than or equal to -1?
False
Let a(z) = 39*z + 161. Let g(v) = -20*v - 80. Let w(p) = 6*a(p) + 11*g(p). Let k be w(0). Are k and 259/3 nonequal?
True
Let q(d) be the first derivative of d**4/4 + 10*d**3/3 + 12*d**2 + 28*d - 19. Let r be q(-9). Let y = 106 + r. Which is smaller: -7/3 or y?
-7/3
Suppose 19*f - 7430 - 9742 = 13304. Which is smaller: 1611 or f?
f
Let j be (1 + -2)*-1*0. Let k be 100*((-50)/(-340))/5. Let v = k + -53/17. Which is smaller: v or j?
v
Let o = -38.03 - -0.03. Let i = 8 - 68. Let n = o - i. Does n = 2?
False
Let i = -0.6 - -1.3. Let w = i + 0.3. Let q = -4717 + 4717.03. Is q less than w?
True
Let r = -31.28 + 0.28. Let f = 6.477 + -0.077. Let d = 6.4 - f. Which is bigger: r or d?
d
Let h = 5625 - 5195. Is h greater than 432?
False
Suppose -k + 5*f - 50 = 0, -83 = -5*k - 4*f - 449. Let u be (18278/(-190) - 15/50) + 28. Which is smaller: k or u?
k
Let r be (-11521)/(-562) + (-2)/(-2). Let w be -4*1 + 27/1. Do r and w have the same value?
False
Let y be (-2 - -2) + -3 + 1*-43. Let z(c) = c**3 - 44*c**2 - 45*c - 46. Let n be z(45). Are n and y nonequal?
False
Suppose -534 = -16*q - 1766. Let j be (4/(8/7))/(1/(-22)). Are q and j equal?
True
Let j be 1 - (-11 - 34) - -10. Which is smaller: -6 or j?
-6
Let n = -14281/37 + 386. Suppose -14*q + 8*q = 42, -5*m + 2*q = -24. Is m at most n?
False
Let x(u) = 2*u + 2. Suppose 5*b = 5*f + 30, -18 = -f - 2*b - 3*b. Let z be x(f). Let k be z/(104/164) + 3. Do -2 and k have the same value?
False
Let r = 1017.6 - -57.4. Let n = r - 551. Is n greater than or equal to -1?
True
Let l = -143.39 - -142. Let j = -147.61 + l. Which is smaller: -1 or j?
j
Let w be 14/(-9) + 355190/228294. Is -1 < w?
True
Let s be (-1178)/(-8) - ((-14)/12 - 1139/(-804)). Do 132 and s have the same value?
False
Let o = 2375 + -2488.1. Let p = -6.9 + o. Which is smaller: -1 or p?
p
Let w(n) = -21*n**3 - n**2 + 2*n. Let b = -346 + 347. Let h be w(b). Let u = 18 - 37. Which is greater: u or h?
u
Let d be 18/((-66294)/(-37555)) + -9*1. Is d less than 2?
True
Suppose -2*d - 4*i + 103 = -497, -582 = -2*d + 2*i. Let o = -221 + d. Is o greater than 75?
False
Suppose 101 = -5*h + g + 2*g, 0 = -4*h + 5*g - 86. Let j(y) = -2*y**2 - 18*y - 7. Let u be j(-6). Let k = -48 + u. Is k equal to h?
True
Let d = -514111/122 - -4214. Let n be -2*(7/2 - 3). Which is bigger: d or n?
d
Let x = 419 + -217. Let i = x + -253. Which is greater: i or -49?
-49
Suppose 97 = 5*s + c - 158, -3*c = 0. Suppose -23 = 14*w - s. Are 28/37 and w unequal?
True
Let z = -11968 + 23937/2. Which is smaller: 1645 or z?
z
Let i = 12909/2 - 6379. Let c = 173 + -98. Which is greater: c or i?
i
Suppose -6*j - 126 = 8*j - 126. Let f be (-142)/(-96) - 10/15. Is f smaller than j?
False
Let s = -12840/143 - -301/13. Which is bigger: s or -68?
s
Suppose 3*b - 18 + 11 = 2*i, -2*b = 3*i - 22. Suppose b*q = 16 - 101. Is -21 bigger than q?
False
Let f = 1/69756 - -13061809/139512. Which is smaller: 93 or f?
93
Let k be 3/(-3) + (-12)/(-10). Suppose -3*a - 3*y = -8*a + 91, 0 = 3*a - y - 57. Let r be (-2)/(-2) - a/25. Is k smaller than r?
False
Let g = -25/33 - -12/11. Let n = -30.19 - -30. Let w = 0.41 - n. Which is greater: w or g?
w
Let s be (-39)/((-5)/20*-6). Let c = s + 51/2. Which is greater: c or 4/17?
4/17
Let m be (-7 - 7)*(6 - 0). Let i(s) = 15*s - 5. Let q be i(6). Let p = m + q. Is 0 greater than p?
False
Suppose -12*z + 15*z - 525 = 0. Let c = -1227/7 + z. Let h = 12/11 - 10/11. Is h bigger than c?
True
Let t = 88 + -55. Let v = -34 + t. Let x be ((-9)/(-15))/((-15)/20). Is v not equal to x?
True
Let n = 3454773/638 + -5415. Which is smaller: n or 1?
n
Let g = -751 - -743. Let k(r) = 6*r**2 + 17*r + 1. Let i be k(g). Is i != 249?
False
Suppose 101 = -u - 281. Is u bigger than -381?
False
Suppose 0*s = 4*s - 9*s. Suppose g + 11 = -4*g + 4*n, s = -2*n - 2. Let a be (-9)/5*(1 + 1). Is a greater than or equal to g?
False
Let f = 0.1 + -0.25. Let i be (-21*4/(-224))/(9/6). Are i and f equal?
False
Let v = -17149 - -12255. Is -4894 less than or equal to v?
True
Let i = 125297245/37 - 3385863. Let c = i - 549. Is c smaller than -1?
False
Let m = 2 + -2. Suppose 0 = -2*x - t - m + 3, 0 = -x - 3*t - 11. Let z = 135123 - 135120. Which is greater: x or z?
x
Let o = -44.026 + 2.026. Is 36 at most as big as o?
False
Let y be (-21)/14*250/15. Suppose -39 = -5*t - 169. Which is smaller: t or y?
t
Let j = -13737 - -8710. Is -5025 < j?
False
Let n = 59.8283 - 1.7433. Let o = n - 0.085. Let q = 57.9 - o. Which is bigger: 0 or q?
0
Let h be (6/(-15) + (-4)/(-10))/(159 - 156). Do h and 1/2052 have the same value?
False
Suppose 0 = 53*m - 51*m - 726. Let k = -532 + m. Let z be 13/(k/2)*7/1. Is z >= -1?
False
Let f = -0.34497 - -0.07197. Let r = -0.093 + 0.166. Let y = f + r. Which is smaller: -14 or y?
-14
Suppose 4*v + 3*c + 47 = 135, v + c - 22 = 0. Which is greater: v or -293?
v
Let q = 0.141 + -3.991. Let j = q + 3.9. Let v = j - 0.01. Which is smaller: v or 3?
v
Let o(l) = l + 9 + 0*l - 1. Let n be o(-6). Suppose 3 = -z + 6, 5*d - 3*z = -14. Which is smaller: n or d?
d
Suppose 3*y - 7 = 3*o - 5*o, -4*y - 24 = -4*o. Let v = -249 + 261. Let f be (-9)/(-3) - (-40)/v. Is o greater than f?
False
Let u(n) = 4*n**2 + 18*n - 20. Let d be u(-6). Suppose 14 + d = p. Which is smaller: p or 31?
p
Suppose -p = 3*p - j - 709, 0 = 5*p + 5*j - 855. Suppose p*h - 180*h = 24. Let c be h*((-6)/(-4) - 188/120). Is c greater than or equal to -1?
True
Let g be 0/(3 + -2) + (4 - -507). Suppose -g = -3*c - 2*a, c + 10*a = 6*a + 177. Is c at least as big as 169?
True
Suppose -22*v - 18760 = -42*v. Which is bigger: v or 0.1?
v
Let o = 359880 + -8287588/23. Let n = o + 450. Is n bigger than -4/5?
True
Let z be 2/(-24) - 2846414/(-6792). Is 437 less than or equal to z?
False
Suppose 2*y + f + 42 = 195, y - 64 = 2*f. Let h = 74 - y. Which is smaller: h or -7?
-7
Let j = -16 - -18.7. Let t = j - 2.797. Let b = 0.007 + t. Is b bigger than 1/2?
False
Let b(o) = 2*o**2 + 22*o + 33. Let c be b(-7). Let j = c - -104. Is 2 at most j?
True
Let c = 11.923 - 10.399. Are -1 and c nonequal?
True
Suppose 0*l + 4*x + 11 = -5*l, -2*l + 14 = -3*x. Let t = -24709/70 - -353. Which is greater: t or l?
l
Let t = -45258/5 + 9049. Is t at least -1.7?
False
Let w = 21282 + -8406369/395. Which is greater: w or -1?
w
Let y be (41/(-8) - ((-52)/4 - -18)) + 5. Let b be -3*(-3 + 1)/(-1). Is b greater than y?
False
Let s be (-112 + 1)*84/(-63). Suppose 2*f - 5*d - 16 = 97, 2*d - s = -2*f. Is -2/5 less than or equal to f?
True
Let c = -0.064 - 0.036. Let j = 398.29 + -263.26. Let y = 135 - j. Which is smaller: y or c?
c
Suppose h + q - 6 = 0, 0 = -2*q + 1 + 3. Let c be -8 + 17 + h/(-6). Which is smaller: 9 or c?
c
Let o = -48 - -52. Suppose o*p - 261 = -61. Let f be 1*p*(-2 + 1). Is f != -50?
False
Let u be (-48565)/10990 + 3/1. Let n be 1/(157/2)*(-42)/56. Let a = u + n. Which is smaller: a or -1?
a
Suppose 30 = 5*o + 3*v, -4*o - v + 26 = 9. Let x be 38/(-8) + 23/(-92) + o. Is x at least -19/8?
True
Suppose -5*l = 5*z - 85, -2*z - 3*l + 37 = 8. Suppose 30*o = -q + 33*o - 22, -3*q = 2*o + z. Which is smaller: q or -140/13?
-140/13
Let z(h) = 10*h + 45. Let w be z(6). Suppose 0 = -3*d - 15, -w = 5*p - 2*d - 25. Is -13 equal to p?
False
Let n(m) = m**3 + 12*m**2 - 31*m - 38. Let w be n(-14). Let p be 3 + 1276/(-400) + w/20. Which is greater: p or -1?
p
Let y(g) = -g**2 + 33*g + 540. Let s be y(-12). Which is smaller: -88/71 or s?
-88/71
Let p be (-1 - (1 + 0)) + 6. Suppose -58 - 6 = p*f. Let z = -83601 + 83586. Which is smaller: f or z?
f
Suppose 2*p = 3*p + 3. Let l be 5