
Let t be ((-1)/(-1))/(-4) - 16371/36. Is t >= -455?
True
Let m be -5*2/14 + 1. Let s = 1730 - 1730.1. Which is greater: m or s?
m
Let s = 2 - 3. Let c = 12.5 + 1.5. Let r = c + -11. Which is greater: r or s?
r
Let b be (-42744)/(-208) + 3/(-2). Which is smaller: 202 or b?
202
Let j be (0 + -2)*(-20)/8. Let b be 1*(j - -3)/4. Suppose 0 = b*f - 6 + 4. Which is smaller: f or 0?
0
Let c be (-1)/3 - (-55)/160. Is 1 not equal to c?
True
Let s = 107/4 - 93/4. Is s < 4?
True
Let g = 24/11 + -526/231. Suppose 0 = 4*n - 8*n. Suppose 4*u - 4 = -n. Does u = g?
False
Suppose 7 = 4*u - 1. Let r be (5 - (4 - 1)) + u. Suppose 2*j + r = -2*z + 2, z = -5*j - 9. Which is greater: -2/9 or z?
z
Suppose -4*v = 4*h - 4, -h = -v - 0 - 1. Let w be v + -3 + -1 + 4. Suppose 2*n = 2*j - 4, 3*j + n + 8 = j. Which is smaller: j or w?
j
Let q = 1352/3 - 474. Are q and -22 equal?
False
Let j(n) = -n**3 + 5*n**2 + n - 3. Let u be j(5). Let h = 12/7 - 48/77. Which is bigger: h or u?
u
Suppose -3*p + 9 = -3. Suppose 4*o + 2*b + 6 = 0, -1 = -2*o + p*b + 1. Is 2/59 >= o?
True
Let y be -47*(-8 - (-466)/58). Is -2 greater than or equal to y?
False
Let f = -20 + 20.5. Let g = 0.6 - f. Do g and 27 have different values?
True
Let x = -7.76 + 0.76. Let k = -9 - x. Is -0.1 less than k?
False
Let f(s) = -4*s - 2*s - 5 - 2*s. Let v be f(3). Let l = v - -29. Which is greater: -2/13 or l?
l
Suppose 7 + 5 = 4*i. Let y(x) = x**3 + 7*x**2 + 22*x + 244. Let r be y(-8). Which is greater: i or r?
r
Suppose -4*l - 4*j - 40 = 0, 0 = -6*l + 4*l - j - 25. Let h(n) = -n**2 - 14*n + 18. Let b be h(l). Let t be 3*-1 + (2 - -3). Which is smaller: t or b?
t
Let w be 7/(-2)*3*12/(-21). Does w = 11?
False
Let a be ((-5368)/(-22))/(-1 + -1 - 0). Which is bigger: a or -123?
a
Let s be (-2355)/2*(-190)/165. Let a = 1357 - s. Let h(i) = i**2 + 20*i + 93. Let j be h(-13). Which is smaller: j or a?
a
Let a = -0.889 + 0.993. Which is smaller: a or 11?
a
Let z(a) = a**3 + 9*a**2 - 9*a - 40. Let t be z(-8). Which is greater: 91 or t?
t
Suppose 0*i = -5*i + 5. Let b be (-402)/(-9) - (-2 - 5/(-3)). Let p = b + -46. Is p at least as big as i?
False
Let y(f) = -3*f - 17. Let s be y(8). Let w = 50 + s. Let u = 8 - -1. Is u greater than or equal to w?
True
Let m be ((-168)/(-15) + -10)*7/9. Is 0 smaller than m?
True
Let r = -62.5 + -11.5. Let i = r - -77.1. Let j = -32618/3 + 32620/3. Is i >= j?
True
Let n(w) = -w**3 + 8*w**2 - 7*w + 1. Let a be n(8). Let d be (a/15)/((-3)/(-9)). Is -2 greater than d?
True
Let d(o) = o**3 - 3*o**2 - 3*o + 4. Let r be d(4). Suppose g - 3*u - 2*u = 10, 0 = -3*g + 4*u + r. Let p be 3 - 6 - 136/(-48). Which is bigger: g or p?
g
Let s(v) = -6*v - 51. Let n be s(-9). Suppose n*u = -u. Which is smaller: -1 or u?
-1
Let u = 0.36 + -36.36. Let n = u + 36.1. Do -0.1 and n have the same value?
False
Let b = 0.375 - 0.293. Which is smaller: 1/2 or b?
b
Suppose 0 = 20*x - 17*x - 54. Which is greater: x or 17?
x
Suppose -9*j - a - 3 = -6*j, a - 4 = 4*j. Let b be (-1)/3 - 9/6. Is j >= b?
True
Suppose -d + 0*d - 4 = 0. Let p = -1 - d. Let r(v) = -v**2 + 3*v + 2. Let n be r(p). Is n bigger than 1?
True
Suppose 0 = h + h. Let k = -330 - -1357/4. Let n = k + -19/2. Is h greater than n?
True
Let a be (-16)/((-1)/((-3)/(-6))). Let p be (-6)/a + (-85)/(-140). Let s be 2/(-1*30/5 + 4). Which is smaller: p or s?
s
Suppose -5 = -5*k - 30, 2*o = 3*k + 13. Which is smaller: o or 63?
o
Let r(h) = -h + 23. Let j be r(57). Which is smaller: -20 or j?
j
Suppose -8*b + b = -105. Suppose 2*f + 17 = b. Which is greater: f or -4/3?
f
Let i(y) = -3*y + 6. Let v be i(2). Suppose -t - 6 + 22 = v. Is t equal to 16?
True
Let x = 299/5 - 60. Let h = -275 + 577/2. Let a = 14 - h. Is x < a?
True
Suppose 2*n - 12 = o, 4*n = -n - 3*o + 8. Suppose -5*l + 5*p = -35, -31 = l - n*l + 5*p. Suppose 2*v + 16 = -l*v. Is v > -2?
False
Let m = 47.45 + -47. Let h = -2.45 + m. Is -2 bigger than h?
False
Let b be ((-84)/27 + 3)*(-108)/(-1062). Which is smaller: 0 or b?
b
Suppose 27 - 2 = 5*m. Which is bigger: m or 15?
15
Let d be 2/9 + 57/351. Suppose 18*s = 14*s + 5*k, 0 = k. Which is bigger: s or d?
d
Let z(l) = l**3 + 4*l**2 + 3*l. Let p be z(-2). Let h be (51/85)/((-1)/p). Is h at least as big as 0.2?
False
Suppose 4*j + 1156 = -t - 2798, 2*t + 4941 = -5*j. Are j and -988 nonequal?
True
Let p be (4/((-24)/(-129)))/((-2)/(-4)). Let n = 43 - p. Are -9/8 and n non-equal?
True
Let s be (2 - 32/20)/(1064/40). Is s smaller than -1?
False
Let m = -29 + 32. Suppose 2*r + 43 = -m*b + 4*r, r + 11 = -b. Does b = -11?
False
Let l = 462 - 11548/25. Suppose -2*q = -0*q - 5*d - 11, d = q - 1. Let k be (-3 - (-25)/10)*q. Which is greater: k or l?
k
Let t = 107 - 113. Is -9 >= t?
False
Let d be (-144)/(-12)*4/3. Let b be 4/1 + -12 + d. Suppose b*r - 7*r = 17. Which is smaller: r or 18?
r
Let s = -231692/13 - -17832. Is 11 >= s?
True
Suppose 0 = 35*x - 17*x + 90. Which is bigger: x or -23?
x
Suppose 2*w + 18 = 2*v, -3*v + 5*w = -v - 21. Suppose -2*k + 7 = 3*b - 2*b, 5*k - 25 = -5*b. Is b greater than or equal to v?
False
Suppose -3*y + 3*i = 18, 0 = 5*y + 2*i + 2*i - 15. Let v be y - 1/((-2)/32). Does 16 = v?
False
Let v(p) = 2*p - 3. Let k be v(2). Let s be (k - 0)/((-1)/(-10)). Let u = 7 - s. Do u and -3 have the same value?
True
Suppose 0 = 2*f + n + 1, 10*f = 8*f - 2*n - 6. Which is smaller: 1/328 or f?
1/328
Let v be ((-6)/4)/((-13)/26). Let d(p) = -2*p**2 + p - 3. Let g be d(v). Is -18 at most g?
True
Let x be 1*((-1)/(-1) + 2). Let k be (5 - 2)*(-1)/x. Let r = 236/65 - 42/13. Is k >= r?
False
Suppose -3*w + 4*w = -3. Let t = -3 - w. Which is smaller: 1 or t?
t
Let h = 19 - 19. Suppose 0 = w + 8 - h. Let i be (2/w)/(2/(-16)). Is 3/2 greater than i?
False
Let n(d) = -d**3 + 19*d**2 + 36*d - 62. Let s be n(20). Which is bigger: s or 260?
260
Let k be (-15)/(-3) - (-42 - 171). Which is greater: k or 216?
k
Suppose -72 + 14 = -l - 3*a, 5*a + 210 = 5*l. Let g be (5/2 - 1)*l/3. Do g and 24 have different values?
True
Suppose -z - 2*c = 2*c - 6, -5*c = 2*z - 15. Suppose 70 + 0 = z*d. Is d smaller than 9?
True
Let i = 18 - 13. Let m be (-2)/8 - 210/(-40). Is m bigger than i?
False
Suppose -u + 8 = 2*u + 4*b, -5*b = -4*u + 52. Let r be (-8)/(-6)*(-15)/2. Let y = u + r. Is 1 not equal to y?
True
Let j = -369 - -370. Which is smaller: 3/143 or j?
3/143
Let n be (105/(-2) - 0)/(805/70). Let q be -4351*((-6)/1886)/(-3). Let t = n - q. Is t at least -1?
True
Let p = 143/54 + 14/27. Is -0.4 <= p?
True
Let k(g) = -g**2 + g - 3. Let n(c) = c**2 - 2*c + 4. Let i(p) = -7*k(p) - 6*n(p). Let y be i(-6). Suppose -y*o + o + u = 0, o = u + 1. Which is bigger: o or -6?
o
Let s be 2 - (4 + -22) - 3. Suppose -4*f + f + 6 = 0. Suppose -s = u - 0*u + 5*c, 3*u + 38 = -f*c. Which is smaller: u or 2/7?
u
Let w = 181.8 - 162. Let h = 0.6 - 20.6. Let f = h + w. Which is smaller: f or -0.06?
f
Let j be 1/((-9)/115) - (-480 + 467). Let f(u) = -u**2 - 3*u - 1. Let p be f(-2). Which is greater: j or p?
p
Let r be 38/6 + (-13)/39. Suppose -x = -r*x. Which is bigger: x or -5/8?
x
Let v = 127.9 + -124.9. Let j = 3 + -2. Is v greater than j?
True
Let a = -0.65 - 26.35. Let w = -27.1 - a. Let m = 0.12 + 1.88. Is m at most w?
False
Let x(n) = 5*n**2 + 41*n - 9. Let s(p) = p**2 + 5*p + 4*p + 6*p - 5*p - 2. Let q(z) = 9*s(z) - 2*x(z). Let w be q(8). Is 1/3 smaller than w?
False
Suppose -1473 = -3*z - t, 2*z = -4*t - 102 + 1084. Which is smaller: z or 492?
z
Let p = 0.274 - 0.374. Which is bigger: p or -34?
p
Let t be 5977/(-10) - (-147)/(-490). Is t equal to -597?
False
Let u(f) = -f**3 - 7*f**2 - f - 7. Let l be u(-5). Let j = l + 36. Which is bigger: -15 or j?
-15
Suppose 7*j - 5*j + 3 = 5*f, 6 = -2*f. Suppose 4*n + 17 = -15. Which is smaller: j or n?
j
Let t(w) = w - 13. Let u be t(13). Suppose -2*v = -u*v. Is 1 greater than or equal to v?
True
Let u = -1969 - -246127/125. Is u > -1?
True
Let q be (-140)/(-35) - (-352)/(-90). Is 0 at most q?
True
Suppose 10 = 3*p - 14. Suppose -5*x = -p*x + 30. Is 10 at most x?
True
Let s = 1.2 - 0.2. Are s and -0.118 non-equal?
True
Let a = 242/35 - 36/5. Let u = -2689 + 2690. Which is smaller: u or a?
a
Suppose -12*i + 5*i - 14 = 0. Let y(r) = -2*r - 4. Let n be y(i). Which is smaller: -11/21 or n?
-11/21
Suppose 0 = 18*y - 14*y + 4. Let c be (y/1)/(0 + 