Suppose 66*o = 57*o + x. Is k less than or equal to o?
True
Let n be 19/((-380)/90)*(7 + 1). Suppose u + 32 = -0*u. Does n = u?
False
Let k = 140 + -155. Let z be (-2)/k - (-315)/2700. Which is smaller: -0.098 or z?
-0.098
Let d(z) = -11*z**2 + 4*z + 23. Let y be d(20). Let f = -21592/5 - y. Which is bigger: -22 or f?
f
Let h be (13/((-65)/6))/(2/(-40)). Let o = 24 - h. Suppose 2*l - 265 + 183 = o. Which is bigger: l or 79/2?
l
Let f(g) = -2*g**3 + 24*g**2 + 17*g + 4. Let n be f(12). Suppose -24*v - n = -26*v. Which is greater: v or 105?
105
Suppose 1759*h - 16848 = 1975*h. Is -5/26 greater than or equal to h?
True
Let q = -554 + 856. Let g = 304 - q. Which is bigger: 0.12 or g?
g
Let h(o) = -211*o + 846. Let r be h(4). Which is greater: r or -1416/5?
r
Let w(b) = -38*b + 109. Let f be w(3). Suppose y + 0 = q + 5, 0 = -2*y - 4*q - 2. Let d be (-2)/4 - y/6. Is d greater than f?
True
Let f(a) = -a**2 + a + 4. Let b be f(2). Suppose 26 = -4*s - 4*d - d, -10 = b*s + d. Is -17/6 <= s?
False
Let h(b) = b**3 - 8*b**2 + 3*b - 9. Let i be h(6). Let m be (-1778)/i + 2/(-9). Let o be ((-1)/26)/((-7)/m). Which is greater: 1 or o?
1
Let k = 264 + -184. Let z be (k/(-12) - -5)*-3. Do z and 7 have the same value?
False
Let q = -40.021 - -0.021. Let w = 16 + q. Let h = -24 - w. Which is bigger: -0.035 or h?
h
Let l be 4/(-38) + 576/(-304) + 9 + -6. Let z = 1315 + -802. Let r = z + -3581/7. Is r less than or equal to l?
False
Let x = 11006 - 1111608/101. Do x and 0 have the same value?
False
Suppose 2*p + a + 2*a = -199, -15 = 3*a. Suppose 2208 = 13*q - 37*q. Is p smaller than q?
False
Suppose -4*h + 31*m + 232 = 29*m, -2*m = -h + 61. Which is smaller: h or 54?
54
Suppose -5*j = -193 + 58. Let y(v) = 11*v**3 - 4*v**2 - 8*v - 7. Let o be y(-2). Let q be -6 + o/(-35) + 3. Is q less than or equal to j?
True
Let u be 36/(-60)*105/9 - 2/2. Which is smaller: u or -16/3?
u
Let v = -111 + 119. Let u be (-2)/3 + 3/(-1 - v). Let y be (-28)/(-3)*(-3)/u. Is y greater than or equal to -1?
True
Let l = -9540 + 9539. Which is greater: l or 6506?
6506
Let c be (-2)/16 - (-330)/(-48). Let p(q) = -2*q + 62. Let a be p(c). Which is bigger: 75 or a?
a
Let f = 769 + -339. Suppose -141*h + 131*h - f = 0. Suppose 5*c = -2*p - 229, 0 = -2*c + 3*p - 5*p - 94. Is c > h?
False
Let k(o) = -21*o - 27 - 15 - 17. Let u be k(-5). Which is greater: 48 or u?
48
Suppose 10 = 5*o + 3*f, 102*o - 5 = 97*o - 2*f. Let j = -4442 + 1554699/350. Does j = o?
False
Suppose 56*y = -57*y - 106333. Do y and -941 have the same value?
True
Let a = -0.051 - -30.051. Let o = -38 + a. Let i be 2/4*10/(-15). Which is smaller: o or i?
o
Let w = -126 - -136. Suppose 32*y - 16 = 28*y, -5*y - 13 = -3*o. Which is smaller: w or o?
w
Suppose -11*s - 190 = 3143. Let p = s + 302. Which is smaller: 1/20 or p?
p
Let k = -136 + 50. Let u = k + 40. Suppose 2*w + 102 = -2*v, w = -5*v - 5 - 230. Is v at least u?
True
Let l = 62 + -184/3. Let q(c) = 144*c - 26. Let p be q(4). Suppose -388 - p = 14*f. Which is greater: l or f?
l
Let d = 0.01391 + 6.98609. Are 294 and d nonequal?
True
Let x be (-1416)/108 + 13 - (0 + -3)/9. Is x bigger than -81/26?
True
Let a = -135/2 - -65. Let t = -2854 + 2858. Is a > t?
False
Suppose 357*c + 126*c - 6468336 = 0. Is c at most 13392?
True
Suppose -258*u + 4 = -257*u. Let h be ((-16)/42)/(u + (-892)/222). Which is smaller: h or 22?
h
Let y = 2108 + -1393. Is 718 not equal to y?
True
Let g = 574.8 - 528. Let t = -21.8 + g. Which is smaller: -1/13 or t?
-1/13
Let d = 1723 - 1611. Which is smaller: 785/7 or d?
d
Let v(t) = 12*t - 70. Let g be v(15). Suppose 7*a - g = 142. Is a < 37?
True
Let p be 8/(-18) + (-1128)/(-108). Let n be p/14 - 1 - 3. Is -3 greater than n?
True
Let n = 10268 + -10268. Is n at least -11/325?
True
Let m = -2673983/26770 + -34/2677. Which is greater: -101 or m?
m
Let b = -2146.23 + 2124. Let m = b - -0.23. Which is greater: 5 or m?
5
Let s be (-4 + 5/20*-154)*2. Let f be (-13200)/154 + -2*4/28. Is f != s?
True
Suppose 35 = n - 11. Let t(h) = -h**3 - 58*h**2 - 65*h - 487. Let k be t(-57). Let x = n + k. Is 11 <= x?
True
Let f = 549 - 294. Let h = -159 + f. Suppose -h = -4*a + 56. Which is bigger: 37 or a?
a
Let l = 18537 - 18536.9457. Is l at most 0?
False
Suppose r - 122 - 61 = -5*m, 11*r = -4*m + 2319. Which is smaller: 212 or r?
212
Let w = 125 + -101. Let l = -24.1 + w. Let m = 605/4 - 152. Which is greater: l or m?
l
Let i = 13.95 + -14. Let t = 149 + -147.82. Let x = -1.18 + t. Which is smaller: x or i?
i
Let a be (-1380)/(-575)*225/(-6). Is a equal to -1?
False
Let g(b) = -76*b**3 + b**2 - 15*b - 15. Let h be g(-1). Is 78 equal to h?
False
Let r = -47 - -62. Let v = -16 + r. Let p = -23.9 + 2.9. Which is smaller: p or v?
p
Let m be 1/(-2)*(150/275)/((-1)/11). Suppose r = 1 + 2. Do r and m have the same value?
True
Let i = 77 + -62. Let f be 921/i*(0 - 1) - 2. Does -63 = f?
False
Let y(g) = 10*g**2 - 8*g**2 - 24 - 10*g - 5*g. Let z be y(8). Which is bigger: -1 or z?
-1
Let a(n) = 1570*n + 12551. Let l be a(-8). Let u = -1554 + 6175/4. Which is greater: u or l?
l
Let w be 6864/(-20)*(-3 - 7). Let c = w - 48021/14. Does c = 1?
False
Let f = -28491 + 370749/13. Is 27 at least as big as f?
False
Suppose 2*l + 47 = 3*m - 29, -2*l - 98 = -4*m. Suppose -5*i - m = 33. Which is greater: -10 or i?
-10
Let z(c) = c**2 + 3*c - 4. Let m be z(-4). Let j = -130015/14 - -9271. Let v = 16 + j. Is v != m?
True
Suppose -49 = -9*r + 23. Suppose 0 = -9*b - r*b + 2261. Do b and 133 have different values?
False
Let x(w) = -w**2 + 19*w - 19. Let o be x(1). Let b be (-7)/791*2*-1. Is o less than or equal to b?
True
Let z = -965 + 375. Let m = -590.06 - z. Which is smaller: m or 0?
m
Let t be (-3 - 277058/(-92354))*(-27435)/(-12). Let w = t + 1/1514. Is 1 equal to w?
False
Suppose 181*h - 7*h = 9*h - 23430. Are h and -190 unequal?
True
Let q = 18908/697 + -462/17. Let p be (13 - -1)*2/4. Suppose g - p = 5*n, 4*g - 6 - 2 = 0. Is q not equal to n?
True
Suppose -2*d - 276 = -4*o, 3*o = 6*o - 5*d - 207. Let w be (-74)/(-259) - (1 - ((-551)/(-7) + -6)). Is o < w?
True
Suppose 19*c - 24*c = -330. Let g be ((-11)/(c/24))/(4 - 2). Is g smaller than -12/17?
True
Suppose -313 = 9*c + 236. Let d = 67 + c. Is 10 at most d?
False
Let l = -236 - -1327. Let o = l + -1100. Suppose -22 = 5*n + v, 31 = -10*n + 5*n + 2*v. Which is bigger: n or o?
n
Let z = -1332.67 + 1257.7. Let m = z + 75. Is m at least as big as 1?
False
Suppose 5 = -4*c + 3*w, 2*c + 12 = 4*w + 2. Let g be 1/c + -21 + 4. Let t be -7*9*248/1116. Is t greater than g?
True
Let o = -248/3 - -1730/21. Let z be (-18)/(-4 + 3 + 0). Is z not equal to o?
True
Let v = -478871/94278 + 193/38. Which is greater: v or -1?
v
Let g = 0 - 1. Let b be ((-84)/(-96))/(28/(-2240)). Is b <= g?
True
Let l = 51744 - 237867170/4597. Is -1 != l?
True
Suppose -12 = -4*k + 64. Let f(g) = -7*g**3 - 26*g**2 + 6*g**3 + 6*g + k*g**2. Let s be f(-8). Is 18 bigger than s?
True
Suppose 2*x - 7*x + 2*v = 118, 2*x + 36 = -2*v. Let j = 49 - 74. Which is bigger: j or x?
x
Suppose 2 = -3*t - 1. Let m = 30513 + -4546441/149. Which is smaller: m or t?
t
Let a = -4958 - -4914. Does -48 = a?
False
Let p = -4136 + 4136.03. Is p smaller than -30/7?
False
Let k = -10480 - -2221773/212. Is k equal to -1?
False
Suppose -1611 = 8*o + 485. Let x = -257 - o. Which is greater: 38/9 or x?
x
Let j(i) = i**3 + 14*i**2 + 13*i + 7. Let g be j(-13). Suppose g*x + 4*m + 6 = 2*x, -x + 5*m - 7 = 0. Let b be 40/6 - x/6. Is 6 greater than or equal to b?
False
Let s be (-10)/(-50) + (-1995)/(-126). Is s != -1?
True
Suppose -36 = 4*v - l, 3*l - 4*l = 5*v + 45. Let y be (-1)/((-1)/2*(-8 - v)). Suppose -f = f + y. Which is smaller: f or -9/11?
f
Let r(w) = 28*w + 306. Let p be r(8). Which is bigger: p or 524?
p
Let p = 1 - 8. Let l be -5 - ((-12)/(-42) + (-173)/(-7)). Let h be (0/1)/1 - (33 + l). Is p bigger than h?
False
Let z(t) = -t - 3*t + 6*t + 64 - 18. Let o be z(-17). Suppose w + 0*w + o = -4*f, 3*w = 5*f + 32. Which is smaller: -11/4 or f?
f
Let q = 125 + -107. Let o be q/((-2)/3 + (-2030)/60). Which is smaller: -2 or o?
-2
Let p be ((-80)/(-36))/(50/(-325)). Is p at least -15?
True
Let w = 3022/9 - 336. Let s be (-1 - 2) + -4 + 6. Is w smaller than s?
False
Let a be (-6)/1 + 3 + 7 + -3 + 1. Which is 