Is c < b?
False
Let o = 95 - 86. Suppose 3*v + 39 + o = 0. Is v at most as big as -0.5?
True
Let s(h) = -2*h - 29. Let z = 33 + -33. Suppose -15 = p - z*p. Let c be s(p). Which is bigger: c or -1/10?
c
Let t = -2938 - -3040. Which is bigger: t or 908/9?
t
Suppose 2*j + z - 9 = 0, 2*j - 4*j + 24 = 4*z. Let n(c) = c**3 - 5*c + 2. Let x be n(j). Let u be 1/(-12)*(47/(-3) + 5). Is u equal to x?
False
Suppose 17*o - 40 = 12*o. Suppose -3*k = 4*u - 54, u + 3*k = 1 + o. Which is smaller: 106/7 or u?
u
Let q(h) = -2*h - 1. Let v be q(-1). Let x be (5 - -1) + 5040/(-846). Let t = 67/470 - x. Is v less than t?
False
Let s = -24 + 25. Let t = -6.3 - -42.3. Let f = -35.89 + t. Do f and s have different values?
True
Let q be 2/(-2)*2/(-98). Let f = 336 - 332. Let v be (-2)/(-19) + f/(-76)*2. Is v equal to q?
False
Let t(h) = 2*h**2 + 2*h - 1. Let z be t(1). Let w be (z/(-18))/((-104)/(-32)). Is 0 != w?
True
Let q = 2147 + -2489. Does q = -0.1?
False
Suppose -104*q = 322*q - 852. Let a = 13874/13 - 1066. Which is smaller: q or a?
a
Let o be (-2 - -3)*(13 + -2). Suppose 16*n - 820 = o*n. Suppose -2*t - 38 = -n. Is 64 <= t?
False
Let u = -3/443 - -26601/3101. Let f = 88723/10 - 20514673/2310. Let c = u + f. Is 0 != c?
True
Let h be ((-4)/15)/(196/40 - 5). Let x = 528 - 532. Which is greater: x or h?
h
Let l = 218763/1219600760 - 7/50840. Let h = l + -17416019/119945. Let r = h - -53008/365. Which is smaller: r or 0?
0
Let b(r) = -2*r**3 - 98*r**2 - 9*r - 364. Let i be b(-49). Which is greater: 387/5 or i?
387/5
Suppose 0 = -163*o + 55*o - 799524. Do -7403 and o have different values?
False
Let c = -25 + 24.96. Let i = -1924.3 - -1924. Is c smaller than i?
False
Let u be 69/338*(-19691060530)/8366536485. Let l = u - -90/10936649. Let y = -5/507 - l. Which is smaller: -1 or y?
-1
Let s be (((-122)/3)/(18/(-9)))/((-18)/270). Let a = 338 + -644. Do s and a have the same value?
False
Suppose 0 = -5*t - 110 + 60. Let b(f) = -24*f. Let o be b(t). Let u be o/7 + 20/(-70). Is 34 > u?
False
Let f(q) = 27*q + 1. Let u be f(-1). Let y(z) = -18*z + 244*z**3 - 12*z**2 - 6 + 0 - 245*z**3. Let c be y(-10). Is c greater than or equal to u?
True
Let k(u) = -u**2 + 2*u + 27. Suppose -4*o + 2*z = -30, 0 = -3*o + z - 2*z + 10. Let v be k(o). Let x = v + -17. Which is greater: x or -36/7?
x
Suppose -w + f = -116, 20*f + 1 = 21*f. Suppose 2*i + w - 223 = 0. Do i and 163/3 have the same value?
False
Let j(l) = l**3 - 45*l**2 - 144*l - 18. Let r be j(48). Is r less than or equal to -30?
False
Let n(v) = -2*v - 19. Let g be n(-9). Let p be (g*2*4)/((-31)/(-217)). Is -59 != p?
True
Let s = 6106 + -7209. Is -5517/5 > s?
False
Let u = 148/27 + -4969/918. Suppose -r - 6 = 5*r. Which is greater: u or r?
u
Let c = 0.45126 + -0.15126. Let z = 4.9 - 0.9. Which is greater: c or z?
z
Let n = -13/79 - 2319/790. Let t(r) = -r**3 + 11*r**2 + 81*r - 20. Let j be t(16). Which is greater: j or n?
n
Let a = 34913 + -34914. Is a at least -12/451?
False
Let x = -1266 - -847. Let l = x - -418.8. Is l >= 5/7?
False
Let i(z) = z**3 - 4*z**2 + 13*z + 10. Let y be i(5). Let s = 97 - y. Which is smaller: s or -1?
s
Suppose 253*w = -345034 + 1168296. Which is smaller: w or 3253?
3253
Let w = -8857 + 8856.82. Which is smaller: -47 or w?
-47
Let p be 17/6 + 9/54. Suppose 14*z = -p*z + 17. Is 1/118 at most z?
True
Let s be ((-6)/66)/(18/(-396)). Let y = 0.12 - 0.33. Let u = -0.04 + y. Is s smaller than u?
False
Let d(z) = z**2 + z - 9. Let w = -10 + 6. Let b be d(w). Suppose b*u + 9 = 4*o, o + 0*u = u + 3. Which is smaller: 3/16 or o?
o
Let l = 1/144267 - -146719519/2885340. Let c = -51 + l. Suppose -807 = 6*z - 801. Which is smaller: z or c?
z
Let s be (7 - -3)/(4/(-40)). Let r = -98 - s. Let i(m) = m**3 + m**2 - 2*m - 1. Let l be i(-2). Which is greater: l or r?
r
Let p be (-4)/(-30)*(-170)/(-17)*(-2031)/4. Is -675 not equal to p?
True
Let d(k) = -2*k**2 + 188*k + 216. Let z be d(95). Suppose 5*q + 5 = 0, 4*b + 31 - 130 = -q. Is b <= z?
True
Let v(d) = -d**3 + 13*d**2 - 16*d - 3. Suppose 15 = 4*n - 29. Let u be v(n). Which is bigger: 64 or u?
64
Suppose -16*k = -2*k - 924. Which is smaller: 54 or k?
54
Let a = -364.462 - -0.462. Let z = a - -364.1. Which is bigger: z or -103?
z
Let i = 5034 + -5803. Which is smaller: -767 or i?
i
Let s = 0.149 - 23.149. Let a = 11 + -31. Let l = a - s. Which is bigger: l or -0.2?
l
Let f = 12963 + -9660. Which is smaller: f or 3302?
3302
Let a = 437 - 376. Suppose 0 = -4*d - 5*m - 580, -3*d - 519 + a = -2*m. Which is smaller: d or -148?
d
Let g(h) = -h**3 + 22*h**2 - 57*h + 18. Let t be g(19). Let b be (-2 + 27/t)/((-2)/(-4)). Which is bigger: 1/28 or b?
1/28
Suppose -2*x + 24 = 4*f, -4*x + x = 4*f - 26. Let l = -7 - -7. Suppose l = 2*h + x*n - 6*n - 8, -5*h - n - 2 = 0. Which is smaller: 0.06 or h?
h
Let s = 21849 - 21738. Is s != -8?
True
Let k be (-2)/(4/(-8)*4). Let u(l) = 3*l**3 + l**2 - 2*l + 1. Let c be u(k). Let g(f) = -f + 19. Let i be g(c). Which is smaller: i or 15?
15
Let k(t) = 13*t**3 - 4*t**2 + 5*t - 2. Suppose 0 = 2*h - 5*w - 27, -6*h + 4*h = -w - 7. Let c be k(h). Let j be 12*(0 - 3/(-3)). Is c at least j?
True
Let r = -0.33194 + 0.23194. Is r not equal to -3.756?
True
Suppose 14*i - 336 = -0*i. Let w be (i/7 + -2)/((-11)/(-77)). Is 10 at least w?
True
Let j(i) = 11*i**2 + 2*i**2 + 217*i**3 + 4*i - 11*i**2 + 3. Let r be j(-1). Which is greater: r or -217?
r
Let n = -148.59 - -120.79. Is 3 greater than n?
True
Let j(k) = 12*k - 33. Let s be j(7). Suppose 46*h = s*h + 5. Let o be ((-1)/(-78))/((-8)/6). Which is greater: o or h?
o
Let b be (-1784)/(-16) - 3/(-6). Let z = 287 + -175. Is b at most z?
True
Let n(o) = o**3 + 10*o**2 + 7*o - 18. Let q be (9/(-6))/(4/24). Let c be n(q). Is c <= -44?
False
Suppose -4*k = -1 - 7. Suppose k*a + 2*s - 60 = 0, 0 = -3*a + s + s + 75. Let p = -27 + a. Which is smaller: p or -5/6?
-5/6
Let s be (90/4)/5*8/18. Suppose s*r + 69 + 9 = 0. Let z = r + 39. Does -2/9 = z?
False
Let s(t) = -2*t - 38. Let f be s(-16). Let r be 7/(-14)*4/f*-6. Which is greater: -13/6 or r?
r
Let f = 0.73 + -17.23. Let m = -0.0588 + 9.5588. Let y = m - f. Is -3 equal to y?
False
Let m be (11973/(-65))/(18/60). Is -3072/5 < m?
True
Let v = -4419541/86 + 51390. Let s = 4 - 1. Suppose 2 = n - 4*l - 13, s*n = 5*l + 17. Which is smaller: n or v?
n
Let b = -0.1084 + 1.1084. Which is greater: -65.5 or b?
b
Let j = -6 - -5.02. Let v = 2.72 - j. Let i = v - -3.3. Which is smaller: i or 0.2?
0.2
Let o = 287 + -286. Let k(d) = d**2 + 15*d - 14. Let b be k(-15). Which is smaller: b or o?
b
Let r = -415067/469 - -885. Let k = r + 5177/4221. Which is smaller: k or 0?
0
Let b = -485 + 36374/75. Suppose 5*n - u - 11 = 0, 3*n = 3*u + 12 + 9. Is b less than n?
True
Let b be (-76)/(-133)*(14/4)/1. Suppose 3*p - 6 = -3*g, b*p - 1 = 3*p - 2*g. Is p greater than or equal to 0.121?
True
Suppose 0 = -2*d + 10, 2*b = -d - 4*d + 25. Suppose b = q + 2*r + 69, 4*q = 3*r + 54 - 319. Let i = q + 70. Is 1 at most i?
True
Let i = 7086 - 7096. Is 1/11 at most i?
False
Let w be ((-11)/(-10))/((-14)/140). Let a = -9597/5 - -1912. Let v = -11/5 + a. Is w at least as big as v?
False
Let v be (-2)/(-1 + (2 - 2)). Let u(b) = -b - 11. Let f be u(-19). Suppose f*z + 490 = 57*z. Is v greater than or equal to z?
False
Let h = 3804 - 3840. Which is smaller: h or -12?
h
Suppose 4*p - 3*g + 2*g = 22, 3*g = p. Suppose -5*f + 20 = -5*j, 10 = f + 3*j - p*j. Is f bigger than -86?
True
Let n(h) = -h**3 + 15*h**2 + 30*h + 68. Let j be n(17). Suppose j = 2*d - 96 + 94. Is 1/77 less than or equal to d?
True
Let w be 124/8*(-2)/10*475/(-38). Let r = 68593 - 3843377/56. Let o = w + r. Is 1 not equal to o?
True
Suppose 7 - 23 = -4*r. Let b = 444.61 + -443. Let z = -0.61 + b. Which is greater: r or z?
r
Let y = -18 + 3. Let t be 3*10/y + 2. Suppose t = -7*p - 4 - 3. Which is smaller: p or -1/29?
p
Let m be (-5790)/2015*79*(-32)/1098. Let h = m - 2/5673. Which is smaller: 8 or h?
h
Suppose 49*j = 55*j - 354. Suppose 207 = 10*q - 243. Let v = 15 + q. Which is bigger: v or j?
v
Let r = -9218140819/25165 + 366308. Is 1 <= r?
False
Let j be (-3)/((18/16)/(78/4)). Let o = j + 52. Suppose 4*c + 28 = -o*c + 4*s, 0 = -5*c - 5*s - 15. Which is greater: -5/2 or c?
-5/2
Let f(g) = g**2 + 33*g + 271. Let h be f(-17). Do