 Is a >= 2?
False
Suppose -2*f + 5*k = -45, 4*f + 3*k - 5 = 20. Is f <= 19/2?
False
Let w be (1/2 + -19 + 17)/(-6). Which is bigger: -52 or w?
w
Let l = 523/14805 + 3/329. Is 0 at least as big as l?
False
Let s = -29/539 - -16/49. Let x be (-1 - -4) + (1 - 3). Which is smaller: x or s?
s
Suppose k - 6 = 2*b, 3*k + b - 18 = -0*k. Which is greater: 7 or k?
7
Let t = -1247/690 - -1/138. Which is smaller: -3 or t?
-3
Let m = 5 + -2. Let q = -11 + m. Let r be 3*(q/(-6) + -2). Is -1 smaller than r?
False
Suppose 3*h - h = 0. Which is greater: 1/10 or h?
1/10
Let s(m) = m**3 + 2*m**2 + 4*m + 3. Suppose -3*p + 2 = 5*r, -1 + 3 = -5*r - 2*p. Let o be s(r). Is o greater than 0?
False
Let p = 1 - 16. Let g be 165/p + -1 + 5. Do g and -7 have different values?
False
Suppose 2*w = 2*a + 2*a - 36, 0 = 5*a - 3*w - 45. Does a = 9?
True
Let z = -8 + 9. Is z != -0.099?
True
Suppose 19*j - 26 = 17*j. Is 13 equal to j?
True
Let x(i) = 14*i + 6. Let k be x(-6). Let a = -232/3 - k. Suppose 4*n = n. Which is smaller: a or n?
n
Let k(v) = v**3 - 6*v**2 + 7*v - 4. Let x be k(5). Let g be (x/4)/((-9)/12). Let l = -11 - -8. Which is smaller: l or g?
l
Suppose s + 0*s = 0. Let p = -5/22 + -45/44. Are s and p equal?
False
Let h(u) = -40 - 5*u + 40. Let l be h(-2). Which is smaller: l or 9?
9
Let m be (4 - 3)*-1 - -4. Is m not equal to -2?
True
Let l = 5 + -16/3. Is -5 <= l?
True
Suppose 2*p - 2 = 6. Let c be (0 - 1)/((-2)/10). Which is greater: p or c?
c
Let s = 6 - 6. Let m = 978 + -2902/3. Let y = -10 + m. Which is smaller: s or y?
s
Let v = 0.03 - -1.97. Let s = 1.9 - v. Let x = s + 0.1. Is x bigger than 1?
False
Let y = -1.5 + 0.7. Which is greater: -1/2 or y?
-1/2
Let x = 1068408542515/85340948 - 3/1939567. Let z = -12518 + x. Let p = z + -1/22. Which is smaller: p or 1?
1
Let g(i) = 4*i + 9. Let m(c) = 9*c + 18. Let n(p) = 7*g(p) - 3*m(p). Let x be n(-7). Which is bigger: 0.3 or x?
x
Suppose t - 6*t + 44 = -3*w, -4*w + 9 = 3*t. Suppose t*j = 2*j - 15. Which is smaller: j or -4?
-4
Let n(p) = -p**2 + 8*p - 7. Let o be n(7). Let g be 1 + -1 - (1 - o). Which is greater: g or 0?
0
Let r(f) = f + f**3 - 8*f + 4 + 0*f - 4*f**2 + f. Let w be (-13)/(-3) - (-6)/9. Let i be r(w). Is 2/7 at most as big as i?
False
Let b = 22752/13429 + -2/1033. Is b smaller than 1?
False
Let f = -0.038 + 0.838. Let a = -0.85 - 0.25. Let q = a + f. Is 2/5 greater than q?
True
Let y = 92/3 + -30. Which is smaller: y or 0?
0
Suppose -y + 5*z - 3 + 23 = 0, 6 = -3*z. Suppose -4*j + 3*f + 3 - y = 0, f = j + 1. Which is greater: -13/4 or j?
-13/4
Let k be (-2)/(-11) - 1200/66. Let i be (5/(-15))/(1/k). Which is smaller: i or 1?
1
Let a be 4 + (-2)/(4 + -2). Let t be (-9)/a + (-70)/(-22). Which is bigger: 0.1 or t?
t
Let a = 128 + -131. Which is greater: -1 or a?
-1
Suppose 4*y - y = 0. Which is greater: -1 or y?
y
Let h = 2 + -4. Let j be (0*1/3)/h. Is 2/9 greater than j?
True
Suppose -2*s + 18 = s. Which is smaller: 4 or s?
4
Let f be ((-2)/(-4))/((-7)/4). Let q = -7 - -9. Let m be 1/(0 + -3 + q). Is f less than m?
False
Let i be 1*1/1 - (-6)/(-24). Which is smaller: i or -4/3?
-4/3
Let k be 3 - 5/(10/4). Suppose 0 = 4*m - 4*f + 4, 3*f + k = -2*m - 1. Are -3 and m non-equal?
True
Let t = 29/77 - 1/11. Which is bigger: t or -1.1?
t
Let z = -89/10 + 17/2. Which is bigger: z or 1.9?
1.9
Let t = 3 + -3. Suppose 0*h - 5*h - 5 = t. Which is greater: h or 1/9?
1/9
Let h = 63 + -43. Suppose -5*d + 4*y + 0*y = h, 4*d + y = -37. Is -8 smaller than d?
False
Let y = 0.2 - 0.2. Let k = 38 - 36. Is y greater than or equal to k?
False
Let v be (4 - 8)*1/(-2). Suppose 3*c + 4*m = 14 + 14, 25 = -5*m. Let p be v*(-6)/c - -1. Which is smaller: p or 0?
0
Suppose 7*g = -7 - 0. Which is greater: g or 5/12?
5/12
Let l = 2 + -3. Let u be 40/(-30)*(-3)/12. Are u and l unequal?
True
Let o(f) = -2*f. Let a be o(6). Are 1/4 and a nonequal?
True
Suppose 4*b + 12 - 40 = 0. Which is smaller: b or 4?
4
Let p = 0.03 - 4.03. Let s be (-13)/26 + (-1 - 2) + 3. Is p not equal to s?
True
Let f = -51 - -47. Do -4/7 and f have the same value?
False
Let u be (1 - 2)*(-1 - -1). Let a be (6/(-34))/((-3)/(-6)). Let i = a + 76/119. Is i equal to u?
False
Let s = 0.27 - 15.27. Let p = -15 - s. Which is smaller: p or 6?
p
Let b = -0.28 - 0.02. Are b and 0.04 non-equal?
True
Let t be 1/4*(1 - 0). Let p = -214 + 214.1. Which is bigger: t or p?
t
Let q = -20.35 + 29.5. Let o = -0.15 + q. Which is greater: o or 1?
o
Let o be 4*(-1)/2*5. Let s = 21/2 + o. Is s greater than 3?
False
Let a be 2 - (0 + -1 + 0). Suppose 2*t - a = 5*t. Let q = -2 + 0. Which is greater: t or q?
t
Let l be 16/(-56) + 23/7. Suppose 0 = 3*m - 6 - l. Suppose 4*h = -i + 1, m*h - 3*i + 13 = -i. Is -2/17 greater than or equal to h?
True
Let c(i) = i + 13. Let u be c(-8). Is u equal to 9?
False
Let k be 0/((2 + 1)/3). Suppose k = -2*j - 12. Is -6 greater than or equal to j?
True
Let p be (-4)/(8/6) - -2. Let k be (-4)/30 + (-51)/(-45). Which is greater: p or k?
k
Suppose 5*r - 4*r = -2. Let z = 2/71 + -509/426. Is z at least as big as r?
True
Suppose 0*z - 4*z + 14 = 3*l, -2*l = 2*z - 8. Let d be (-3)/3*(1 + l). Let s = d - 0. Is -1 equal to s?
False
Suppose -n = -6*n + 10. Suppose -2*k + w = -4, k - 5*w + 0 - n = 0. Is k at most as big as 0?
False
Suppose 0 = f - 5*f - 4. Let r = 45 - 224/5. Which is smaller: f or r?
f
Let n = -95 - -73. Is -24 smaller than n?
True
Let f(m) = -m**3 - 11*m**2 + 15. Let o be f(-11). Is 15 greater than or equal to o?
True
Suppose -4*b = -2*a + 12, 0 = -a + 5*a + 5*b + 28. Is -24/13 less than or equal to a?
False
Suppose 0 = -h - 4*h - 5*y - 15, 4 = -y. Is 6 at most h?
False
Let p(j) = j + 2. Suppose 2*m + 3 + 5 = 0. Let y be p(m). Which is bigger: -4/7 or y?
-4/7
Let r = 1.4 + 0.6. Let j = 0.329 + -0.129. Is j > r?
False
Let z(n) = -21*n - 11. Let x be z(6). Let j = x - -3427/25. Is 0 > j?
False
Let c be (13 - 1/(-1)) + 1. Suppose 4*y = -2*j - 18, -y - c + 6 = 5*j. Which is bigger: y or -2?
-2
Let g(c) = c**3 + 9*c**2 + 7*c - 5. Let n be g(-8). Let o be (-4)/(-18) + (-128)/(-72). Let a = 5 - o. Is n at least a?
True
Let u = 51 + 19. Is u != 70?
False
Let g = 4 + -4. Let a = -1 - g. Is 0.1 > a?
True
Let v be ((-3)/(-2))/((-6)/8). Let t(g) = -g**3 - 3*g**2 - g + 2. Let l be t(v). Let s = 6 + -17/3. Is s less than l?
False
Let p = 13 - 8. Suppose 0 = x + 5*n + 8, 0*x + p*n = -3*x - 24. Which is smaller: -9 or x?
-9
Let t be (-195)/(-18)*(-9)/(-30). Is t at least as big as 2?
True
Let f be ((-8)/228)/(2/53). Let h = -5/19 - f. Is h > 0?
True
Let m(z) = z**2 + 19*z - 17. Let a be m(-20). Which is bigger: a or 4?
4
Let t be ((-8)/(32/6))/(-6). Which is smaller: t or 48?
t
Let n(s) = -s + 5. Let o be n(7). Let r be (o - -1)*(-3 + 4). Is r greater than 0?
False
Let o be -2 + -2 + (-33)/(-1 + -2). Are 52/7 and o nonequal?
True
Let o = 17 + -20. Which is greater: 0 or o?
0
Let y(j) = -j**3 - 3*j**2 + 2*j + 4. Let z be y(-3). Let q(f) = -f**3 - 7*f**2 + 4. Let r be q(-7). Suppose 5*m - r - 6 = 0. Which is smaller: z or m?
z
Let b(o) = -o**2 + 2*o + 1. Let k be 70/21 + 4/(-3). Let d be b(k). Do d and 12 have different values?
True
Suppose -u + 10 = 3*v, -2 = -v - 0*v. Suppose 1 = n + u. Which is smaller: n or -2?
n
Let u = 7.9 - 8. Let y = 5 + -7. Let h = y + 2. Is h equal to u?
False
Let j(s) = -s**2 - 3*s + 10. Let f be j(-5). Which is smaller: 14 or f?
f
Suppose 0 = p - 3*f + 20, p - 3*f = 4*p. Suppose -4*n = 5*k - 10*k + 36, -2*k - 4 = 3*n. Suppose k*x - 7 = -27. Is x <= p?
True
Let j be 25/27 - (-9)/(-9). Let o(y) = -y**2 + 4*y + 1. Let m be -1 - -3 - 6/(-3). Let x be o(m). Is x at least as big as j?
True
Let z(k) = 2*k**2 - k + 2. Let o be z(0). Does o = 4/3?
False
Suppose 5*y + 2*s + 3*s = 25, -3*y - s + 13 = 0. Suppose 3*w - y*z = 31, 3*z + 12 + 0 = 0. Suppose 2 = -5*a - 4*m - 3, 0 = a - w*m + 1. Is a at most -2?
False
Let r = -0.5 + 0.4. Let y be (-4)/(2 + -2 + -1). Which is smaller: r or y?
r
Let k be -5*((-2)/5 - 0). Let s be k*(-2)/4 - -1. Suppose 3*j - j = j. Is j greater than s?
False
Let i be ((-20)/6)/(4/(-6)). Suppose -20 = -i*f - 0*f. Is f less than 4?
False
Let r = -16234286/105 + 154614. Let w be 1/(-30)*59 + (-21)/(-42). Let n = w + r. Which is smaller: 0 or n?
0
Let u = 1379/27 - 51. Are u and 1 non-equal?
True
Let v = -42 - -45. Which