 - 1, 29 - 25 = 4*b. Which is smaller: -14/3 or r?
-14/3
Suppose 3*c - 29 - 8 = 5*z, 4*z + 26 = 2*c. Is -7 < c?
True
Let a = 0.7 - -0.3. Let s = -9.35 + 8.46. Let b = a + s. Which is smaller: -2 or b?
-2
Suppose 0 = 19*g - 38 + 152. Is g at least as big as -12?
True
Let y = 0.039 + -27.039. Let f = 28 + y. Is f greater than 6?
False
Let h = -45 - -48. Suppose -4*d + 4*x + 50 = 2, d + h*x = 0. Are 10 and d equal?
False
Let h = 30 - 15. Let j be (-836)/16 - h/20. Is -53 greater than j?
False
Let b be 136/(-85)*395/(-2). Which is greater: b or 314?
b
Let j(r) = r**2 - 5*r - 1. Let n be j(5). Let m be (-8591)/1331 + (1 - -5). Which is smaller: n or m?
n
Let o(r) = 24*r + 7. Let p(k) = -k**2 - 7*k + 6. Let x be p(-7). Let a be o(x). Let n = 1059/7 - a. Is 6 not equal to n?
True
Let y(t) = t**3 - 5*t**2 - t + 7. Let p be y(6). Let k = -25 - -61. Is k at least as big as p?
False
Let b be (-1 - 1) + 1 - -5. Let a be (-2)/(3 - (b + -2)). Suppose -2*u - 2 = -4*o, -2*u + 15 = -3*u - 5*o. Is u > a?
False
Let x = 29 + -31. Let m be 7 + x*(-1)/(-2). Which is greater: m or 9?
9
Let m = -337 + 340. Let z = -1 + 3. Suppose -2 = -z*g + g. Is m greater than or equal to g?
True
Let w be -3 + ((-142)/(-7) - (-24)/(-84)). Suppose 36 = -w*i + 2. Which is smaller: i or 9?
i
Let z = 21 - 19. Let s(t) = t**3 - 5*t + 5. Let w be s(z). Let c = 0 - 0. Which is bigger: c or w?
w
Let l = -453 + 458. Which is bigger: 22 or l?
22
Let j = -266 + 154. Let k = j + 72. Let x be 86/k - (-6 + 4). Which is greater: 1 or x?
1
Suppose -3*b - 117 = 3*u - 114, 2*b + 2 = 5*u. Which is smaller: u or -18/31?
-18/31
Suppose 0 = -5*a - 0*d - 3*d + 138, a - 2*d = 25. Let z = -35 + a. Is z <= -10?
False
Let q(a) = -2*a - 3 - 4*a**2 + 0*a + 4*a + 5*a**2. Let j be q(2). Is 5 < j?
False
Let m(a) = a**3 - 3*a**2 - 4*a. Let z be m(3). Let d be (3/(-102))/(9/z). Are 1 and d nonequal?
True
Let n be (-48)/10*(261/(-27) - -8). Which is greater: n or -41?
n
Let t = 3.34 + -0.14. Let i = 5 - 2. Let p = i - t. Which is smaller: 0 or p?
p
Let j = -1.37 - -0.37. Let v = 6 + j. Let n = v - 4. Which is bigger: 0 or n?
n
Suppose 4*m - 210 = 4*b - 218, -4*b - m + 3 = 0. Let n = -8.3 + 8. Let g = n - -0.2. Which is bigger: b or g?
b
Let r be -1 + ((-3)/(-12))/((-1)/(-1)). Which is bigger: r or -0.3?
-0.3
Let n = 14 + -14.2. Let o = 0.16 - 0.08. Is n bigger than o?
False
Let c = 2.512 - -0.188. Is c at least as big as 4/5?
True
Let t = 6391/92249 - 1/3181. Let o be (-2)/(-3)*6/4. Is o >= t?
True
Let q be (-1)/((-6)/(-5) + -1). Let u(b) = b**2 + 10*b + 12. Let t be -3 + -1 - -2 - 6. Let h be u(t). Which is greater: q or h?
h
Suppose 4*k + 1 = -3. Let i be ((2/(-1))/(-144))/(51/68). Let l = -17/54 - i. Which is bigger: l or k?
l
Let h(s) = s**2 - 4*s - 7. Let p = -11 + 16. Let k be h(p). Let c be 3*((-5)/k - 2). Is 0.1 < c?
True
Let c be ((-30)/4)/5*-8. Let a be ((7 - 0) + 2)/(-1). Let x = a - -21. Is c greater than or equal to x?
True
Suppose 3*r - 23*z - 14 = -24*z, -14 = -2*r - 3*z. Is r bigger than 8?
False
Let l = 16 - 12. Let j = l + -1.5. Let b = j + -2. Which is greater: -3 or b?
b
Let k(c) = -c**3 + c**2 + 5*c - 3. Let l be 5 + -8 - (-12)/2. Let u be k(l). Let v be (-1 - u) + 0 - 2. Is v != 9/5?
True
Let w be 87/12 - 2/8. Let j = 23/16 + -101/48. Is w at most as big as j?
False
Let f be -20 + (36/16 - (-4)/(-16)). Suppose -8*v - 90 = -3*v. Is v less than or equal to f?
True
Let k be (-5)/(-6) + (-741)/(-90). Which is bigger: 10 or k?
10
Let j = 2.8 - -1.01. Let t = j - -0.19. Is 0.1 < t?
True
Let f be -2 - (4 - (2 - -7)). Suppose 2*b + 48 - 11 = -5*y, -33 = 3*b + f*y. Are b and -9/2 nonequal?
True
Suppose 0 = -3*r + 5*r - 4. Suppose a + 7 = -3*t, 4*t + r*a = 4*a - 16. Let k be 52/6 + (-1)/t. Does k = 10?
False
Let d = 3367/946 + -9/86. Which is greater: 3 or d?
d
Let g = -28 - -28.09. Let r = g - 0.129. Is -2/7 less than r?
True
Let l be (-4 + 1)/(-1) - (12 + -11). Let u be (-52 - -2)*l/2. Is u != -50?
False
Suppose -2*h - 82 = -2*b, -h = 2*b - 4*b + 44. Let d = 39 + h. Is d smaller than 6?
True
Suppose -c - 4 = -5*j - 3390, -5*j = -3*c + 3378. Is -678 less than or equal to j?
True
Let o(l) = l**3 - 11*l**2 + 11*l - 8. Let n be (-520)/24 + (-1)/3. Let c = 32 + n. Let z be o(c). Are z and 0 non-equal?
True
Let m = 2.13 + -0.13. Let o = 1.9 - m. Is 13 at least as big as o?
True
Let f be ((-4)/8)/1*516. Let x = 121 + f. Is x bigger than -137?
False
Suppose -176 = -2*o - 23*k + 21*k, 274 = 3*o + 5*k. Which is bigger: o or 82?
o
Let y = 18 - 16. Suppose -3*d - 12 = -5*t + 34, 0 = -y*d - 3*t - 37. Which is smaller: -16 or d?
d
Let j = -22 - -54. Suppose 5*t = -2*r + j, r - 18 = -3*t + 1. Are t and 7 unequal?
True
Let w = 0.01 - 0.14. Let t = -0.03 - w. Let f = 1.23 - 0.23. Which is bigger: t or f?
f
Let a = 2862 - 2364. Which is bigger: 497 or a?
a
Let z = -311996/17 + 18347. Is z less than -6?
False
Let m(k) = -k**2 - 3*k + 10. Let p be m(-8). Let r = p - -28. Let t = 398/3 - 134. Is r bigger than t?
False
Let h = 50 - 83. Suppose -26*r + 296 - 942 - 212 = 0. Is h <= r?
True
Let t = -101 + 111. Suppose t = -2*z - 2*h - 2, -18 = -z + 5*h. Is z equal to -30/19?
False
Let m = 51423/560 - 459/5. Is 0 at least as big as m?
False
Suppose 6*s = 2*s + 32. Suppose 6*x = s*x + 5*f + 106, 2*x = 5*f - 66. Which is bigger: -42 or x?
-42
Let t = -39733/8 + 4960. Is -7 less than t?
True
Suppose q + 2 = z, 4*z + 15 - 41 = -5*q. Suppose -2*u + z = 34. Let r = 17 + u. Which is smaller: 1/2 or r?
1/2
Let h = 14.19 + -14. Let u = h - 0.29. Is u at most 9/4?
True
Let m = -12 + 6. Let l = m + 5.6. Which is smaller: -8 or l?
-8
Suppose -4*g + t - 10 = 3*t, -3*t = 4*g + 15. Let q = 69 + -209/3. Let c = 1/3 + q. Is c <= g?
True
Suppose -d + 2*d + 4 = 0. Let z = 2/13 - 1369/26. Let i = 52 + z. Which is smaller: i or d?
d
Suppose 67*m + 108 = 58*m. Let c = -10 + 1. Are m and c unequal?
True
Let o = -13239/56 - -1031/7. Let i be (-267)/6*(-2)/(-1). Let s = o - i. Which is bigger: s or -1?
s
Suppose -26*g = -4*g - 66. Let k = 15/77 + 1/11. Is g >= k?
True
Let f be (-2)/(390/(-40) + (-2 - -4)). Which is greater: f or 1?
1
Suppose -2 + 7 = 5*g. Let j be 1460/(-500) - (2 - 5). Which is smaller: g or j?
j
Let l be ((-5)/140*-7)/((-2)/(-3748)). Which is bigger: 470 or l?
470
Suppose 39*d + 52 = 442. Is 7 < d?
True
Let w(t) = -t + 6. Let n be w(7). Let d be (-4)/(-10) + (-162)/30 - -3. Let b be d/(-27)*n/(-2). Are -1 and b equal?
False
Let a be (-15)/(-3) + (-1 - 2). Suppose -a*x = -x. Which is smaller: x or -4?
-4
Let x = -0.17 + 0.07. Suppose s - 6*s = -10. Suppose 4*z - s = 2. Do z and x have the same value?
False
Let k(m) = -26*m - 10. Let n be k(-5). Let r = 597/5 - n. Does r = -1?
False
Let a = 459 + -457. Let n = -0.4 - -6.4. Is a > n?
False
Let v be (-1992)/30*(0 + -5). Which is greater: v or 331?
v
Let h = -159 + 157. Which is bigger: -2/23 or h?
-2/23
Suppose 1886 = 9*j - 706. Which is smaller: j or 287?
287
Let r = 18 + -271/15. Let o = -117 + 41. Let h = -77 - o. Which is smaller: h or r?
h
Let m = -21 + -37. Let x = -60 - m. Let g = -6.3 + -0.7. Which is smaller: g or x?
g
Suppose -3*x - 16 - 18 = 5*v, -5*x + 10 = -5*v. Suppose -3*p - 7 = 2*c, 4*c = 4*p + p - 3. Let s be 2*1 + p + -2. Is s < x?
False
Let l = -58 + 59. Are 28 and l unequal?
True
Let b = 98 + -135. Let s = 37.06 + b. Which is smaller: s or 6?
s
Let z = 722 + 120. Let f = 10952/13 - z. Let t = f - 43/65. Is t < -1?
False
Let s = 250 + -249. Let p = -38 + 53. Which is smaller: p or s?
s
Let z = -6 + 12. Let k = -80.3 + 86. Let f = z - k. Is f < -2/15?
False
Let b be ((-8)/3)/(8/(-12)). Suppose -b*t + 12 + 4 = 0. Suppose -14 = 2*w - 0*w + t*h, -4*h - 16 = 0. Is w less than 2?
True
Suppose -3*x - 8 = -p - 11, 3*x - 18 = -4*p. Is 4 at most p?
False
Let j = 426 - 398. Is -1/4 <= j?
True
Suppose 21 = 12*i - 9*i. Suppose -39 + 7 = -4*r. Which is smaller: r or i?
i
Let w = -4549/3030 - -2/1515. Is w not equal to -2/131?
True
Suppose 3194 = 13*l - 1057. Is l greater than or equal to 327?
True
Let l = 2547 - 2546. Do l and 9/86 have different values?
True
Suppose 0 = b + 3*b. Suppose 4*g = 4*l + 5*g + 4, 5*l - 6 = -4*g. Which is greater: b or l?
b
Let g be (-54)/25*((14 - 3) + -9). Which is bigger: g or -4?
-4
Let z be 3/(-12)*1/(-21). Let d = 17/252 - z. Is 0 at most as bi