5*t - 10. Let a(c) = 6*k(c) - 11*q(c). Let n be a(-3). Is 75 < n?
True
Let h(i) = -i**2 + 43*i - 443. Let r be h(26). Is -49 equal to r?
False
Let w = -40.07 + 40. Let r = 2.13 - w. Let u = -0.4 - r. Is 2 at least as big as u?
True
Let i be (138850/42)/25 + 3/(-9)*5. Is 132 > i?
True
Suppose 123*i = 116*i - 182. Let r be 3480/(-2730) + 4/i. Which is smaller: -1 or r?
r
Let n(s) = s**3 - 2*s**2 - s + 1. Let f be n(1). Let g be (6/21)/(f/(-7)). Let r = -0.2 + 6.2. Which is smaller: g or r?
g
Let r be 5/(-10) + (-22)/(-4). Let c = 40 - r. Suppose 4 = w + c. Which is smaller: w or -2?
w
Let y(p) = -2 + 1 - 8 + 3*p**2 + 6*p - 2*p**2. Let c be y(-8). Let n = c - 4. Which is bigger: n or 0.01?
n
Let t(x) = -6*x + 5. Let p be (30/45)/(1/9). Let i be t(p). Which is smaller: 2 or i?
i
Suppose -190*k + 177*k = -494. Suppose -k*j + 49*j + 297 = 0. Which is greater: -28 or j?
j
Let x = 6078 - 6035. Which is bigger: 15 or x?
x
Suppose 19 = -4*n - 21. Suppose 71 = -3*b - i, 0 = 3*b - i + 4371 - 4322. Which is greater: n or b?
n
Let d = -4383 - -4383.21. Which is smaller: d or 69?
d
Let i(t) = -t**3 + 5*t**2 + 57*t - 243. Let u be i(4). Which is smaller: u or -8535?
-8535
Let f = -2.16 - -2.8. Let t(z) = 2300*z - 6898. Let x be t(3). Is f greater than x?
False
Let d(j) = j**3 - j**2 - 6. Let m be (3 - (-3 + 4))/(4/(-10)). Let i be d(m). Let h be 3*1/i*(-4)/(-3). Which is smaller: h or -1?
-1
Suppose 2*g = 5*m + 31, -2*m + 6*m + 20 = 0. Suppose -3*s + 136 = 3*x + 2*s, -15 = -g*s. Let t = -41 + x. Is t smaller than -4?
False
Let g(r) = -r**2 - 39*r + 2537. Let b be g(-74). Is -5 less than b?
False
Let p = 111377/3 + -37652. Is p smaller than -2/7?
True
Let z = -13.497 - -10.497. Let o = -4 + 13. Let y = o - 9.6. Which is smaller: y or z?
z
Suppose 46*g - 15 = 41*g. Suppose 0 = r + 1 - g. Suppose -r*p = -6*p - 112. Which is bigger: p or -27?
-27
Let f = -2601.6 + 2598.6. Which is smaller: f or -6550?
-6550
Let f be (-14 + 27)/((-2)/22). Let i = f - -136. Suppose -5*r + 2 - 52 = 0. Which is smaller: r or i?
r
Let v be -4*10/((-160)/29) + -7. Which is bigger: v or -1/42?
v
Let m be -8*(1155/(-88) - -13). Which is greater: 2/54233 or m?
m
Let r = 1.8 + -1.788. Let i = -69 + 69.188. Let y = i + r. Which is bigger: y or -12?
y
Let y = -0.4 + 0.35. Let x be (-76)/8*(-2 + (0 - 2)). Let k be x/(-9) - (-2)/9. Which is bigger: y or k?
y
Let l(n) = 34*n**3 - 1. Let w be l(-1). Let r(f) = -4*f - 13 + 5*f - 9 + 0*f. Let d be r(-12). Is w smaller than d?
True
Let u be -2 + 0 + (-6)/3. Let o be -4*-1*(-1)/u. Let x be -2 + 1 - -3*o. Is -1 bigger than x?
False
Let d = 4321 + -4389. Which is smaller: d or -1/4?
d
Suppose 2*s - 223298 = -24*s - 63996. Which is smaller: s or 6126?
6126
Let l be 2 - 0/(3 + -6 - -2). Let v be (105/(-6) + l)*(0 + 4). Let t = -63 - v. Is -0.005 greater than or equal to t?
True
Let i be -19*((15 - 6) + 1). Let l = i + 381/2. Which is greater: 8 or l?
8
Suppose -36*v - 197*v = 60813. Which is greater: -262 or v?
v
Let l be ((-91)/(-7332))/(6/(-4768)). Let g be 732/(-108) + -2 + -1. Let y = g - l. Which is greater: 0 or y?
y
Let x = -96 + 98. Suppose -117 + 121 = x*i. Is 2 at least as big as i?
True
Let h = -4.275 + 4.615. Let j = 0.1 + -1.1. Which is greater: h or j?
h
Let t = -2.116 - -1.9927. Which is smaller: -2 or t?
-2
Let n = -6.8 + 6.91. Let c = -0.46 - n. Let h = c + 0.77. Do 2/7 and h have different values?
True
Suppose 0 = 4*n - 62 - 2. Suppose 5*a = -k - 33, -5*a - 49 = 5*k + n. Is k > -1?
False
Let f = -126.5 - -126.6. Which is greater: f or -4684?
f
Suppose 16*j - 18*j = -20. Let x be (-8 - -663)*(0 - (-2)/j). Does 131 = x?
True
Suppose 0 = -4*r - 2*f - 32, 0 = -4*r + 2*f - f - 32. Which is smaller: -4 or r?
r
Let i = 804 + -307. Let x = 498 - i. Which is bigger: -3/89 or x?
x
Let x(l) = 8*l + 16. Let t be x(-2). Let n(b) = -2*b**3 - b**2 + b + 6. Let q be n(t). Which is smaller: q or 0.05?
0.05
Let u = -3282 + 4692. Suppose -5*n - 240 = -u. Let y be 3/9 + (-114)/n. Which is bigger: y or 0?
0
Let k = 26888 - 25947. Is 943 < k?
False
Suppose 37*j + 40 - 484 = 0. Suppose 0 = 2*s - j*s - 28*s. Are -1/76 and s equal?
False
Let k = 596 - 562. Let s = 29 - 28.8. Which is greater: s or k?
k
Suppose 5*l + 5*d = 100, 0*l = -3*l + 2*d + 40. Which is greater: l or 2/5?
l
Let u(h) = h**2 + 10*h + 17. Let n be u(-17). Suppose n = 3*t + 5*t. Suppose -12*j + t*j = -75. Which is smaller: -16 or j?
-16
Let x be (32/(-12))/(1/(-3)). Suppose 10*p + 32 = -x. Let z(r) = r**3 + 7*r**2 + 9*r. Let d be z(p). Is d greater than or equal to 16?
False
Let q = -101 + 97. Let t = 98 - q. Let a = t - 102. Which is smaller: a or 1.5?
a
Let j = 8569 + -8424. Is -9 at most as big as j?
True
Let v = 3/401903 + -2868381771/8038060. Let l = 357 + v. Which is smaller: -3 or l?
-3
Let j = -2983 - -2997.29. Let y = j + -14.2. Let z = 0.41 + y. Is z smaller than 8?
True
Let t(p) = -p**3 + 5*p**2 - 2*p + 14. Let h be t(5). Suppose h*x - 5*i - 33 = 0, -3*x + 4*i = 2*i - 16. Suppose -32 = -2*j - x*j. Which is smaller: j or -0.2?
-0.2
Let a(f) = f**2 - 7*f + 527. Let c be a(18). Is 725 smaller than c?
False
Let m(s) = 3*s + 167. Suppose l = 3*u - 6*u - 107, 4*u + 150 = -5*l. Let v be m(u). Which is smaller: 365/6 or v?
365/6
Let o = 1293.69 - 1284. Let j = -264.69 + o. Is 0.2 equal to j?
False
Let p be (-31)/4 + -1 + 9/12. Let s be 1*(-3*1 - (p + -16)). Let i(z) = -z**3 + 17*z**2 + 2*z - 14. Let t be i(17). Which is smaller: s or t?
t
Let i = 3798 + -3798.1304. Which is smaller: i or 0.2?
i
Suppose 2*g + 20436 = 2*z, 3*z - 30656 = 3*g + 2*z. Which is smaller: g or -10218?
g
Suppose -6 = -2*z, -2*s - 40 = -3*z + 3. Let b(w) = 559*w - 2813. Let v be b(5). Which is bigger: s or v?
s
Suppose 0 = -4*x - 0*x - 184. Let b = -34 - x. Suppose -4*h + 5*k = b, 0 = 2*h - k + 3 + 3. Which is smaller: -2 or h?
h
Let c = 103.72 - 114.72. Which is smaller: c or -76?
-76
Let k be (-5)/25*5 + 3. Suppose -5*w + k*h = -3, -4*h = 4*w + 21 - 1. Is 9/31 less than or equal to w?
False
Suppose 54892*l = 54908*l + 4880. Which is smaller: l or -301?
l
Let m = 1725.8 - 1726. Which is smaller: -5/116 or m?
m
Let b be ((5 - 17) + 12)*-1. Which is smaller: b or 7/256?
b
Let i = 12 + -51. Let o(c) = -c**2 - 53*c + 81. Let m be o(-54). Suppose -3*n + 4*k + m = 157, k = 4. Which is greater: i or n?
n
Let p = 332 + -2003/6. Suppose 3*x - 18 = x. Let v = -10 + x. Which is smaller: p or v?
p
Let r = 4.56 - 41.66. Let f = r + 37.19. Is 7 not equal to f?
True
Let h = 87.95 - -12.05. Let r = 1405 + -1505.42. Let s = h + r. Is 1 < s?
False
Let o(b) = -4*b**3 + 17*b**2 - 55*b + 446. Let y be o(9). Which is bigger: -1590 or y?
y
Let g = 8300 - 8306. Is g <= 99?
True
Let a = -5 + 6. Suppose 0 = 12*y + 2187 - 243. Let s be ((-16)/18)/((-9)/(y/12)). Which is greater: s or a?
a
Let c be 39/(-6) + (-2)/(-4) - -2. Let i be -1*(6 + c) + 2 + 2. Let j be 12/36 + (-2)/i. Do j and 0 have different values?
True
Suppose 50*b - 3166 = 184. Which is greater: 13 or b?
b
Let p be -4*(1 + -3341 - 4). Let j = -307762/23 + p. Let o = -2781/575 - j. Is o at most as big as -1?
False
Let n = 264 + -212. Suppose -17*m + 21*m + n = 0. Is -12 > m?
True
Suppose -14*t - 168 = 7*t. Let k(c) = c - 12. Let d be k(t). Which is smaller: d or -148/7?
-148/7
Let c be 92/(-230) - 3/1770*254. Let g = -5497/6903 - c. Is g not equal to 0?
True
Let i = -146726 + 146754. Let z be -2 - (-2 + -1 + 0). Which is greater: i or z?
i
Let d = 610/267 - 134065/77964. Which is bigger: d or 0?
d
Let w be -3 + (-8)/(-2) + (-92)/(-1). Let n = -160/231 - -2/77. Which is smaller: w or n?
n
Suppose 0*l = 2*l - 2*v - 12, -3*v - 12 = 0. Suppose -48*x + 50*x - 4 = 0. Let d be (x - -3) + 5/(-1). Which is smaller: d or l?
d
Suppose -15*t - 292 = -307. Let c = 34665 - 51338863/1481. Which is greater: t or c?
t
Suppose 6048 = 4*s - 0*s. Suppose 667*a = 661*a + s. Is 250 bigger than a?
False
Let x = 328 + -199. Let r be ((-19)/((-285)/12))/(4/370). Let h = x - r. Which is greater: h or 56?
56
Suppose -49*t + 14*t = 1050. Let p be 101/20 - (-4)/t - 5. Is 0.2 != p?
True
Let w = 93 + -96.8. Let y = w + 3.2. Is 0 not equal to y?
True
Let r(d) = d**3 + d**2 - 29*d - 5. Let a be r(5). Suppose -w + 3*n - n + 5 = 0, a = -2*w - n + 10. Is 13 at least as big as w?
True
Suppose 0 = d + 4*v - 18, 2