s m smaller than 5?
False
Suppose -7*j + 372 + 237 = 0. Suppose 2*d = -3*t - 269, -99 = t - 0*t - 4*d. Let f = j + t. Is -17/6 greater than f?
True
Let p be (13/(-15) - (-10 - (-572)/65))/2395. Which is smaller: -0.1 or p?
-0.1
Suppose 12*a = 3*a + 54. Let n(b) = 3*b + 8 - 6 + 0 + a. Let f be n(-5). Which is greater: f or -8?
f
Let l = 1253/4 - 21379/68. Which is greater: l or -2?
l
Let q = 6 + -4. Suppose 0 = 2*b - 0 - q. Let k(a) = a**3 + 9*a**2 - 21*a + 13. Let i be k(-11). Is i greater than b?
True
Suppose -3*z + 6 = 0, 79 = 4*m - 3*z - 23. Suppose -m*b - 342 = -28*b. Which is smaller: 343 or b?
b
Suppose b - 2*i + 8 = 0, -i + 6 = -4*b + 2. Is b equal to -4/11?
False
Let a = 1.69 - 1.54. Let v(c) = c**3 - 7*c**2 + 4*c + 12. Let s be v(6). Suppose s = -2*p - 0*p - 4. Which is bigger: p or a?
a
Let s(o) = 2*o**2 - 30*o + 53. Let b be s(2). Which is greater: b or -5/1971?
b
Suppose -14*l = -19*l + 10. Suppose 3*d - 4*y = 30, l*d + 3*d = -y + 50. Which is smaller: d or 43/5?
43/5
Let v(k) = -k**3 - 40*k**2 + 83*k - 20. Let t be v(-42). Let c be 5*1 - ((t - 7) + -10). Which is bigger: c or -160?
c
Suppose -9062*x + 9054*x + 27920 = 0. Which is bigger: x or -2/3?
x
Let v(c) = 3*c - 2. Let s(p) be the first derivative of -2*p**2 + p - 33. Let d(i) = 4*s(i) + 5*v(i). Let x be d(-7). Which is smaller: -31 or x?
-31
Let g be 0/17*(1 + 0 - 2). Suppose g*b + b = -3. Let l be -4*(16 - b - -4). Is l not equal to -92?
False
Let q = 1 + 10. Let w = 9789/5 - 107079/55. Which is smaller: w or q?
w
Let c = 5.57 + -0.24. Which is greater: c or -3?
c
Let o = 196 + -120. Let r = o - 15. Let m = r - 55. Is m at least 2?
True
Suppose 22*z - 24*z + 68 = 2*t, -3*t - 5*z + 98 = 0. Is 27 greater than or equal to t?
False
Let b be 143/11 - (2 + 1). Let h be (4/(-6))/(b/270*7). Suppose -2*g - 4*y - 26 = -8*y, y - 14 = 3*g. Is g at most as big as h?
True
Let a be 177*(-8 - 132/(-18))/2. Are a and -7/2 non-equal?
True
Let f = -1595/2 + 62255/78. Which is smaller: f or 1?
f
Suppose -3*z + 558 = -3*y, -2*z - y + 6*y = -375. Let a = z - 159. Is 29 equal to a?
False
Let v = -12225 + 12227. Which is greater: v or 3371?
3371
Let f(t) = t**2 + 84*t - 1266. Let i be f(15). Which is smaller: 211 or i?
211
Let b = -3/307 - 292/1535. Let a be 0/((-3)/(3/1)). Is b >= a?
False
Suppose 17*k = -k + 2333 + 2113. Which is smaller: 246 or k?
246
Suppose 3*b + 2 + 4 = 0, 0 = -4*r + 3*b + 2. Let l be ((-18)/248)/(25/100). Which is smaller: r or l?
r
Let u = -146136 + 811493210/5553. Which is smaller: -2 or u?
-2
Let i = -1601 - -2241. Suppose -6*x - i = 26*x. Which is bigger: -13 or x?
-13
Let j be (-110)/(16 + -5) - 10460/(-1045). Which is smaller: j or 1?
j
Let r be (-107152)/(-333) + (-10)/(-45). Does r = -4?
False
Let k = -5 - -4. Let q be 520/1296 - (14/(-21))/(16/(-12)). Which is smaller: k or q?
k
Suppose -27*c + 11*c = 10*c - 7566. Which is smaller: 290 or c?
290
Let u(v) = -5*v + 10. Suppose 0 = -2*w - 13 + 17. Let t be u(w). Let f be 2 - ((-60)/29)/(-1). Do t and f have different values?
True
Let p = 196 - 184. Suppose -2 = 10*y - p. Suppose 9 = -m + 10. Is y <= m?
True
Let k = -1734 - -1729. Which is greater: -23 or k?
k
Let q be (-1005)/(-24)*(-1820)/1750. Which is bigger: -43 or q?
-43
Let g be -93 + (7 - 14/3*(-9 + 12)). Let x = -17/28 + -2797/28. Are g and x unequal?
True
Let z be (-2*4/8)/1. Let o be (-4)/48*z/(-1). Suppose 0 = -2*c - 5*r + 8, r - 6 = c - 3. Which is smaller: o or c?
c
Let a = -13/29 - -173/580. Let z(h) = -2*h**2 + 20*h + 23. Let b be ((-128)/256)/((-1)/22). Let k be z(b). Which is greater: a or k?
k
Let d(k) = 65*k - 92. Let t be d(2). Is 8 less than t?
True
Let w be (-4)/(-58) - (4346/783 + -6). Is 0.1 not equal to w?
True
Suppose 5*f - 430 = 3*f. Suppose -f = 4*m + m. Let o = 1927 + -1927. Which is greater: m or o?
o
Suppose 9871 - 903 = -38*v. Let d be (9/6)/((-57)/8968). Does v = d?
True
Let t be 17/(-2)*(0 + 2). Let u(z) = 2*z**3 + 34*z**2 - 37*z - 1. Let r be u(-18). Let k = t + r. Which is bigger: k or 1/12?
1/12
Suppose -4*t - 71 = -321*p + 326*p, -p = 4*t + 43. Let j = 0 + 0. Which is bigger: p or j?
j
Suppose 6543*t - 6522*t = 21. Does -3/31 = t?
False
Let b be ((-1)/(-3))/(7/(-126)). Let z be (b/4 - -1)*2. Which is bigger: -7 or z?
z
Suppose w - 47 = -5*j + 3, 2*j - 98 = -3*w. Let r = -1224 + 1228. Let n be (r/w)/(66/(-99)). Which is bigger: -2/3 or n?
n
Let j(x) = -x + 27. Let l be 30 + (-2 + -14)/4 + 1. Let f be j(l). Which is greater: f or -22?
f
Let i = 160 + -91. Let u be (474/i)/2 + -3. Suppose 5*a = -5*y - 10, -76*y + 81*y + 8 = -3*a. Which is bigger: y or u?
u
Let g = 6 - -15. Suppose 0 = g*q - 16*q - 15. Suppose 4*u - 5*n + 61 = 0, q*n + 1 = 4*n. Is u at least -63/5?
False
Let i be 1/(-2)*24/760*-10. Which is smaller: i or 0?
0
Let c = 5373 - 5369. Is c at least as big as 24/7?
True
Suppose 0 = 3*c + 3, c = 3*f - 213 - 193. Let b = f + -134. Let l be ((-2)/(-8))/((-33)/(-12)). Which is bigger: b or l?
b
Let z(f) = -124*f - 14. Let j be z(2). Let c = j + 236. Which is smaller: -49/2 or c?
c
Let d be ((-486)/42 - (-11 - 0)) + (-2690)/(-4732). Let p = -47072704501/1352 - -34817086. Let g = d - p. Is g greater than 4?
False
Let h(f) = f**3 + 17*f**2 + f + 12. Let a be h(-17). Let s be (-37144)/(-266) + ((-80)/28)/a. Let q = 140 - s. Is q bigger than 0?
False
Let q = 3178/45 + -632/9. Which is smaller: 973 or q?
q
Let h be (-14)/(-4) - (-1 + 5). Let c = -4/1044175 + 90634794/105461675. Let d = 6/101 - c. Which is smaller: h or d?
d
Suppose 0 = -7*u + 896 - 140. Suppose 3*m + 123 = 3*v - 201, m = -1. Is v not equal to u?
True
Let r be (-36267)/(-14) - (-40)/(-16). Is r < 2587?
False
Let n be 35/(-5) + (4 - (-2 + (-851)/(-9))). Which is smaller: -95 or n?
n
Let y = 20556 - 28135. Is y > -7579?
False
Let s be (0 - -1)*-4*(-13)/(-52). Suppose -4*t = t - 260. Let g be (-1)/(-5) + t/(-20). Which is bigger: g or s?
s
Let m be (40/(-5))/(-4) + (-22)/(-10). Suppose 2*o - 291 = -o. Let z = -96 + o. Is z bigger than m?
False
Suppose 52014 + 46206 + 32290 = -310*r. Is -421 less than r?
False
Suppose 2101*d - 2115*d = -4648. Is 328 bigger than d?
False
Let b = 705.4 + -190.4. Which is smaller: b or 1?
1
Let c be (170/(-12))/(26/(-442)). Let v = -241 + c. Is v less than -1/67?
True
Suppose 6080 = 44*v + 1768. Is v > 2?
True
Let a(j) = -4*j + 39. Let i = -84 + 94. Let u be a(i). Which is bigger: u or -28/15?
u
Let k = -0.0399 - 342.7601. Let f = 343 + k. Is f <= -42?
False
Suppose -37*r = -98 + 53 + 674. Which is smaller: -158 or r?
-158
Let a be 2428*(-5)/20*2. Do a and -1217 have different values?
True
Let u be 4*((-45)/(-30) - 456/351). Is u at most 0?
False
Let b be (-244)/5030*-4 - 5/25. Is 0 > b?
True
Suppose -9 = -2*f - 3*g - 1, 5*g - 18 = -4*f. Let x = 38 - -34. Suppose p + x = 9*p. Which is smaller: p or f?
f
Let v = -5001 - -4968. Let j(r) = -4*r - 17. Let w be j(4). Do w and v have the same value?
True
Let i = 4.353 + -6.353. Which is smaller: 0.083 or i?
i
Let f = 256 - 169. Let k = 34 - f. Let a = 27 + k. Is a less than -1/2?
True
Let t = -38 - -46. Let s be ((-368)/t)/(-8 + 6). Which is bigger: 9 or s?
s
Let p = -49 + 26. Let w be 3410/22*1/(-10)*-6. Suppose 3*r - w = 4*b, -4*r - 124 = 6*b - b. Is p at most as big as b?
False
Let g be (2 - (-788)/(-384))/(116/87). Which is smaller: g or 0?
g
Let j(i) = 2*i**3 - 19*i**2 - 91*i + 1. Let r be j(13). Which is smaller: r or 8/1653?
8/1653
Suppose -6*q - 2124 = -2*w, -w - 41 = -5*q - 1805. Let p be (-12)/((-16)/4) - 355. Which is greater: p or q?
q
Let o = -2189.9 + 2190. Is o equal to -13.74?
False
Let f = 402 + -385. Let g(q) = q**3 - 15*q**2 - 32*q - 33. Let a be g(f). Is a equal to 2/83?
False
Let l = 9.267 + -9.167. Let b(y) = 9*y**3 + 2*y**2 + 4*y + 2. Let v be b(-2). Which is smaller: v or l?
v
Let z = 8 + -15. Let i = 195 + -281. Let t = i - -86. Is z at most t?
True
Let v = 16.06 + -0.47. Let j = 15 - v. Let a = j - -0.57. Which is smaller: -0.7 or a?
-0.7
Let g = 12564 - 590484/47. Let c = 1720/423 - g. Which is smaller: 5 or c?
c
Suppose -1068 = -3*g - z, 4*g = -13*z + 11*z + 1426. Let h = g + -340. Which is smaller: 0.17 or h?
0.17
Let x = 5.34 - -17.56. Let t = x + -2.9. Let v = t - 21. Which is greater: v or 7?
7
Let g(u) = -u**3 + 11*u**2 - 8*u + 10. Let y be g(10). Let o be (40