er than 156?
True
Let y = -320 + 321. Is y equal to -61?
False
Let f = -759.9 - -760. Are 3/49 and f equal?
False
Let f = 0.05 + -32.05. Let t = f + 31.95. Which is greater: -1 or t?
t
Suppose -18 = -40*i + 41*i. Let k(h) = -h**3 - 19*h**2 - 19*h - 19. Let a be k(i). Which is bigger: a or 0.8?
0.8
Let c(u) = u**3 + 11*u**2 + 19*u + 10. Let l be c(-9). Which is smaller: l or 1/392?
1/392
Let w = -150/7 - -1793/84. Which is bigger: 0.003 or w?
0.003
Suppose -4*b = -12*b - 120. Let f be 1*3*10/b. Is -4 at least f?
False
Suppose 2*v = 3*h - 155, 5*h + 6 + 9 = 0. Let t = v - -97. Does t = 14?
False
Suppose 0 = -7*g + 3*g. Let n = g - 1. Let r be 3/(-2)*24/(-126). Is n not equal to r?
True
Let a = 20 + -28. Let k = 19 + a. Which is bigger: 2 or k?
k
Let p = -31754/678385 + -2/7981. Which is smaller: p or 0?
p
Suppose 5*j + 0*x = -x - 62, 3*j + 3*x = -42. Let z = j + 16. Suppose -4*i = -4*t + 24, z*i = -2*t - 3*t - 69. Is i equal to -10?
False
Let m = -5564 - -139133/25. Which is bigger: 2 or m?
2
Suppose 3*q - 21 + 108 = 0. Let x = q + 86/3. Is x < 0?
True
Let c = -453 - -452.91. Let r = -42 - -41.41. Let z = c - r. Which is smaller: 0 or z?
0
Let l be ((5 + -1)/(-4))/(2/(-6)). Let q = l - 4. Which is bigger: q or -15/8?
q
Let x(k) = k - 1. Let l(d) = -d + 21. Let z(b) = l(b) + 5*x(b). Let m(i) = -2*i - 77. Let u be m(-35). Let j be z(u). Do j and -11 have the same value?
False
Let d = -1.9526 - 0.0474. Is 15/14 at least d?
True
Let v(k) = -2*k**2 + 8*k**2 + 0*k**3 + 3 - k**3 + 10*k - 7*k**2. Let b be v(-4). Is b > 19/2?
True
Let u = -1283 - -1441. Is u > 154?
True
Let b(k) = 3*k - 11. Let d(q) = -4*q - 8. Let w be d(-3). Suppose -w*x - x = -20. Let t be b(x). Which is smaller: t or -0.2?
-0.2
Let i = -300 - -304. Is 2/293 < i?
True
Suppose -296*x + 9584 = -312*x. Are -597 and x equal?
False
Let c be (4/(-3))/(-2) - -3*38/(-171). Let h be (72/(-25))/3 + 1. Are c and h equal?
False
Let u = 979 + -979. Is u < 3/1051?
True
Let f be (-1426)/(-460) + -1*3. Which is smaller: 0 or f?
0
Let p = 19 + -39. Let r = 21 + p. Do r and -5/6 have the same value?
False
Let d = -455 + 613. Are 157 and d non-equal?
True
Let o be (-46)/(-12) + -2 - 19/(-114). Let k be 3/(-6) - o*3/(-4). Is k at least as big as 19?
False
Let l be (0 - (-1)/18)/(2/51). Is l not equal to 0?
True
Let o be (-9588)/8*4/(-6). Let l be (52*862/84)/(6/9). Let k = l - o. Is 0 greater than or equal to k?
False
Suppose -2*p - 4 = 0, -2*r + 14*p = 11*p + 184. Which is smaller: r or -479/5?
-479/5
Let y = 26542.8166 - 26565.9. Let d = y + -0.0166. Let o = d + 23. Is -7/3 greater than or equal to o?
False
Let d(k) = 0 + 19 + k**3 + 30*k + 5 - 4 + 15*k**2. Let w be d(-13). Which is bigger: -33 or w?
w
Let t(h) = 15*h + 265. Let r be t(22). Which is smaller: r or 596?
r
Let u = -263 + 270. Let l = 13 + -6. Is u less than l?
False
Let l(x) = -4*x + 2 - x + 4*x + 4*x**2. Let f be l(-6). Let j = f - 460/3. Which is smaller: j or -2?
-2
Let y be 6/(-4)*20/405. Suppose -4 = -0*d - 4*d. Which is smaller: d or y?
y
Let z(t) = -t**3 + 20*t**2 + 40*t + 64. Let g be z(22). Does g = -35?
False
Let z = -60 + 51. Let f = z + 7. Is f > -3/2?
False
Let b = -5529/4 - -1382. Which is bigger: b or 145?
145
Suppose 35*q = -20*q - 10560. Which is greater: -765/4 or q?
-765/4
Let f = -66 + 56. Let d = 998 + -1007.99. Let w = d - f. Which is smaller: w or 2?
w
Suppose 2*z = -0*z. Let u be (-2 + z + -2)*1. Do -7 and u have different values?
True
Let j be ((-20385)/5508 - (-2)/17)/2. Are j and -3 equal?
False
Let j(z) = -z**2 + 39*z + 37. Let d be j(30). Is 307 less than d?
False
Let s = -604 - -573. Is -5 less than s?
False
Let b = -67 + 63. Let o be 24/((-16)/b) + -4. Does 0 = o?
False
Let t be ((-30)/(-70))/((-3)/(-21)). Suppose 0*s = t*s + 9, 44 = -4*l - 4*s. Which is smaller: 1/3 or l?
l
Suppose 5*i = -2*v + 747 - 168, 0 = -i - 3. Which is greater: v or 298?
298
Let f(g) = -11*g + 47. Let d be f(5). Let b = -5 + 12. Let w = d + b. Which is greater: -8/5 or w?
w
Let d(u) = 2*u + 7. Let x be d(-4). Let o(j) = 6*j + 2. Let k be o(x). Let i be 1*2*7/(-14). Which is smaller: i or k?
k
Suppose 0 = -f - 0 + 1. Let s be (2 + f)/(66/(-40)). Which is bigger: s or -2?
s
Let t = -3 + 7. Suppose 2*i = 3*k - 1, 12 = 2*i - i - t*k. Let m be i - (-1*4 + 1). Which is smaller: m or -4?
m
Let k be (-49)/35 + 2/5. Is k > -5?
True
Let f be (3/2)/(1/(-6)). Let i be 4*1/(-6)*18. Let s = i - f. Is s at least -1?
False
Let b be (1/2)/(12/528). Let w = 20 - -1. Which is bigger: b or w?
b
Let u = -11 - -10.82. Let p = 0.09 + u. Which is greater: p or -1/2?
p
Let y = 48 - 32. Let a be (4 + y/(-5))/(4/30). Which is bigger: a or 36/5?
36/5
Let u = 1539 - 1502. Is u equal to 30?
False
Let i = -27 - -29. Suppose 72 = -o - i*o. Let f be 1 - 5 - (o + 15). Which is smaller: f or 0?
0
Let j be (7 + -1)*9/270*25. Is 35/6 <= j?
False
Let u = -56 + 80. Let x(c) = 2*c**2 + 9*c + 8. Let f be x(-6). Let v = f - u. Which is greater: 5/7 or v?
v
Let o = -3 + 2. Let d = 3607/4 + -1088. Let q = 185 + d. Which is greater: o or q?
o
Let d(p) = p**2 - 2. Let o be d(-1). Is o greater than -7/149?
False
Suppose -30 = -3*f + 66. Let w = -29 + f. Is w smaller than 3?
False
Suppose -61*q = -48*q - 117. Which is smaller: -12 or q?
-12
Let v be -4*2/6 + 30/90. Is v < 10?
True
Let c = 153 + -155. Let r = 2539/3 + -827. Let b = r - 62/3. Is c less than b?
True
Let a = -117 - -117.53. Let i = 23.97 - 24. Let q = a + i. Which is bigger: q or 0.1?
q
Suppose 0 = 2*u - 10, -5*u + 16 = -2*a - 1. Let d be -2*2/(-4) + (2 - a). Which is smaller: 2/63 or d?
d
Let i = -6067 + 6076. Let x(c) = -c**3 - 6*c**2 - c + 7. Let o be x(-6). Which is smaller: i or o?
i
Let z = -24 - -24. Let u(q) = q**2 - 2*q - 3. Let l be u(z). Which is smaller: -14/5 or l?
l
Let f = 0.38 + -3.38. Let w = 838/5 + -167. Is f at most w?
True
Suppose -6 = 2*s, 0*m - 2*m - 46 = -4*s. Is -29 < m?
False
Let f(y) = -y + 5 - 1 + 2*y - 2. Let u be f(-2). Let m be (-21)/70 + 6/10. Which is bigger: u or m?
m
Suppose b + 10 = -b. Let s be (1/3)/(2/18). Suppose 4*a - 4*t = -32, s*t - 16 = a - 0. Is a smaller than b?
False
Let n = -46.65 + 0.65. Let b = 19 + n. Does b = 1?
False
Suppose -5*t = 5*g - 425, -373 = -4*t - 3*g - 33. Suppose -38 = -3*w + t. Suppose 4*o + w = -5*r, 2*r - 2*o = 2 - 4. Which is smaller: r or -6?
-6
Let u = 95 + -99. Let c be 648/16*u/(-6). Is c less than 27?
False
Let o = 2931.8 + -2932. Which is smaller: o or 14?
o
Let j = 1234222/161 - 7666. Are 0 and j nonequal?
True
Let j(p) = -p**2 + 7*p + 10. Let v be j(8). Let b = -25 + 25. Suppose 4*s + 8 = -4*d, -3*s + b*s + 4*d + 22 = 0. Is s >= v?
True
Let p be ((-1)/(-2))/((68/(-8))/17). Is 3/91 less than or equal to p?
False
Suppose 5*q - 4*f - 27 = 0, 6*q + f - 16 = 4*q. Suppose q = i - 1. Let j(d) = 4*d - 15. Let h be j(6). Which is smaller: i or h?
i
Let i(a) = a**2 - a + 1. Let z be i(0). Let r be (-2 + 1 + z)/(-2). Let m(u) = -u**3 + u**2 + u + 2. Let q be m(r). Which is bigger: q or -2?
q
Suppose 0 = 7*x + 196 + 91. Are x and -36 equal?
False
Let s be (-2)/10 + (-93)/(-15). Let f be (33 + -1)*4/120*5. Are s and f equal?
False
Let d = -9.5 - -8.87. Which is smaller: -2 or d?
-2
Let v = 6177/5 + -1235. Is -1/4 greater than or equal to v?
False
Let n = 0.4 + -0.43. Let l = -21.21 + 21. Let k = l - -0.11. Which is bigger: n or k?
n
Let r be (2/10)/(39024/480). Is r at most as big as 0?
False
Let z be (-4)/(-14) - (-220)/(-35). Let r be ((-21)/z - 2)*9. Is 15 less than r?
False
Let t be 2/2*3/6*370. Is 183 at least as big as t?
False
Let j = 136 - 131. Let f be 333/83 - (j + -1). Which is smaller: 0 or f?
0
Let m = 59/74 + 4/111. Let i = -1963 - -1965. Which is bigger: i or m?
i
Let m be ((-3)/9)/((-3897)/(-27)). Let i = m + -2593/2165. Which is bigger: -0.1 or i?
-0.1
Let x = 0.05 + 1.15. Let s = 14.8 + x. Let n = 14 - s. Is 0.3 equal to n?
False
Let a be ((-2)/(-6))/(1/15). Suppose a*m - 3 = 3*o - 6, -3*m - 17 = 2*o. Let y = m - -2. Is -2/7 != y?
True
Let w = 113 + -112. Is w equal to -6/37?
False
Let g(y) = 2*y**2 + y - 1. Let b(o) = o**2 + 9*o + 9. Let k be b(-8). Let p be g(k). Let r be 1/(1 - (-8)/(-14)). Which is greater: r or p?
r
Suppose -3*u + 1 + 5 = 0. Suppose -u*t = -w, 0*w - 4*w + 5*t + 6 = 0. Let j be (w/(-15))/((-24)/60). Which is grea