
Let f be (-18)/(-5)*2 + (-3)/15. Is 27/4 < f?
True
Suppose 0 = 2*f - 4*f. Suppose 3*a = -2*a - 3*n + 22, f = 5*a + 5*n - 30. Let i be (-7)/70*15/(-3). Is i less than a?
True
Let j be 6/(-4) + (-2)/4. Suppose -u + 3*z + 2*z + 8 = 0, -3*z = u + 8. Is u at most as big as j?
True
Let d = -3.3 + 3. Let a = d + 0.3. Which is smaller: a or -0.1?
-0.1
Let n = 0.08 - 0.13. Let f = n + -0.05. Are -3 and f non-equal?
True
Let l be (1/2)/((-1)/(-2)). Let c = 62/741 - -4/57. Is l not equal to c?
True
Suppose 6*u - 17 - 7 = 0. Let k = -1 - -4. Let a be k/(-1)*(-12)/9. Is a greater than or equal to u?
True
Suppose 0 = 10*v - 14*v. Is v equal to -2/127?
False
Let w(q) = 2*q + 9. Let z be (-3)/(-3)*-5 + -1. Let r be w(z). Is r smaller than -3?
False
Let j = -0.01 - -0.01. Let f = j + 0.1. Is f at least 0.1?
True
Suppose 0 = 2*w - 0*w - 2*u + 8, 0 = 3*w + 3*u. Which is smaller: w or 3?
w
Let b = -42071/19 - -2215. Is 2 smaller than b?
False
Let a = -43.4 + 37. Let v = a - -6. Which is greater: 0.4 or v?
0.4
Let v = -0.8 + 0.8. Which is smaller: -7 or v?
-7
Let y(g) = -g**3 - g**2 + 2*g - 32. Let f be y(0). Is f equal to -32?
True
Let t(k) = -k**2 - k + 4. Let a be t(-2). Is a at least as big as -1.2?
True
Let b(o) = -o**2 - 18*o - 28. Let k be b(-16). Are k and 8 unequal?
True
Let x = 5.86 + -5.8. Which is smaller: x or 7?
x
Let l be (-7)/((-7)/6) + -4. Suppose -l*w = w - 15. Is 6 less than w?
False
Let v be 120/16*16/10. Which is bigger: 13 or v?
13
Let w(g) = g**3 + 7*g**2 - 10*g - 11. Let k be w(-8). Suppose 2*c - 8 = 4*c, -k*d + 12 = -3*c. Suppose d = 2*q + 1 + 1. Which is bigger: -2/5 or q?
-2/5
Let p be 2/(-2) - (-309)/312. Let y = p + -201/728. Are y and 0 equal?
False
Let a = 2.82 - -0.18. Which is smaller: a or -2/9?
-2/9
Suppose 3*y - y = 32. Let o be (2 + 1)/(42/y). Which is greater: 1 or o?
o
Let b = -38/13 + 322/39. Which is smaller: b or 6?
b
Let i(v) = v + 1. Let j be i(0). Is 0 at most as big as j?
True
Suppose -10*s = -13*s + 12. Suppose -12 = -2*j - 0*j. Which is smaller: s or j?
s
Let d = 1.95 + -2. Let x = 0.15 + d. Which is bigger: 2 or x?
2
Let i = -0.27 + -0.03. Let a = -17 - -17.4. Let m = i + a. Which is smaller: m or -1?
-1
Let w = 49 - 49. Which is smaller: -38 or w?
-38
Let x(j) = j**3 - 14*j**2 + 18*j - 4. Let n be x(13). Does 61 = n?
True
Let n = 2 + 1. Let f = n - 1. Which is greater: f or 3?
3
Let g(i) = 3*i - 1. Let z be g(7). Which is smaller: z or 19?
19
Let m(l) = -2*l - 9. Let f be m(-4). Is -7/3 less than or equal to f?
True
Let h = -24313/26 - -935. Which is smaller: 0 or h?
h
Let b = -58/3 + 19. Which is smaller: b or -2?
-2
Suppose -2*h + 27 = 3*r, -2*r - 2*h + 11 = -3*h. Let l(z) = z**2 - 7*z - 1. Let w be l(r). Do -1 and w have different values?
False
Let t = -19 - -35. Which is smaller: 0.2 or t?
0.2
Suppose -4 - 5 = -5*c - 4*l, -4*c = -5*l + 1. Let i be 942/(-333) + c + 1. Let o = -6/37 - i. Which is smaller: o or 3?
o
Let n be 342/24 + (-2)/8. Suppose 10 = -4*m - n. Let j(o) = -o**2 - 5*o + 1. Let x be j(m). Is x > -4?
False
Let d = 1533/187 - 96/11. Are 0 and d unequal?
True
Let q be 2/21*21/(-14). Suppose -4*k + 5 = 13. Let p = 3 + k. Which is smaller: q or p?
q
Let t(d) = -d**3 + 6*d**2 - 2*d - 2. Let v be t(4). Let g be (v/(-8))/(6/4). Let s = -7/3 - g. Is s > -2?
True
Let n(f) = f + 7. Let r be n(7). Let g be (-30)/56 - (-4)/r. Is g at least as big as 0?
False
Let a = -11 + 19. Is a at most as big as 9?
True
Suppose 4*c = 5*y - 8 - 23, -c - 19 = -5*y. Suppose -y = 3*s + 3. Let p(x) = -x**2 + 3*x - 3. Let t be p(3). Is t bigger than s?
False
Let j be (-4)/(-2) - 4/(-2). Suppose j*w = 2*w - 4. Let l = w - -3. Which is greater: -1/4 or l?
l
Suppose -3*m - 7 - 5 = 0. Let p be ((-210)/931)/(m/(-7)). Let o = -2/19 + p. Are -2 and o nonequal?
True
Let m(s) = s + 7. Let w be m(-9). Let g(f) = f**3 - 7*f**2. Let y be g(7). Suppose y = c + 2*c + 9. Which is greater: w or c?
w
Let w(q) = q + 1. Suppose -3*r - 6 = -r. Let v be w(r). Let o be 0 + (-4)/26 + 24/156. Is o smaller than v?
False
Let j(x) = -x**3 + 6*x**2 - 3*x + 5. Let o be j(6). Is -12 >= o?
True
Let a = 5/334262 - 68691431/39442916. Let b = a + -30/59. Is -1 smaller than b?
False
Let q = 185.1 + -186. Which is smaller: 5 or q?
q
Let a = -5/18 + 1/2. Which is smaller: 0 or a?
0
Let a be ((-3618)/4)/(4/40). Let c be (-2)/(-9) + 1956/a. Let p = 1013/1340 - c. Which is bigger: 2 or p?
2
Suppose 2*y = 3*j - 5*j - 10, 23 = -4*j - 5*y. Let m = 682/5 + -137. Which is bigger: m or j?
m
Let k be (-46)/(-176)*2/2. Let j = -3/22 + k. Which is smaller: 0 or j?
0
Suppose 0 = 5*b - 7*b + 2*l + 56, -l + 64 = 3*b. Are 23 and b nonequal?
False
Let n = 3.72 + -1.72. Do 0.03 and n have different values?
True
Let r(f) = f**2 + 6*f - 1. Let y(w) = -w**3 + w - 3. Let x be y(0). Let n be r(x). Let j be ((-2)/(-5))/((-2)/n). Is j > 3?
False
Suppose w + 114 = -81. Let q = w + 1363/7. Let j be 1/(-5)*(2 - 5). Are j and q equal?
False
Suppose 0 = 2*h - 0*z - 3*z + 10, 3*h - 2*z + 15 = 0. Which is bigger: h or -4?
-4
Suppose 54 = -9*c + 9. Which is smaller: -4/5 or c?
c
Let c = 2 - 3. Let y be (c/24)/(14/20). Let i = -4/21 + y. Are 0 and i non-equal?
True
Let h be (-1 - -3)/(-2) - 1. Is h at least -0.2?
False
Let a = 0.4 - 0.44. Let d = -0.4 - -0.5. Is d at most a?
False
Let n(m) = m - 7. Suppose 2*j - 1 = 7. Let w be n(j). Suppose -5*d - 2 - 22 = s, -d + 8 = -3*s. Are s and w equal?
False
Let w = 1.94 - -0.06. Which is smaller: -1/3 or w?
-1/3
Let a = -782/7 - -112. Let o(s) = -s**3 + 5*s**2 + 6*s - 1. Let w be o(6). Let d be -1 + (-2)/w - 0. Which is bigger: d or a?
d
Let x be 2/24 + 3/(-9). Let z = -55 - -56. Is x <= z?
True
Suppose 0*d = 4*d + 132. Let f be (-6)/d - (-13)/(-11). Is 2/9 at most as big as f?
False
Let w be 64/12 + (-2)/6. Suppose -5*k = -3*m - 6 - 3, 5*k - 5 = w*m. Which is smaller: m or 1?
1
Let g be (-20)/6*1 + 3. Suppose -l - 5 = -4. Does g = l?
False
Let l = -1 - 1. Let q be 0*(-1)/(l/(-2)). Which is greater: 2/9 or q?
2/9
Suppose -5*n + 4*h - 25 = 0, 4*n - 3*n - 3*h = -5. Let w(r) = -2*r + 1. Let d(f) = -3*f + 1. Let c(y) = -5*d(y) + 7*w(y). Let k be c(n). Is -2 < k?
False
Suppose 4*c - 2*g + 26 = 0, -c = -6*c - 2*g - 10. Let q(o) = o**3 + 0*o**3 + 0 - o - 3 + 4*o**2. Let u be q(c). Which is greater: 2/7 or u?
u
Let v(k) = 4*k - k**2 + 1 - 4*k. Let b be v(-1). Is -2/17 < b?
True
Let y be -2*(9/(-6) - 0). Suppose o = 5*n - o - 12, 5*n + 5*o = 5. Suppose -n*p + 5*x = -3*p - 22, 4*p + 2*x = 2. Is p >= y?
True
Let q = -19/3 - -583/93. Are q and -2 unequal?
True
Let p be 3/(0 - (-4 - -1)). Let a be 1/2*p/(-6). Which is bigger: a or 1?
1
Let c = -9 - -9. Let q = c - 1. Let u = 0 - 1. Do q and u have the same value?
True
Suppose -17 = v + 2*l, -v - 2*l + 7*l = 24. Let y = v + 30. Let h = y + -7. Is h <= 1?
False
Suppose -3*t = 2*v + 2*t - 16, 0 = -v + t + 1. Let d = -2 + v. Let x = -7 - -8. Are d and x equal?
True
Let z(f) = 3*f - 1. Let j be z(1). Which is smaller: j or 3?
j
Suppose 0*n + 15 = -3*n, -4 = -4*l - 4*n. Suppose 9 = l*u - 3*u. Suppose u*v = -v. Which is smaller: v or -2/23?
-2/23
Suppose 0 = -0*n - 6*n + 18. Is n not equal to 5/3?
True
Let d = 35 + -37. Let u = 0.09 - 7.09. Do u and d have the same value?
False
Suppose -5*h - 4*q = 29, 3*h + 14 = 2*q + 1. Which is smaller: -16/3 or h?
-16/3
Suppose 3*j + 0*j = -18. Let u be (-1)/j + 19/(-42). Is -2/7 at least u?
True
Let c = -14 + 11. Which is smaller: c or -20/11?
c
Let y = -6.96 + -0.04. Let h = 7 + y. Is h not equal to -1/2?
True
Let m = 8/11 - 69/110. Are -1 and m unequal?
True
Let k = 1 + -1. Let o = -159 - -633/4. Do k and o have the same value?
False
Suppose r - 4 = 0, -4*r - r + 290 = 5*q. Let w be (6/q)/((-2)/(-4)). Let v be -1*1/(-1 - -2). Which is bigger: w or v?
w
Let b be 2 + (-4 + 2)*-65. Let f be (b/45 - 1)*-6. Let t = -12 - f. Which is smaller: t or 0?
t
Let d be 1 - 33/(-186)*-6. Is d smaller than 1?
True
Let w(l) = l**3 - 4*l**2 - 6*l + 7. Let m be w(5). Let c(f) = f - 2. Let k be c(5). Let b be 3 + k + -2 + -1. Which is smaller: m or b?
m
Let x(m) = -m**3 - 4*m**2 - 4*m - 4. Let w be x(-3). Let h = 1 - 3. Is h at least w?
False
Suppose 0 = -3*f - 4*m - 8, 4*f + 0*m - 2*m = 4. Let q be (-6)/(-4)*16/(-12). Let l(h) = h**2 + 2*h. Let a be l(q). Do a and f have the same value?
True
Let f 