alse
Suppose 12 = -0*s + 2*s. Let r(y) = -2*y - 28. Let g be r(-20). Let m = g - s. Which is smaller: 0 or m?
0
Let v be ((-2)/(-6))/(((-33)/54)/11). Let l = 4 - 11. Is l greater than or equal to v?
False
Let v = 12.07 - 12. Let y = v - 1.37. Let u = y - -0.3. Is u >= -0.4?
False
Let p(i) = -i**3 - 3*i**2 - i + 2. Let h be p(-2). Let a = 3318 + -786368/237. Is a >= h?
False
Let m be ((-126)/28)/(1/4). Let a be (-2)/(-5)*(m - 2). Is a less than -7?
True
Let g(x) = x + 6. Let d be g(11). Suppose -3 = -5*s + d. Suppose -5*q = 5*z - 39 - 26, 0 = -z + s*q - 7. Which is greater: z or 2?
z
Let a = -180755/49 + 3689. Which is smaller: a or 0?
0
Let f = 53 + -82. Let g = f - -31. Is g smaller than 2/3?
False
Let i = 18 + -15. Suppose 2*m + 11 = 4*m + i*y, 2*m = y - 1. Let j be 59/(-29) + 0 + 2. Which is smaller: j or m?
j
Let a be (-2)/(-14) - (-184784)/602. Let p = -307 + a. Let n = p + -78/1763. Which is greater: n or 0?
n
Let v(j) = -j**3 + 6*j**2 + 9*j - 9. Let y be v(7). Let s = y + -5. Let k be 7/(-7) + s/1. Which is greater: k or 2/21?
2/21
Let z = -1 + 19. Suppose -4*u + 2*u = -24. Let a be z/u*4/(-3). Which is greater: a or 5?
5
Let c = -873 - 48. Is c != -922?
True
Let v = -4.09 + -5.09. Let p = v - -0.18. Let a = p + 12. Is a >= 0.2?
True
Let s = -159 + 160. Let b be ((-60)/(-21))/(18/921). Let f = 146 - b. Are f and s equal?
False
Let q(v) = 21*v - 22. Let z be q(6). Let a = -134 + z. Which is greater: -29 or a?
-29
Let d = 2.1 + 16.9. Let j = d - 31. Let z = -7 - j. Which is bigger: -0.1 or z?
z
Let k = -182.8 + 171.8. Let o = 41 + -71. Let i be 2/6 - (-22)/o. Is k at most i?
True
Let s = -9 - -14. Suppose 45 = -s*v - 55. Do v and -1 have different values?
True
Let b(a) = a**2 - 7*a - 2. Let m be (-4)/(-2 - 2) - 1. Suppose 3*u + 2*k - 31 = m, 5*u - 17 = 4*k - 2. Let l be b(u). Is -1 smaller than l?
False
Let c = -762 + 1857. Which is smaller: c or -0.1?
-0.1
Let y = -53 - -32. Let m(s) = -s**3 - 22*s**2 - 22*s - 27. Let w be m(y). Which is smaller: w or -9?
-9
Let m(k) = k**3 - k**2 + k. Let w be m(0). Suppose -3*q = -w - 12. Suppose 3*a + 3*h + 9 = 0, q*h = 4*a + 1 + 3. Is -10/9 greater than a?
True
Let z = -4826 + 4827. Let j be -1 + 1 + (-3)/(-29). Is j smaller than z?
True
Let m = -1038.8883 + -0.1117. Which is smaller: m or -0.1?
m
Suppose -9*g = -1164 + 1353. Suppose -u = u + 40. Which is smaller: g or u?
g
Let s = 119 - 169. Let k = -50 - s. Let g be 0 + (1/6)/(-1). Which is greater: k or g?
k
Let i be -3 - 1/(57/(-149)). Let h = -1/19 - i. Let j(b) = -b**2 + 4*b - 3. Let c be j(3). Is c at most as big as h?
True
Suppose 3*j + 3*y - 1 = 2, 0 = -4*y - 20. Let c be 66/20 - 456/(-380). Which is greater: j or c?
j
Let z be (30/25 - 0) + (-1)/5. Is z greater than or equal to 7?
False
Suppose 8 = -2*h - 10. Let v = h + 12. Suppose 1 + 2 = v*y. Is -2/25 smaller than y?
True
Let s = -603/8 - -75. Let b = -0.09 - 39.91. Let y = -38 - b. Are s and y equal?
False
Let o be 6/(-14) + 313916005/630. Let i = -498496 + o. Let j = i - -217. Is -1 at most j?
True
Let x = -227 + 223. Which is smaller: -31 or x?
-31
Let k(n) = -n + 10. Let s be k(7). Suppose 0 = s*c - 2*u - 0*u - 67, 113 = 5*c - 2*u. Let b = c - 22. Which is smaller: -2/63 or b?
-2/63
Let c(y) = -6*y. Let q be c(-2). Let r(z) = 6*z**2 + z - 3. Let f be r(-2). Suppose 14*x = f*x - 65. Which is bigger: x or q?
x
Let q be (-12)/3*5/(-210). Suppose 10 - 4 = 2*x, -5*n - 4*x + 7 = 0. Let r = 0 - n. Which is smaller: r or q?
q
Let k(h) = -2*h**3 - 10*h**2 - 10*h + 1. Let u = 4 - -3. Let w(p) = p**3 + 5*p**2 + 5*p - 1. Let n(b) = u*w(b) + 4*k(b). Let m be n(-4). Is -3/17 < m?
True
Let z be (-48)/(-336) + 1657/63 + 0. Which is smaller: 27 or z?
z
Suppose 146*g - 9 = 137*g. Do -1/715 and g have the same value?
False
Let h(x) = x**2 - 3*x - 7. Let f be h(-5). Which is smaller: f or 35?
f
Let q be (((-117)/(-18))/(-13))/((-2)/56). Suppose -9 = -5*l - q. Which is smaller: 1/304 or l?
l
Let g be 11/3 + (-6)/(-18). Suppose 9*v = g*v - 10. Suppose 5*c = -4 - 11. Which is smaller: v or c?
c
Let c = 1.108 + -0.108. Is 0.3 at least c?
False
Let n be (13/104*-12)/2. Which is smaller: n or 0.015?
n
Suppose 5*l + 26 = -t, -3*l + 17 = -2*t - 6*l. Let s be 6/204*8*t/2. Do -1 and s have the same value?
False
Suppose p + 6 = 3*i, 4*p - 4*i + 33 = -i. Suppose f + 16 = 3*x, -2*x - 11 - 4 = 3*f. Which is bigger: f or p?
f
Let m = -2.322 - -2.1. Let a = m - -0.012. Let y = a + -4.79. Which is bigger: y or -1/4?
-1/4
Suppose -2*z - 1531 = 127. Let w = z + 30671/37. Which is smaller: w or 1?
w
Suppose 2*m = 4*k + 4, 3 = 3*k - 6. Let a be 5/(-5) + (-61)/(-54). Let t = 172/27 + a. Which is greater: m or t?
m
Let m be ((-8)/(-36))/(12/45). Which is smaller: m or 2?
m
Let k(g) = 12*g - 9. Let m be k(7). Suppose -3*n = 2*n + m. Let x = n + 15. Is x != 0?
False
Suppose 2*i = t - 4 + 12, 2*i - 16 = 5*t. Which is bigger: 8 or t?
8
Let w be (-15)/10 + 195/95. Are 2 and w non-equal?
True
Let f = -2121 + 362689/171. Are 0 and f nonequal?
True
Suppose 3*y - y = -3*z + 25, -5*z + 23 = 2*y. Suppose -5*a = 6 + y. Let x = a - -14. Are 10 and x equal?
True
Suppose 2*k - 7*k = -265. Let r = 49 - -4. Is k > r?
False
Let m = -323 + 182. Which is bigger: -140 or m?
-140
Suppose 21*j - 14 = 35*j. Do 1/28 and j have the same value?
False
Let f(v) = 20*v + 1. Let g be f(-1). Suppose 4*i = -4*p + 6*p - 80, 8 = 4*p. Is i smaller than g?
False
Let l = -61 - -66. Let s be ((-11)/(-44))/((l/4)/5). Is s not equal to -1/53?
True
Let r be -3*1 + (-1772)/20. Let y = r - -92. Is 7/15 at least as big as y?
True
Let u be 5/(-20) + (-17)/(-4). Suppose -4*h + 2*s + 4 = 6*s, -u*s = -16. Let q be (-48)/(-27)*(-4 - (-33)/12). Is q smaller than h?
False
Let i = -0.68 + 0.7. Let g = i + -2.02. Which is bigger: -1/21 or g?
-1/21
Let z(i) = 48*i**2 - 3*i - 2. Let m be z(-1). Is 49 >= m?
True
Let w = -3.1 + -0.9. Let q = 4 + w. Let g = -0.7 - -11.7. Which is greater: g or q?
g
Let a = -0.023 - 0.056. Let k = a + 5.079. Which is greater: k or -1/2?
k
Suppose 2 - 11 = -3*m, 5*l + 3 = -4*m. Let o be (2/l)/(15/(-9)). Which is smaller: -113 or o?
-113
Let n be (1 - 97/87)*294/(-245). Do n and 1 have the same value?
False
Let j = 390 - 325. Is -1/4 bigger than j?
False
Let u be 2/15 + (-592)/40. Suppose -2*j - 15 = 17. Is u <= j?
False
Let r(s) = -14*s - 10. Let i be r(-5). Let w be ((-36)/i)/(1/(-65)). Suppose f + 3*v + 45 = -2*f, -w = 4*f - 3*v. Is f at most -11?
True
Suppose 5*s + 4 = -3*m + s, 3*s - 8 = -5*m. Suppose 2*u - 4*u + 41 = -5*f, 4*f = -2*u - 4. Suppose 9 - 57 = -u*l. Is l < m?
False
Let j(l) = -l**3 + 12*l**2 - 9*l + 15. Let t be j(11). Is 34 greater than t?
False
Let w(i) = i**3 - 2*i**2 + 4*i - 15. Let x be w(3). Suppose 0 = c - 4*c + 24. Is c bigger than x?
True
Let r = 215 - 1508/7. Let h = 36 - 16. Suppose -d = -0*d + 5*n - h, 0 = 3*d - 4*n + 16. Which is smaller: d or r?
r
Let k = -87.7 - -109.7. Which is greater: k or -3?
k
Let x be 45 + (-5)/(15/(-9)) + 2. Is 48 > x?
False
Let f be 4*6/24*0. Is f at least as big as 1/142?
False
Let l = 590 - 588.6. Which is smaller: l or 0.7?
0.7
Let j be (-1)/(-6) - (-12)/(-72) - -14. Let u(r) = 8*r - 44. Let i be u(j). Which is smaller: 67 or i?
67
Suppose -26*q + 23 = -3*q. Which is bigger: 4/245 or q?
q
Let v = -3.82 + -46.18. Which is bigger: v or 3?
3
Let x = 40 + -41. Is 8.02 at least as big as x?
True
Let k = 3/2057 - -263269/18513. Is k less than 14?
False
Let k = -1351.6 - -1352. Which is smaller: k or -94?
-94
Let m be 2/1 + (10 - 9). Suppose -2*v = -m*v + 2. Let r(c) = c**2 - 6*c + 3. Let a be r(5). Which is bigger: v or a?
v
Let q be (9/(-18))/((-2)/(-12)). Which is smaller: q or -1?
q
Let n = 10.92 + -10.944. Is -0.1 at least as big as n?
False
Let r be ((-1)/(-10) - 39/90)*-1119. Are r and 1497/4 unequal?
True
Let a(c) = -3*c - 4. Let u be a(-4). Suppose -4*z - u = 0, 7 = b - 0*b - 4*z. Which is greater: b or -2/195?
-2/195
Let h = 14019/10 - 1401. Are h and 3 unequal?
True
Let n be 1634/8 - (-5)/(-20). Is 204 less than or equal to n?
True
Let a be (4 - (-13360)/(-3355)) + 10/(-55). Is a not equal to 0?
True
Suppose 0 = -8356*t + 8354*t - 2610. Which is greater: t or -1306?
t
Let n(r) = 7*r**2 + 237*r + 7. Let c be n(-34). Let m be (-105)/4*10/6. Let b = c + m. Which is bigger: -3 or b?
b
Let