t o = -7 - j. Are o and -2 equal?
False
Let y(v) = -58*v + 149. Let x be y(6). Is -200 less than or equal to x?
True
Let c = 14 + -10. Suppose -3*k - 10 = -5*w, -c*k - 5*w - 5 + 15 = 0. Is k at least as big as 40?
False
Suppose 3*f - 23 = -3*p + 4, 4*p + 2*f = 26. Suppose 2*j = 0, -p*q + 4 = -0*q + 3*j. Let d be -2*q/(44/24). Which is greater: -1 or d?
-1
Suppose 2*p = -3*g - 199, -6 + 4 = -2*p. Is -68 greater than g?
False
Suppose 16 + 2 = -18*o. Let t(n) = n**2 + 10*n - 3. Let w be t(-6). Let q = w - -107/4. Which is bigger: o or q?
q
Let v = -29 - -33. Let z be 12/v + (-3)/3. Suppose z*g + 20 = -4*h, 6*h + 5*g = h - 35. Does -20/7 = h?
False
Suppose -2*t + 4*h = -96, 240 = 5*t - 3*h + 4*h. Which is smaller: 41 or t?
41
Let n(h) = -2*h - 2. Let v be n(-1). Let s = v + 3. Suppose s*k - 4 = -1. Is k >= -3/10?
True
Let y = -0.27 - -0.37. Is 331 smaller than y?
False
Let z = -1.83 + 9.73. Let j = -6.4 - 1.6. Let t = j + z. Are t and 0.3 unequal?
True
Suppose 133 - 853 = -5*f. Let h be 3/(f/5)*4. Are h and 0 unequal?
True
Let t = -32.49 + -3.51. Is 1/6 greater than t?
True
Let b be (-18)/(-15)*4/(72/(-14)). Is b bigger than 0?
False
Let j = -1025.8 + 1026. Is j <= 18/23?
True
Suppose 2*b = 5*a + 10, 0 = 4*a + 2*b - 3 - 7. Suppose -p + 3*h = 3, 2*p + 3*h - 2 - 1 = 0. Is a != p?
False
Let n be -3 - (11544/(-3620) + 3/15). Is n >= 0?
False
Let j(s) = 106*s - 406. Let z be j(-3). Are -724 and z equal?
True
Let v = -0.22 - 40.78. Let c be (-185)/148*(-4)/10. Is c <= v?
False
Let m = 11 + -12.9. Let w = -1.878 + -0.002. Let p = m - w. Which is bigger: 0.2 or p?
0.2
Let b = -6149/2166 - -2/361. Is -3 >= b?
False
Let f = 102 - 61. Let v = f + -47.8. Let w = v + 7. Is 1 not equal to w?
True
Suppose -29*y = -32*y. Does y = -1/212?
False
Suppose 0 = -5*d + 13 + 12. Suppose j = 2*y - 7, -5*y - 10 = 3*j - 0*y. Let u = d + j. Do u and 0 have different values?
False
Suppose 3*p = 3*w + 147, -2 = -4*w + 5*w. Suppose -50*z - 9 = -p*z. Which is smaller: z or -1/11?
z
Suppose -10*s + 15*s = 55. Let l = -0.042 + 0.242. Which is bigger: s or l?
s
Let o(t) = -t**2. Let v be o(1). Let l be ((-1)/5)/(3/15). Let d be (2 + 1)*-2*l/(-3). Is d greater than or equal to v?
False
Suppose -5 = -5*n + 15. Suppose -n*v = -16 - 4. Suppose x - 4*p = -2*x + 26, v*x + 3*p + 5 = 0. Which is smaller: 3 or x?
x
Suppose -3*j + 7 = 5*x + 1, 5*j - 10 = 4*x. Let s = -12 - -21. Let v = s - 14. Which is smaller: v or j?
v
Let i = -85907 - -862737/10. Let x = 367 - i. Which is greater: x or -1?
x
Suppose -71*q + 11 = -60*q. Let m = 19 + -36. Is m at most q?
True
Let l = 23.2 + 3.8. Let d = 22 - l. Which is smaller: d or 1/3?
d
Let j(n) = -n**3 + 4*n**2 + n + 4. Let x be 4 - ((0 - -1) + -1). Let f be j(x). Which is smaller: 9 or f?
f
Let g = -419 - -392.1. Let j = -7.9 - g. Is 2/7 at most j?
True
Suppose -4*t - 15*y + 13*y - 46 = 0, -2*t + 5*y = 29. Let a = -49 + 35. Which is smaller: t or a?
a
Suppose 2*s + 42 + 34 = -4*c, 141 = -4*s + 3*c. Let w be 48/s*(-18)/4. Suppose 54 = 5*p - w. Which is smaller: p or 13?
p
Let z be (-46)/(-69)*(0 + 3). Are 4 and z equal?
False
Suppose 47 = x + 2*d + 3*d, 122 = 4*x - 2*d. Let v = 32 - x. Which is smaller: v or -1.1?
-1.1
Let c = -963.9 - -961. Which is bigger: c or 1?
1
Let a = 0 - 9. Is -9 at least a?
True
Suppose 0 = -3*q - 3, -v + 53*q = 57*q + 13. Suppose 0*o = -o. Suppose -10 = p - o*p. Is v at most as big as p?
False
Let y be 6/(-4)*(-4)/(-15). Suppose 0 = -2*l - 2*l - 52. Let b = 14 + l. Does b = y?
False
Let t = 589 + -697. Do t and -111 have the same value?
False
Let w(b) = 6 + 8 + 0 - b**2 + 13*b - 2. Let v(k) = k + 1. Let t(a) = 6*v(a) - w(a). Let h be t(7). Which is smaller: h or -4?
h
Let k = -597434/19 + 31457. Let n = -13 + k. Is 0 greater than or equal to n?
False
Let l = 74 + -30. Let q = 39 - l. Do -5 and q have different values?
False
Let p = 12/439 - -95023/8780. Let z = p - 11. Let b = z + -1/10. Is 0.2 > b?
True
Let g = 3255 - 3255.054. Do 14 and g have different values?
True
Let i = 25.5 - 25. Let b = i - -3.5. Are 2/9 and b equal?
False
Let k(f) = -27*f + 163. Let y be k(6). Which is bigger: y or 2/297?
y
Let m = -147017/7 + 20933. Is -69 bigger than m?
True
Let y(l) = l**3 + 15*l**2 + 15*l + 12. Let b be y(-14). Let d = 0 - 5. Let m be b/d*70/(-42). Which is smaller: 0 or m?
m
Let v(f) = 27*f - 31. Let l be v(3). Which is smaller: l or -1?
-1
Let x(y) = -2*y - 1. Suppose -5*z = -2*r + 25, -3*z - 9 - 6 = r. Suppose r = -5*o - 5. Let s be x(o). Are s and 2/5 unequal?
True
Let f(v) = 6*v**3 - v**2 + 14*v + 19. Let a be f(4). Is 443 equal to a?
True
Suppose 2*d - 88 = -2*d. Let b = -21 + d. Are -4/19 and b nonequal?
True
Suppose -2*a + 2*n = -318, 3*a + 41*n - 38*n - 459 = 0. Which is smaller: 154 or a?
154
Suppose 0 = -2*z + 2*c - 40, z - 3*z - 4*c - 40 = 0. Let b = z - -21. Are 4 and b nonequal?
True
Let q(i) = -7*i + 9. Let l be q(-5). Let k = -521/2 + 221. Let z = l + k. Is z greater than 6?
False
Suppose -6*c - 1340 = -c. Which is smaller: c or -269?
-269
Suppose -d = 4*d - 10. Let q be ((-3)/d)/((-5)/(-150)). Let y be ((-4)/14)/(q/(-21)). Is 0 at most as big as y?
False
Let j = -7 + 5. Let r be (j/9)/((-5)/3). Let x(y) = -243*y - 11906. Let d be x(-49). Which is greater: r or d?
d
Let k(n) be the first derivative of n**4/4 + 4*n**3/3 - 2*n**2 + 4. Let w be k(-5). Which is bigger: -4 or w?
-4
Let c be 0/(-4 + 2) + 2 + -2. Suppose c = -6*f + 6. Which is smaller: 3/19 or f?
3/19
Let n(y) = -1217*y - 6 - 92 + 1223*y. Let t be n(28). Which is smaller: 69 or t?
69
Suppose -90 - 64 = 14*w. Which is smaller: -57/5 or w?
-57/5
Let l = -11012/35 + 1576/5. Let i be (-2)/(-4)*(1 - -1). Which is greater: l or i?
i
Suppose 0 = -2*h - 5*x - 8, 4*h = h + 3*x + 9. Let n be 1*(0 - (h + 0)). Let d be (-10)/7*2/(-10). Which is smaller: d or n?
n
Let w = 794 + -792. Let n be (3/1)/(4 - 3). Let m = n - 2. Which is bigger: w or m?
w
Let r be (3 - -2)*32/5. Suppose 0 = -3*g - 5 - 10, 3*b = -3*g + 69. Let h = b - r. Is -7/2 not equal to h?
True
Let k = -4 + 6. Suppose 62 = -3*n + 44. Let z be (n/51)/(0 + k). Which is smaller: 1 or z?
z
Suppose 5*s - 25 = 0, s = -5*r + 11 + 64. Let t(l) = -l**3 + 15*l**2 - 14*l - 20. Let y be t(r). Let j = 16 + y. Is j <= -4?
True
Let d(i) = 3*i**2 - 2*i - 57. Let l be d(8). Is 121 smaller than l?
False
Let t(j) = -2*j**3 + 9*j**2 - 2*j + 12. Suppose -5*y - 5*l + 35 = 0, -7*l + 2*l + 20 = 2*y. Let p be t(y). Do p and -23 have different values?
False
Let k be 1022/(-5010) + 8/40. Let x = 1511/2004 + k. Do 1 and x have the same value?
False
Let n = -287/4239 + -1/157. Let v be (-9)/(4 - (-42)/(-10)). Let b be 1/2 - v/50. Is b greater than n?
False
Let x = 20.1 - 3.1. Let n = x + -17. Which is bigger: n or 1?
1
Let b = -276.979 - -277. Is 0.1 greater than or equal to b?
True
Let r = 681775 + -64767458/95. Let s = r + -63/5. Suppose -2*t = y + 4, 0 = -2*t + y + y + 8. Is s >= t?
False
Let v = -7.8 - -6.8. Is v equal to -7?
False
Suppose 0 = 4*l - 5*m - 51, 5*l + 0*l = 3*m + 80. Let j = -17 + l. Suppose -a + 6 = j*a. Do a and 4/3 have different values?
True
Let n(k) = k**2 - 6*k + 5. Let d be (0 - 2)*(-2)/2. Suppose -4*r - 3*b + 6 + 8 = 0, -2*b = -d*r + 14. Let q be n(r). Are q and -1 equal?
False
Suppose 92 = -3*r - 5*q, -2*r - 8*q + 4*q - 60 = 0. Suppose 2*c = 5*s - 73, 92 = -3*c + 3*s - 13. Are c and r equal?
True
Suppose 352 = l + 153. Are l and 199 equal?
True
Let b(j) = j**2 + 11*j - 10. Let a be b(-12). Let l be 1 + a/2 + -3. Which is bigger: -2/67 or l?
-2/67
Let v be (-42)/(-24)*(2 - -2). Suppose -3*x + 14 + v = 0. Suppose x = c + 14. Which is bigger: c or -9?
c
Let m be ((-28)/(-35) - 1) + 12/10. Which is smaller: m or 49/24?
m
Suppose 3*m = -5*j - 4, 3 + 4 = 4*j - m. Suppose -s = c - j, s + 2*s + 9 = 3*c. Suppose 3*f = 5*t - 8, -5*f - 4*t - 3 + 2 = 0. Do s and f have the same value?
True
Let r = 343.5 - 343.4. Let s = 74 - 120. Which is smaller: s or r?
s
Let k be (1 - 2) + (4 - -43). Suppose -3*d - 4*c = k, d + 2*c = -c - 22. Let u(w) = w**3 - 10*w**2 + 7*w + 7. Let r be u(9). Which is greater: r or d?
d
Suppose -12*f = -7*f - 40. Let b be 24/(-8)*f/6. Let x = b + 3. Which is smaller: 1/19 or x?
x
Let g = -3 - -27. Let f = 24.01 - g. Let c = -0.2 + 0.1. Which is smaller: f or c?
c
Let t(y) = -3 - y + y**2 + 