Let o = 109.38 + 1.62. Let a = o + -106. Do a and -0.9 have different values?
True
Let h be 4/((-216)/99) + 2. Let p = -0.3 - -0.1. Let s = -0.2 - p. Which is smaller: s or h?
s
Let i = 429 + -508. Is i greater than -76?
False
Let l = -33640/63 + 534. Is 1 equal to l?
False
Let a = 0.4 - -0.81. Let y = a + 0.69. Are y and -1/3 nonequal?
True
Let v = 859/35 - 148/7. Which is greater: v or 2?
v
Let a = -29.32 + 29.2. Which is greater: 0 or a?
0
Let z(j) = 2*j + 16. Let b be z(-9). Let q be 2 + (b/(-32))/((-13)/130). Which is bigger: 1 or q?
q
Suppose g + 2*g + 12 = 3*k, -12 = -4*k + 2*g. Suppose -4*j = k - 26. Suppose 0 = j*o - o + 20. Which is bigger: 0.1 or o?
0.1
Let m(h) = 3*h - 4. Let x be m(-2). Let g be ((-2)/(-6))/(1/174). Suppose 53 = -5*n - 2*d, -7*n + 2*n - g = -3*d. Is n < x?
True
Let a be 4/10 + (-43)/20. Let t be -2 + ((-3)/(-1) - -4). Let y = -8 + t. Are a and y non-equal?
True
Let s = -59 + 67. Let y(c) = 2*c**2 - 18*c + 5. Let b be y(s). Do b and -11 have different values?
False
Let c be 305/(-4) + -1 + 60/48. Are c and -73 equal?
False
Suppose 2*t - 13 = -3*b + t, 4*t = 16. Which is smaller: b or 27/8?
b
Let o(t) = 2*t**3 + 21*t**2 - 5*t - 13. Let g be o(-6). Is 341 >= g?
True
Let r be 1/1*(-6)/(-57). Let a(c) = c + 9. Let k be a(-10). Is k at most r?
True
Suppose q + 21 = -2*q - 3*t, 5*q + 2*t + 29 = 0. Let u be 6/(-5)*q/9. Which is greater: 2 or u?
2
Let g = -531 + 599. Is 70 <= g?
False
Let x be ((-28)/2)/(15 - 17). Suppose 2*o - 4*o - q = -14, 0 = o + 3*q - x. Do o and 10 have the same value?
False
Let z(j) = j - 5. Suppose -5*p + 125 = -2*c, 3*p = -p - 3*c + 100. Let b = p - 16. Let w be z(b). Is w >= 1?
True
Suppose -4*r - 5 = -13. Suppose -10 = -3*t + x, r*t + 3*x - 5 = 2*x. Let h = -6 - -10. Which is greater: t or h?
h
Let w = -101.22 + 102. Let k = -1.22 - w. Is k greater than 33?
False
Let b be 8/16 - 1881/3778. Let h = b - 232363/7556. Let z = h + 32. Which is smaller: z or 1?
1
Let u = -5 + 5. Suppose -14 = w + 4*t, u*w - 3*t - 39 = -4*w. Let a be (-15 - -5)*w/195. Which is greater: -1 or a?
a
Let a be 50/(2 - ((-3)/3 - -5)). Is -26 at most as big as a?
True
Let f(y) = -3*y - 5. Let p be f(-4). Let g(i) = i**3 + 3*i**2 - 2*i + 1. Let d = 2 - 5. Let h be g(d). Is p equal to h?
True
Suppose -213 - 219 = 18*r. Which is smaller: r or -27?
-27
Let w be (-1)/(1*(-3)/18). Suppose 0*p + 0*p = -w*p. Is p <= -5/13?
False
Suppose -2*x + 10 = 3*x. Let z = 7 - 0. Suppose -2*o - 4*r = -z*o - 6, -r = -4*o + 4. Is o bigger than x?
False
Let m = -918328388868419/9553623120 + 223006679/2320. Let g = 10/4717 + m. Let l = 1768/9603 + g. Which is bigger: l or 1?
1
Let a = 1 + 3. Suppose 4*f = -3*k + 14, f = -4*k + a*f + 2. Suppose n + 5 = 5*h, k*n + 1 = -0*n + h. Which is smaller: 1 or n?
n
Let v(h) = -h**3 + 5*h**2 - 7*h + 3. Let u be v(3). Suppose -j + u*m - 5*m - 25 = 0, 3*j - m - 5 = 0. Let t be (j - (-3 + 4))*0. Are -8 and t non-equal?
True
Let h = 0.5 - 0.42. Let k = 0.9824 - -0.0176. Which is smaller: h or k?
h
Suppose -2*v - 10 = -4*v. Let k = v - 14/3. Which is greater: k or 0.3?
k
Let l(c) = 6*c - 4. Suppose 0*u = 4*u - 12. Let q be l(u). Suppose -5*i + q = -16. Which is greater: 7 or i?
7
Let k = -1.64 + 0.1. Let g = -1.6 - k. Which is greater: g or 0?
0
Let w = -245.8 + 781.8. Is 0.1 at most as big as w?
True
Let s = 31 - 50. Let q = s + 22. Let c = 0.07 + 2.93. Is q less than c?
False
Let h(d) = -17*d**3 + d**2 + d. Let y be h(-1). Let a = y + -5. Let r = 35 - 24. Which is smaller: a or r?
r
Let d = -66 - -66. Which is smaller: d or 3/4?
d
Let u = 0 + 2. Suppose 0 = -3*g - u*o - 2*o - 34, -g - 18 = 3*o. Let q be (g/(-16) + 0)/3. Which is greater: -1 or q?
q
Let z = 2.62 + 0.48. Let l = z + -1.7. Let r = 0.4 - l. Which is bigger: -7 or r?
r
Let i = -125 + 123. Is i < -87?
False
Suppose 0*i + 25 = -5*i. Suppose 5*a - 5*d + 2 = -8, 0 = -4*d - 20. Is i greater than a?
True
Let p be (-140)/(-21) - (-4)/(-6). Let r be (6/p)/(1/13). Is r less than 13?
False
Let i = 355 - 233. Let g = 124.5 - i. Let w = 2 - 2. Is w less than g?
True
Suppose 4*l - 482 - 262 = 2*h, -l = h + 363. Let n = h - -2933/8. Are n and 0 equal?
False
Let q = -10 - 4. Let p = 5 + q. Which is smaller: 1/4 or p?
p
Suppose 6*g + 27 = -3*n + 3*g, -35 = 5*n - 5*g. Let o = 6 + n. Let s be (22/o - -1) + -2. Is s at most as big as -11?
True
Let t(m) = 45*m - 44*m + 1 + 5. Let l be t(-5). Suppose 4 = j + 1. Is j at most l?
False
Let i be -8 + 0 - -15 - 364/(-20). Is i at most as big as 25?
False
Let p(k) = k**3 - k**2 + k - 1. Let f be p(0). Let n be 3428/(-858) + 6 - (15 + -13). Which is smaller: n or f?
f
Let w(g) = -2*g**2 - g. Let p(l) = -l**2 + 9*l - 15. Let a be p(7). Let q be w(a). Which is bigger: 3/17 or q?
3/17
Let o = 0.06 - -18.94. Let t = 24 - o. Which is smaller: -1 or t?
-1
Let q be 16/16*374/(-50) + 6. Which is bigger: -2 or q?
q
Suppose 0 = -j - 2*j + 18. Suppose 0*w + j = 3*w. Let v be 5/(-15) + (-20)/(-6). Which is greater: v or w?
v
Let u(x) be the third derivative of x**6/120 + x**5/30 + x**4/24 + x**3/6 + 3*x**2. Let d be u(-2). Which is smaller: -4/7 or d?
d
Let b(p) = -p + 10. Let i be b(8). Suppose i = 2*l - 6. Let x be l/(-25)*(-5)/6. Which is smaller: x or -1?
-1
Let a = -2.4 - -1. Let s = 0.4 + a. Let r = -1839 - -12875/7. Which is bigger: s or r?
r
Let m = 0.0021 - -5.9979. Is 0.32 >= m?
False
Suppose -4*l - 5 = -5*l. Let v = 0 + l. Suppose 23 = -3*j + v. Do j and -5 have the same value?
False
Let p = -11 - -19. Let r be (1 - 2)*(p - 1). Let h = 3014 + -3020. Is r != h?
True
Let t = -7/101 + 799/14443. Let s = -8 - -8. Which is smaller: s or t?
t
Let d be (-534)/(-27) + 4/18. Which is greater: d or 22?
22
Suppose c - 6 = 11. Let y = c - 17. Let m be (-2)/(-6)*y/(-1). Does m = -1/7?
False
Suppose 3*c = -l - 9, -l = -3*c - 5*l. Let j(m) = 55*m - 2753. Let k be j(50). Is c greater than k?
False
Suppose 0 = -3*v + 9, -3*m - 3*v = -7*v - 3. Suppose -4*t = -3*w - 56, 3*w - 19 = -t + m*w. Which is bigger: 12 or t?
12
Let k be 7 - 3*(-4)/(-6). Let d be (2/k)/((-264)/(-60)). Is 0 at least as big as d?
False
Let l = 2 - 1.93. Let t = l - -0.03. Suppose -4*r = -s - s + 54, -4*r + 4*s - 60 = 0. Which is smaller: t or r?
r
Let i = 283 + -246. Is i < 0?
False
Let l = 1 + 3. Let j be l - 3 - (-14)/(-26). Which is smaller: 1 or j?
j
Let l = 12168 - 1046487/86. Let y = l + -2/43. Which is bigger: -4 or y?
y
Let d = -38 + 39.5. Let b = d - 1.4. Which is smaller: 13/6 or b?
b
Let s = 37 - 33. Let k be (3/(-5)*-2)/(s/20). Are k and 5 nonequal?
True
Let s = 275 + -276. Which is bigger: s or -10/47?
-10/47
Let d = 6.59 + -7. Let k = d + 0.21. Let a = 0.4 + -9.4. Is k greater than a?
True
Let p = 432/5 + -86. Suppose -2*h - 2*h - 36 = 0. Let u = h + 8. Which is bigger: p or u?
p
Let w = 10.5 - 5. Let j = w - -0.5. Let c be -4*((-2)/(-4))/(-1). Is j bigger than c?
True
Let j(q) = q**3 + 6*q**2 + 7*q - 15. Let a be j(-5). Is -20 != a?
True
Let r be (-1)/(-6) + 1162/84. Suppose -12 = r*b - 17*b. Suppose 0 = -l - 3*t + 4, t + b = 2*l + 3*t. Which is smaller: l or 3/13?
3/13
Let r be ((-1761)/879 - -2)/(130/325). Is r not equal to -1?
True
Let o(h) = h**3 - 28*h**2 - 30*h - 8. Let w be o(29). Which is smaller: -39 or w?
-39
Let j(b) = 4*b - 15. Let u be j(6). Suppose 15 = -5*s, 6*p - 3*p = -3*s + u. Suppose -2*k + 2 - p = 0, 2*a - 3*k - 6 = 0. Is 4/5 less than a?
False
Let k be 74/5 - 2/(-10). Let s be (2 - (-24)/(-20))*k. Let h be (0*(-4)/s)/(-1). Is h smaller than 2/3?
True
Suppose -2*q + 3*q = 0. Let i = 5 + q. Suppose -2*l - i + 3 = 0. Which is bigger: l or 1/3?
1/3
Suppose -15 + 14 = -a. Let g be 0/((-3 - 2/(-1))/a). Is 0.4 > g?
True
Suppose 21 = -c - 5*f + 17, -c - f = 0. Which is smaller: -5/78 or c?
-5/78
Let x be 1*(-1)/(-6) - 1. Let q = 0.59 + 3.41. Is q < x?
False
Suppose -18 = -2*u - 20. Let y be 2*(-2)/4*1/u. Which is smaller: y or 1/98?
1/98
Let o = 216 - 215. Is -0.027 greater than o?
False
Let s(b) = -b**3 + 7*b**2 + 9*b - 7. Suppose 4*f - 20 = -2*c - c, 4*c + 3*f = 29. Let a be s(c). Suppose 7 = -6*g + a. Which is bigger: -3/2 or g?
g
Let k be (8/16 - -1)*-2. Which is bigger: -4 or k?
k
Suppose -5*l + 24 = 14. Suppose 3*o = -o, l*o - 152 = -4*k. Do 39 and k have different values?
True
Let z = 248/645 - -2/129. Suppose d = -3*r + r + 6, 0 = 5*r + 2