 g = s + 605/4. Do -2 and g have different values?
True
Let y = 1889 + -202121/107. Which is smaller: -2/3 or y?
-2/3
Let s = 14 + -20. Which is bigger: s or 1/2?
1/2
Let t = 1023/5750 + -1/250. Is 1 != t?
True
Let s = 8525962823609 - 52102158650032646/6111. Let m = s + -189053/7. Let v = m + -2/291. Is -1/2 != v?
True
Let m(g) be the third derivative of -g**6/120 + g**5/30 - g**4/12 + g**3/2 - 2*g**2. Let w be m(2). Is w at most 1/5?
True
Let a be (15/10)/(3/(-4)). Is -12/19 < a?
False
Let l = -169005 - -66906. Let b = -1224419/12 - l. Let x = b - 64. Are x and 0 equal?
False
Suppose -u + 4*x + 7 = -2*u, 6 = -u - 3*x. Let o(m) = m**2 + 2*m - 3. Let z be o(u). Let a = 1/2 + -5/6. Is a at least as big as z?
False
Let n be (-2 - -3 - 1)/(-1). Suppose n = -2*z - 7 + 9. Is -2/41 < z?
True
Suppose -3*x + 2*z = 5*z - 9, 2*z = -x + 6. Suppose 2*b + 4 = 4*u + 2, -5*b - 5 = -2*u. Which is greater: x or b?
x
Let d be (1 - 0)/(-1) - 1. Let r = d - -1. Let f = 148 - 1330/9. Which is smaller: r or f?
r
Let z be 1/3*(-3)/(-4). Suppose 0 = -5*r + 5, -2*x - r + 2 = -3*x. Let t = z + x. Is t at most 0?
True
Suppose 0 - 12 = 2*d. Suppose -3*h - p + 12 = 0, 5*p = -4*h + 5 - 0. Suppose h = -2*u + u. Is d greater than u?
False
Let z = -58 + 304. Let y be z/(-24) - 1/(-4). Let b be y/(-8) - 4/16. Is 1 at most as big as b?
True
Let d = -27 - -27.1. Let y = -0.2 - -0.2. Let m = y + 1. Is d > m?
False
Let m = -112 + 1119/10. Let w(k) = k + 2. Let l be w(-3). Is m smaller than l?
False
Let r be (0 - -1)/(2/12*2). Which is greater: r or 9?
9
Let b = -0.13 + -1.07. Let f = -23.9 + 23. Let a = f - b. Which is bigger: a or -0.1?
a
Suppose -3 = -2*g + 19. Suppose 3*q + g = -4*z, -4*q - 4 = -0. Does -2 = z?
True
Let u be ((-12)/90)/((-4)/(-5)). Let c be 1/2 - 3/6. Is c bigger than u?
True
Let j = 28345/4 + -7038. Let t = j + -49. Let x = -1 + 1.1. Which is smaller: x or t?
t
Let v be (72/(-512))/(3/(-4)). Which is smaller: -1 or v?
-1
Let h(j) = -j**3 - 10*j**2 + 9*j - 10. Let y be h(-11). Let f be ((-4)/6)/((-2)/y). Which is bigger: f or 0?
f
Let p = 4 - 2. Suppose -5*y + 12 = -p*y. Which is smaller: y or 0.1?
0.1
Let n = -12 + 8. Let f = n + 2. Let x be (f - 0 - 0) + 2. Which is smaller: 2/15 or x?
x
Let z = 4 - 2. Let a be 0/((z - 0)/2). Is a greater than or equal to -3?
True
Let n(o) = o - 1. Suppose -3*t = -2 - 1. Let m be n(t). Is m > -2/19?
True
Let a = -2/523 + 1609/10460. Which is bigger: 1 or a?
1
Let o = -48 + 55. Are 4 and o nonequal?
True
Let f be 220/12 - (-3)/(-9). Suppose -4*t = -5*c - 11, -3*t = -8*t + 2*c + f. Is t not equal to 5?
True
Let z = -27.11 + 27. Let o = 1.89 - z. Which is bigger: -3/2 or o?
o
Let d(s) = -s - 4. Let w be d(-6). Suppose 0*k + 5*k = 50. Let m = -8 + k. Is m bigger than w?
False
Suppose 5*v + 0 - 13 = -3*d, -4*d = -5*v + 6. Which is smaller: d or 2/5?
2/5
Let b = -37 + 38. Which is bigger: 4/13 or b?
b
Suppose 0 = 5*c - c - 4. Let r = 3 - 3. Is c greater than r?
True
Suppose 40 = 3*y - 5*j, y + 3*j + 20 = 2*y. Let b(q) = -5*q - 7. Let g(h) = -h - 1. Let r(o) = b(o) - 6*g(o). Let m be r(y). Is 6 not equal to m?
True
Let m = 370 - 2955/8. Let h = -23/24 + m. Is 0 < h?
False
Let q = 1/42 - -37/210. Let s = -652/51 - -38/3. Which is smaller: q or s?
s
Let f = 2.061 + -0.061. Which is greater: -30 or f?
f
Let j be 4 - ((4 - 4) + 23). Is j greater than or equal to -18?
False
Let s = -3631/3 - -1227. Which is smaller: 18 or s?
s
Let r be 2/6*(-6)/(-8). Is r not equal to -10/13?
True
Let p = -15345536 + 32147197/2. Let y = 1594455979/2190 - p. Let a = y - -2/219. Which is bigger: a or -1/3?
-1/3
Let z be 3 - 5 - (-4 + 2). Let v(x) = x - 4. Let i be v(0). Let y be ((-2)/36)/((-1)/i). Do z and y have different values?
True
Suppose -5*u + 17 + 3 = 0. Let q be u/12 + 4/6. Which is smaller: -2/9 or q?
-2/9
Let s be ((-4)/(-12))/(2/6). Let x be 1 + -2 + 0 + 1. Which is smaller: s or x?
x
Let d = 3/8 - 111/40. Which is smaller: d or -3?
-3
Let o be ((-1)/(-3))/(1 - 0). Let q(m) = -m**2 + m + 3. Let w be q(0). Suppose 0 = w*n - 8*n + 5. Do n and o have the same value?
False
Suppose 6*z = 14 - 44. Let i(v) = v**2 + 5*v - 1. Let n be i(z). Is n >= 1?
False
Let a(m) = -2*m + 21. Let p be a(9). Let c be (1 - 0)/((-1)/p). Which is greater: -4 or c?
c
Let q = 4/21 + 1/7. Which is bigger: q or -1?
q
Let z be ((-11)/(-22))/((-1)/14). Let y = -0.02 - -0.02. Which is smaller: y or z?
z
Suppose 50 = 2*w - 4*w. Let f = 24 + w. Which is bigger: 1/19 or f?
1/19
Let f be 0/(-1 + 0/2). Let r = -50 + 50.1. Which is bigger: f or r?
r
Let f = 8 + -5. Suppose -f*u + 6*u = 0. Which is smaller: u or -2/43?
-2/43
Suppose -5*z + 4 + 6 = 0, -3*b + 2*z - 7 = 0. Let j = -2 - -1.8. Is b >= j?
False
Suppose 4*s - b = 2*b + 31, 0 = 5*s + 4*b - 62. Suppose 5*o = 0, 7*z - 2*z + 3*o + s = 0. Let l be 4/1 - 0/z. Which is bigger: l or 3?
l
Let f = -79/24 - -21/8. Let p be (-4)/4 + (4 - -1). Let d be 3/(-2)*p/3. Which is smaller: f or d?
d
Let u = -0.06 - 0.74. Let p = -1.1 - u. Is -1 equal to p?
False
Let c(s) = -4*s**2 - 1. Let y be c(-1). Let t be (y/(-2))/(-5)*-2. Let g = 11 - 32/3. Which is smaller: t or g?
g
Let m = -2/889 - -16899/3556. Is m <= 6?
True
Suppose -27 = 7*i - 4*i. Which is bigger: i or -29/3?
i
Let n(b) = b**2 + 6*b + 5. Let u be n(-5). Let f = 61969 + -7374258/119. Let t = 10/17 - f. Are t and u nonequal?
True
Suppose 2*c - 5*d - 28 = -1, 4*d + 22 = 2*c. Let u(i) = i**3 + 8*i**2 + i + 6. Let m be u(-6). Let j = 361/5 - m. Are c and j non-equal?
True
Suppose p - 2 + 3 = 0. Suppose f + 3*j - 12 = 0, 5*j - 9 = 2*j. Suppose 5*k - k + 24 = 3*l, -5*k - 27 = -f*l. Is k > p?
False
Let c be (-1 - -1)/(-6 - -5). Which is bigger: c or -2/9?
c
Let t = -13/5 + 17/5. Which is smaller: 1 or t?
t
Suppose 5*y + 0 = -10. Let i be 6/15 + 1138/30. Let k = -39 + i. Which is bigger: k or y?
k
Let i = -51883/470 - -552/5. Are 0 and i unequal?
True
Let l = -4 + 3.9. Which is smaller: l or -2?
-2
Let c = -1067/42 + 155/6. Let v(g) = -6*g**2 - 2*g - 1. Let z be v(-2). Let h be 6/z - 6/(-21). Is h less than c?
True
Suppose -49 + 1 = -4*v. Let u = 4 + 1. Suppose -u*q + q = v. Which is greater: -4 or q?
q
Suppose 2 = s - 4. Let r be (-4)/s*18/12. Which is greater: 1/6 or r?
1/6
Suppose -2*q = -4*q. Let g be -3*((3 - q) + -6). Is 9 less than or equal to g?
True
Suppose 0 = 5*o - 8*o - 123. Is o at most -40?
True
Let v = -5 - -7. Let y(i) = 3*i - 6. Let w be y(3). Is v at most w?
True
Let o = -1275 + 13977/11. Is -3 greater than or equal to o?
True
Suppose 0*g = g + 4*o - 8, -5*o + 10 = 5*g. Suppose g = -2*q - 2*q. Let k = 0 + q. Which is greater: 2 or k?
2
Suppose y + 3 - 4 = 0. Suppose t - 2 = -y. Is -2/15 <= t?
True
Suppose -k + 5*k + 8 = 0. Are 0 and k nonequal?
True
Let p be -2 + ((-16)/(-10) - -1). Let b(v) be the second derivative of v**4/12 - 5*v**3/3 - 11*v**2/2 - 4*v. Let h be b(11). Is h greater than or equal to p?
False
Suppose 2*m + 8 = -2*m. Let h be (-42)/(-28) + (2 - 13/3). Which is smaller: h or m?
m
Let v be (42/(-15) - -2)*-15. Suppose -5*w + v = m, -4*m - w - 3*w = -16. Let n be (-128)/(-252) - m/7. Which is smaller: -1 or n?
-1
Suppose 9 = -5*j - 6, -3*m = -j - 9. Is m less than or equal to -1?
False
Let w be (4631255/33)/((-2)/6). Let q = w - -421298. Let s = q - 275. Is 0 equal to s?
False
Let t be (1 + 0)/(4 + -5). Let j be -3 - (6 + 0)*t. Let k = j - 1. Is 0 bigger than k?
False
Suppose 21*d - 24*d - 6 = 0. Which is smaller: -4/5 or d?
d
Let q = -1.8 + 3.8. Which is smaller: q or -0.5?
-0.5
Suppose 3 = -3*b + 12. Suppose v - 19 = -0*v - 5*h, -13 = v - b*h. Which is smaller: v or 2/7?
v
Let s be (-4)/(-35)*(-4)/408*-15. Which is bigger: s or -1?
s
Let b be ((-117)/30 - -4)*4. Which is greater: 0.1 or b?
b
Let f = -491/170 + 3/34. Is -3 != f?
True
Let c = 3.7 - 1.7. Is 11 > c?
True
Let z(l) = l**3 + 10*l**2 - l - 14. Let g be z(-10). Let x be (-6 - g)*1/(-6). Is 0 != x?
True
Let x = 4/31 - -42/155. Which is greater: 3 or x?
3
Suppose 0*p - 5*p = 870. Let w = 873/5 + p. Which is smaller: 0 or w?
0
Let o be ((-12)/(-14))/(1/7). Suppose 12 = 5*v - 4*i, i = -2 + 4. Suppose -c + o = v. Is 2 equal to c?
True
Let y be 1 + 2 - (-15 - -1). Suppose -4*n = 5*w - 7, 2*n = 4*w - y + 1. Is 5 less than w?
False
Let z(v) = -v**2 + 4*v - 4. Let n be z(4). Let i = n + 18/5. Which is s