s l at least w?
True
Let q be 10 - -1 - (-12735)/(-1155). Suppose 0*u = u. Which is bigger: u or q?
u
Let r = -3135/14 - -224. Do -11 and r have the same value?
False
Let c = -127 - -128. Is c != 4/347?
True
Let v(t) = -5*t**2 + 11*t - 12. Let n be v(4). Is n < -48?
False
Let m = 8.009 - 0.099. Let l = -8 + m. Let i = l + -0.91. Which is bigger: 1 or i?
1
Let p be 0 + 4 - 7 - 955/(-315). Is -7 bigger than p?
False
Suppose -7*g + 5*m + 35 = -2*g, 0 = 2*g + m + 1. Let r = 6 + g. Is 7 at most as big as r?
True
Suppose 2*n + 4 = -0*w + 2*w, -3*n = 5*w + 6. Which is greater: w or -3?
w
Let v = -23 - -22.8. Is -1/17 equal to v?
False
Let j = 30641/22 + -1394. Which is smaller: j or -0.1?
j
Suppose 8*y = 1634 + 286. Which is bigger: 721/3 or y?
721/3
Suppose -3*o + 47 = 3*k - 8*k, -3*k = 3*o - 39. Let x be o/(-49)*(-14)/8. Which is greater: 5/7 or x?
5/7
Let r = 69.1 + -71. Let s = -3.9 - r. Is s at least as big as -4/9?
False
Let p = 4187 - 4187.3. Let t = -0.01 - 4.99. Let a = -8 - t. Is a less than or equal to p?
True
Suppose -j - k - 118 = k, 3*j - 5*k = -409. Which is bigger: -129 or j?
j
Let v = 155 + -152.83. Which is smaller: v or 0.2?
0.2
Let i be ((-48)/(-10))/(1/(-5)*1). Let z be -28 + -1 + ((-15)/(-3))/1. Is i < z?
False
Let l = 11/10 + -71/30. Is -2 greater than or equal to l?
False
Let x = 23975/26 - 922. Is x at least 0?
True
Let s be 6/4*100/(-1425). Which is bigger: -1/6 or s?
s
Let p(z) = -z**2 + z - 3. Suppose -j = -3*j - 10, -4*d + 2*j = 2. Let r be p(d). Let v be ((-1)/10)/(6/r). Is -1/5 at least as big as v?
False
Suppose -t - 2*t + 46 = 2*s, -t = 4*s - 112. Let v = s + -15. Suppose -2*w = v - 2. Which is smaller: -7 or w?
-7
Suppose -9*h + 900 = -4653. Suppose -504 = -4*s + g - 2*g, 5*s - h = 2*g. Is 125 >= s?
True
Let k = 0.123 + 0.177. Is k at least as big as 1?
False
Suppose 0 = 3*c - 34*c - 31. Is 2/11 > c?
True
Let t(y) = 8*y + 4. Let d = 66 + -69. Let o be t(d). Is -20 greater than o?
False
Let b(l) be the third derivative of 1/3*l**4 + 0 - 5/3*l**3 + 0*l - 2/15*l**5 - l**2 + 1/120*l**6. Let k be b(7). Is k != -5/3?
True
Let r = 302 + -1531/5. Is -1/4 at least as big as r?
True
Let z = -1118 - -1524. Which is smaller: z or 811/2?
811/2
Let q = -1/2067 - 16505/64077. Suppose 3*m = -m. Which is smaller: m or q?
q
Let m = -0.0438 + -0.0562. Which is greater: 172 or m?
172
Suppose 0 = -9*u + 43 + 20. Is u > 56?
False
Let f = 405 - 266. Is 137 at least f?
False
Suppose -12*f + 22 = 5*j - 9*f, 5*j - 26 = f. Suppose 5*d = 3 + 17. Do d and j have the same value?
False
Let b = 2 - 2.01. Suppose -7*j + 898 = 877. Do b and j have different values?
True
Let m(z) = 3*z**2 + z - 6. Let h(l) = 4*l**2 + 2*l - 7. Let u(i) = 4*h(i) - 5*m(i). Let q be u(-2). Suppose -5*s - 3*r + 0*r = 21, -3*r - 6 = q. Is s > -1?
False
Suppose -2*o = -5*g - 10, -g = -4*o + g + 4. Let x be (2 + 5)/(o + -1). Is x not equal to -8?
True
Let i = 11 + -19. Let x = 26 - 19. Let g = x + i. Which is bigger: 0.01 or g?
0.01
Let d = -2/2703 + 1092026/18921. Let f = 58 - d. Suppose 6 + 0 = -2*w. Is w not equal to f?
True
Suppose -2*f + 1178 = 4*o - 0*f, -o + 298 = 4*f. Let y be o/12 - 2/4. Let x be 111/y - (-3)/8. Which is smaller: x or 4?
4
Let g be (-3)/(-9) + (-4)/12. Let a = g - 2. Let s = 0 + 2. Is s at most a?
False
Let f(k) = 14*k + 69. Let m be f(-5). Which is smaller: m or -287?
-287
Let w(d) = d**3 - 4*d**2 + 9. Let n be w(3). Suppose 5*m + 4 = -2*a, -3*a + n*m - 2*m = 28. Is -10 smaller than a?
False
Suppose -4*j + 4*c - 104 = 0, 0*c - 102 = 3*j + 5*c. Which is smaller: -113/4 or j?
j
Let z be (-388)/1840 - (-2)/10. Let g = 0.574 + -0.474. Which is greater: g or z?
g
Let c be (-4)/(-42)*3 + (-249)/210. Which is greater: 1/4 or c?
1/4
Suppose -4*d + 29 = -5*z, -2*z + 28 = 2*d - 0*z. Suppose 0 = -13*g + d*g + 10. Which is bigger: g or 7?
7
Let q = -4356/5 + 871. Is q less than -74/3?
False
Suppose 0 = -l + 4*p - p + 783, 0 = -l + 2*p + 786. Do 793 and l have different values?
True
Let q be 70/12 + 15/90. Let d(r) = r**2 - 13*r - 2. Let v be d(q). Is -44 greater than or equal to v?
True
Let l be 9/21 + (-5)/70*-50. Are l and 35 equal?
False
Let f be (-76)/(-12) - 6 - (-2)/3. Which is greater: 3/212 or f?
f
Let b be 124/9 - 2/(-9). Suppose x - b = -5. Let h = -28 - -36. Which is greater: x or h?
x
Let v(s) = -3*s - 2 - 1 - 2*s**2 - 3. Let m be v(-3). Is m > -15?
False
Let i(j) be the third derivative of -j**6/120 - 2*j**5/15 + 11*j**4/12 + 4*j**3/3 - 26*j**2. Let z be i(-10). Which is greater: z or -9?
-9
Let d = 343.3 - 343. Are d and 180 equal?
False
Let k = 3 + -3.02. Let c = k + 0.32. Let u = -19.47 - -19.17. Is c less than or equal to u?
False
Let a = 1.65 - -0.25. Let y = 6.9 - a. Do y and 0.2 have the same value?
False
Let l = -308 + 308. Let q be (-70)/72 + 4/18. Which is smaller: l or q?
q
Let g = -0.03 - -7.03. Let i = 6.9 - g. Let l = 2.3 - 5.3. Which is bigger: i or l?
i
Let q = 264 - 263. Is 3/11 bigger than q?
False
Suppose 17*p = -1646 - 870. Which is smaller: p or -149?
-149
Let v = -206/11 + 596/33. Are v and 0.52 unequal?
True
Suppose 4 = p + 1. Suppose h + 0 = p. Do h and 3 have different values?
False
Let r = -7417/6 + 1236. Let n be (-2)/(-1) - (3 + 0). Which is bigger: n or r?
r
Let q = -497 - -506. Is 7 at least as big as q?
False
Let i be -350 + (3 + -8 - -1). Let s = i + 11329/32. Does s = -1?
False
Let i(y) = -23*y + 3. Let z(d) = -d**2. Let s(q) = -i(q) + 2*z(q). Let n be s(7). Is 61 equal to n?
False
Let a be (-20)/(-1925)*(-10)/(-4). Let f(v) = v**2 + 6*v - 15. Let b(k) = -k**3 - 21*k**2 - 21*k - 28. Let t be b(-20). Let l be f(t). Which is smaller: l or a?
a
Let x be ((-2)/(-6))/((-8)/48). Let o be (36/(-8))/(x/(-4)). Does o = -15/2?
False
Let d = 972 + -20420/21. Is d at most as big as 1?
True
Let x = -42 - -45. Suppose 0 = 4*r - 5*r, -4*a = x*r + 4. Do a and 1 have different values?
True
Let a(m) be the third derivative of -5*m**2 - 1/120*m**6 + 1/12*m**5 - 1/6*m**3 + 3/8*m**4 + 0 + 0*m. Let r be a(6). Do r and 18 have the same value?
False
Let q be (7 - 1317/135) + 1/5. Which is smaller: q or 1?
q
Let d be -1*1 - (-15)/21. Suppose -2*t + t + 4 = 2*c, 0 = 5*c + t - 13. Suppose 0 = -q + 3, 3*g - 3 = c*q - 4*q. Which is smaller: d or g?
d
Let y(n) = -n**3 - 2*n**2 - 3*n + 9. Suppose 2 + 34 = -5*s - 4*m, 0 = 4*s + 4*m + 32. Let b be y(s). Is b > 1?
True
Let t = -131.1 - -131. Let m = -11 - 0. Is m greater than t?
False
Let c = -5.6 + 6.6. Suppose 0 = -2*x - 2 + 4. Let t be (x - 2)*(-21)/(-3). Which is smaller: c or t?
t
Let o = -86 + 39. Let l = o + 45. Is l != 1.5?
True
Let l(i) = -3*i**2 + 0*i**2 + 16 - 15*i + 4*i**2. Let m be l(15). Does m = 18?
False
Let c = 20 + -16. Suppose 4*n - 12 = 6*w - w, -9 = -3*n - c*w. Suppose 5*f - 7 = 2*u, 4*f - 2*f - u = n. Is f < -3/10?
False
Let w = -19 - -8. Let b = w + 5. Let f = b + 4. Is -6/5 less than or equal to f?
False
Let v = -137.7 - -125. Does 1 = v?
False
Let n = 290 - 291. Which is smaller: n or 2/807?
n
Suppose 0 = -32*r - 18 - 14. Is -20/13 smaller than r?
True
Let c(i) = -i**2 - 3*i - 4. Let r be (6 + -12)*(-4)/(-6). Let j be c(r). Let a be ((-18)/120)/((-2)/j). Which is smaller: a or 0?
a
Let o be 0 + (1 - (-102)/(-9)). Let n be (2 - 0/2) + -83 + 70. Let v = o - n. Is v greater than 0.18?
True
Suppose 0 = -2*m + 3*b - 39 + 114, 2*m = b + 65. Let s = 209/7 - m. Let a = -0.52 - -0.12. Which is smaller: a or s?
a
Let h(o) = -o**2 + 7*o - 9. Let l be h(3). Suppose -2*m + l*m + 5*p = 10, -4*p = 4*m - 56. Is 13 smaller than m?
True
Let m = 2 - -12. Suppose 2 = -4*c - m. Let l be 27/21 - c/(-14). Which is smaller: l or -2/21?
-2/21
Suppose -92*x - 1393 = -85*x. Which is smaller: -198 or x?
x
Let g = 0.631 + -0.031. Which is greater: -2/27 or g?
g
Let p = 38429/5600 + -171/25. Which is greater: p or -1?
p
Let k = -708 - -708.376. Is k greater than -0.1?
True
Suppose -5*v - 3*g + 3042 = 0, 2*v + 1220 = 4*v + 2*g. Do 606 and v have different values?
False
Let y = -172 - -171.85. Which is greater: y or -1.5?
y
Let j be 30/((14/3)/7). Suppose 5*s - i = -178, -139 - j = 5*s - 3*i. Is -34 at least as big as s?
True
Suppose -4*h = -9 - 3. Suppose 0 = h*v - 3, 4*v - 8 = -3*o + 2*o. Are o and 3 equal?
False
Let t = -77 - -75.5. Let g = -0.8 - 0.2. Let x = t - g. Is 2/3 greater than x?
True
Let