 -1?
True
Let i = 2670 - 2694. Which is greater: i or -74/3?
i
Let i be (-1 - 328/(-357)) + (-92)/138. Let l = 562/2703 - 5/159. Let j = l + i. Is -1 less than or equal to j?
True
Suppose -3*v - v + t = -252, t - 182 = -3*v. Let c = -62 + v. Which is bigger: 2/203 or c?
2/203
Let r = 374.097 + -374. Is r bigger than -0.2?
True
Let a = 2268 - 2056. Which is smaller: 209 or a?
209
Let a = -296 - -344. Which is smaller: a or 49?
a
Let k be (1/14)/(2/272). Let f = -33912 - -33921. Which is smaller: f or k?
f
Let b = 0.31 + -2.31. Let z = -5 + 1. Let g be (2 + z)*(-1 + 0). Is b bigger than g?
False
Let u be 4 - (3 + -1) - -2. Let n(x) = 4*x**2 - 4*x + 2. Let j be n(u). Is 51 bigger than j?
True
Let x be 617/2436 + ((-58)/8 - -7). Are x and -1 equal?
False
Let h(o) = 2*o + 9. Let w be h(-1). Is w smaller than 8?
True
Let l = -1391/2 - -695. Suppose -f + 5*f = -4. Which is smaller: f or l?
f
Let j be 1386/(-24)*(-3 + 2). Let m = j - 58. Is m less than or equal to 1?
True
Let c be 97206/(-4)*(2 + (-596)/300). Let b = 324 + c. Which is bigger: -1 or b?
b
Suppose -5*i = -4*u - 38, 0 = -5*i + u + 1 + 31. Is 88/17 >= i?
False
Suppose -39*p = -40*p - 2. Let t be (2/6)/(p/6*1). Is -11/14 at most as big as t?
False
Let i(t) = 2*t**2 - 4 + t**2 + 4 - 5 + t**3 - 4*t. Let z be i(-4). Which is smaller: -7 or z?
-7
Let l be ((-4)/10)/((-60)/(-150)). Which is bigger: -5/96 or l?
-5/96
Suppose -734*a + 5 = -729*a. Which is smaller: a or -27?
-27
Suppose 0 = -37*c + 16*c + 5523. Which is smaller: c or 264?
c
Let q = -1305 - -1246. Which is greater: 0.8 or q?
0.8
Suppose -21*y = -15*y + 12. Is y >= 118?
False
Let k be 6 + 5 + -13 + 3. Which is greater: 3/230 or k?
k
Suppose s + 5*s + 66 = 0. Let i = s - -16. Let q = -3 + i. Is 1 bigger than q?
False
Let c = -85 + 86. Suppose c = 4*s + k, -s - 11 - 3 = 5*k. Is s at least 2/239?
True
Let w = 1.53 - 1.463. Let z = w + 27.933. Let q = z - 15. Which is bigger: 1 or q?
q
Let o = 887/803 + -1/73. Suppose 4*u - 2*k + 29 = 9, -u + 2*k - 11 = 0. Let n be 0/(7/(-1) - u). Which is greater: n or o?
o
Let d = -105 - -104.9. Is -4/39 at least d?
False
Let s = -0.028 + -51.972. Let z = s - -38. Is z < 0?
True
Let w(f) = 6*f**3 + 2*f**2 - 5*f + 2. Let p be w(2). Suppose -4*k - 44 = p. Is -22 less than or equal to k?
False
Let c(s) = -3*s + 17. Let d(m) = -4*m + 17. Let y(r) = -6*c(r) + 5*d(r). Let b(z) = z + 9. Let v(i) = 5*b(i) + 2*y(i). Let k be v(-10). Is -2/67 > k?
False
Let y(g) = 9*g**2 + 22*g - 7. Let m be y(-3). Let w(x) = 2*x - 3. Let o be w(4). Is o at most as big as m?
True
Let b = 714 - 716. Suppose 7*o - 10 = 2*o. Let m be (9/(-4) + o)*3. Is m at most b?
False
Let k = 9.05733 + -0.05733. Let s = 1 + -1.1. Which is greater: s or k?
k
Let f = 89/2 + -8809/198. Is -1 smaller than f?
True
Let k = -684 + 11634/17. Suppose -37*h + 36*h = -5. Suppose 3*x = -a + 16, x + 20 = h*x. Which is smaller: a or k?
k
Let g be (-23)/((-207)/(-36)) + 4*1. Which is smaller: g or 1/8?
g
Let h = -6694 - -475264/71. Let s = -128/1917 - h. Suppose 2*o - 2 = -3*t, -t = -6*t + 2*o - 2. Which is smaller: t or s?
t
Let n be ((-416)/120 + 4)/(6/5). Is n != -7?
True
Suppose 0 = 5*p - 5*r - 45, -3*p + 10 + 11 = -r. Let g be 0 + -8*(-4)/8. Is p greater than or equal to g?
True
Let i be 15/(-25)*1*(-4)/(-12). Is i at most as big as 7?
True
Let z = 1049 + -1057. Do 1/4 and z have the same value?
False
Let s = -0.012 - 6.848. Let o = -0.14 + s. Let q = o - -5. Is q less than or equal to -3?
False
Suppose 2*o + 5*s = 56, -74 = -3*o - s + 36. Is 36 >= o?
False
Suppose 2*g - 3*d - 80 - 68 = 0, 5*d = 4*g - 294. Suppose -t = 3*b + 2*b - 67, 4*b = 5*t + g. Suppose -4*v - 6 - b = 0. Is -5 less than v?
False
Let s = 53 + -11. Let z = s + -40.1. Let l = z - 2. Which is bigger: 7/5 or l?
7/5
Let u be (8/(10 + -6))/((-2)/3). Let k be -1 + -1 + 2/(-6)*u. Which is greater: k or 2/325?
2/325
Let n = 2 + 0. Let g be 2 + (-16)/4 + (-3 - -2). Which is greater: n or g?
n
Let s(n) = n - 13. Let w be s(7). Suppose 4*j + 57 - 17 = 0. Let q = w - j. Are q and 4 nonequal?
False
Let o = -0.019 - 0.981. Which is bigger: o or -1725?
o
Let f be (2 + -1)*8/1. Suppose 4*g = 4*s + f, 0*s + 8 = -g - 4*s. Is -3/16 smaller than g?
True
Let g be (-18)/(-99)*1 - 56/286. Is g >= -1?
True
Let a be (5 + 0 - 3)*14/1. Which is bigger: a or 29?
29
Suppose -7*p - 15 = -2*p. Let s be 0 - (-1 - 0/p). Let x = -7 - -10. Which is smaller: x or s?
s
Let z = 26293/12804 + -9/388. Let k = -7/11 - z. Let c be ((-28)/42)/((-40)/(-18) - 2). Which is smaller: c or k?
c
Let t = -95 + 96. Which is bigger: t or 60/11?
60/11
Let o be (-4)/6 + (155/(-15) - -6). Let j(f) = 10*f**3 - f**2. Let r be j(-1). Let d = r - -7. Is d greater than o?
True
Let s = 894.1893 - 0.1893. Which is bigger: s or -1?
s
Let w = 1362 - 1362. Let n be 328/(-7) + 5 + -7. Let t = n + 3846/77. Which is smaller: t or w?
w
Let f = -103 + 109. Suppose 0 = c - 7*m + 2*m + 10, -f = c - m. Which is greater: 2 or c?
2
Let d = -5.988 + -0.012. Let x = d - -8. Is 1/31 smaller than x?
True
Suppose -10*b - 64 + 154 = 0. Let c = -5 + 2. Is b bigger than c?
True
Let a(g) = -2*g**2 - 23*g - 205. Let s be a(-12). Is -219 less than or equal to s?
True
Let t(n) = -19*n + 190. Let o be t(10). Let h = -16/5 - -227/60. Which is greater: o or h?
h
Let o = 518 + -565. Is o at most as big as -48?
False
Let d = -2087 - -2047. Which is smaller: d or 3?
d
Suppose 5*x + 0*b + 5*b = 5, -2*b = 4*x - 2. Let h be -4303*5/3080 + 2/11. Let d = h + 55/8. Is x greater than d?
False
Let j(g) = -2*g**3 + 5*g**2 - 3. Let f be j(2). Which is smaller: f or -1/131?
-1/131
Let b = 3 + -2. Let j = 0.9 - b. Let m = 7955/44 - 721/4. Is j bigger than m?
False
Let h be (4 - (2 - 0)) + -105. Let n = h + 1651/16. Let f = n - -5/16. Which is smaller: 0 or f?
0
Let h = -290333182633/917 + 316612036. Let v = h - 415/7. Is v <= 0?
False
Let t = 2430/77 + -226/7. Let v be ((-32)/(-1584))/((-1)/(-11)). Are v and t unequal?
True
Let u be (-5 - 3) + (-6)/3264*-4354. Which is bigger: 0 or u?
u
Suppose 4*j = 5 + 11. Suppose -5*w - j*a - 14 = 14, 2*w + 4 = -4*a. Which is bigger: w or -7?
-7
Let b be -3 + 1 + (-22)/(-16). Let m = -46 - -46. Is m less than b?
False
Let z = 5 + 1. Let v be (-16)/z*(-99)/(-22). Let x(w) = -w**3 - 12*w**2 + w + 14. Let h be x(v). Which is bigger: h or 5/3?
h
Let r be (2/(-4))/((-9)/10). Suppose -2 = -k + 3*k. Let b be (-4 - -6) + k + -2 - -3. Which is smaller: r or b?
r
Let m = -37 + 69. Is 31 not equal to m?
True
Let q = -52 + 29. Let m = q - -25. Let f be ((-3)/4)/(3*1). Do m and f have different values?
True
Let q = -39 + 39.2. Let n = 7.1 + -0.1. Which is smaller: q or n?
q
Suppose 0 = d + 10 - 15. Suppose 2*s = -v - 0 + 4, 20 = d*v - 4*s. Suppose -c - v*c + 62 = -4*p, -82 = 5*p - 4*c. Which is smaller: p or -17?
p
Suppose -2*w = w + 4*j, -w + 7 = -j. Suppose 12 = 2*m - w*b + 4, 0 = 3*m + 2*b - 44. Which is smaller: 14 or m?
m
Let q be 9/3 - -3 - (3 - 134). Which is bigger: 134 or q?
q
Let x = -257 - -307. Which is smaller: x or 51?
x
Let j be ((-20)/(-50))/(1/5). Let a = 8 - 4. Let h be a/2 + 2*-2. Which is smaller: j or h?
h
Suppose -2*x - 1 - 5 = 0. Let s be ((-8)/(-6))/((-42)/9). Do x and s have the same value?
False
Let i = -7.5 + 7.505. Let t = i - -0.095. Which is smaller: t or 2/77?
2/77
Let n(z) = z**3 - 5*z**2 + 5*z - 6. Let f be n(4). Let b be ((-12)/f)/(21/(-14)). Let u be (-16)/12 + (-4)/6. Is b less than or equal to u?
True
Suppose -5*g + 3*g + 5 = k, -4 = -3*k + 5*g. Let b be 70/15 - (-1)/k. Is b less than or equal to 5?
True
Let y be (-6)/9*-3 - -1. Suppose 2*n - d = -5, -y*d + 0 - 3 = 3*n. Let a = -517/206 + 1/103. Which is greater: a or n?
n
Let b(t) = -3*t**2 + 11*t + 5. Let a be b(4). Let r = -72 - -1081/15. Which is greater: a or r?
a
Let i = 17625/7 + -2522. Which is smaller: i or -5?
-5
Suppose -2367 = 887*n - 890*n. Is -1 <= n?
True
Let t(d) = d**2 - 8*d - 24. Let n be t(11). Let y(c) = -n*c**2 - 7 + 3 + 5*c + 12*c + c**3. Let o be y(7). Is 17 >= o?
True
Suppose 2*r = y + 6, -6*y - 12 = -r - y. Suppose -r*l - 3*q = 0, 5*l + 7*q = 4*q. Let c = 0.1 - 0. Is c at least as big as l?
True
Let k = -0.2 + -0.3. Let g = 34.79 - 35. Let f = g + 2.21. Are k and f non-equal?
True
Suppose 0 = 4*b - 4*g, 0 = -5*g + 26 - 1. Let w(u) = 7*u - 7. Let a be 