 = 358 + -220. Is y not equal to 134?
True
Let o = -49 - -48. Which is smaller: o or 4/291?
o
Suppose -2*p = -r + 9, 33 + 12 = 5*r + 5*p. Suppose 4*o - 4 = 3*k + 7, -2*k - r = -o. Are o and -7/3 non-equal?
True
Let s(n) = 11*n**3 - 5*n - 6. Let j be s(-2). Is -83 > j?
True
Let q = -14.7 + 22.4. Let v = q - 6. Let b = v - 0.7. Do 1 and b have different values?
False
Let t(y) = -y + 4. Let d be t(-4). Let s = d - -28. Let k be s/140 - (-6)/(-15). Is k less than or equal to 2/5?
True
Let f be -22*3/(-9) - (-55 + 63). Is -2151 smaller than f?
True
Let r = 19/140 - -3/20. Let l = 702 + -741. Is l > r?
False
Let h = 0.5 - -0.4. Let a = h + 0.1. Let n = -5.78 + -0.22. Is a equal to n?
False
Let n = -20 - -19. Let j = 10 + -7. Suppose j*f = f + 2. Which is greater: n or f?
f
Let l = 184/7 - 26. Are l and -19 non-equal?
True
Let s be 4/18 - (-14)/18. Let c = s + -4. Let g(i) = 2*i**3 + 2*i**2 - 4*i - 1. Let l be g(-2). Which is smaller: c or l?
c
Let o = 14 - 17. Let p = -1.2 - o. Let i = -1.6 + p. Is i greater than 0.3?
False
Let x = -832 + 920. Which is smaller: 91 or x?
x
Let q be (4/2)/(13/65). Let u be 10/(-4) + 1 - (-5)/q. Let n be 1 - (-2)/18*-8. Do u and n have the same value?
False
Let l(x) = -30*x - 6. Let q be l(5). Is -158 less than q?
True
Let t = -53 - -32. Suppose 24 - 2 = -y. Which is greater: y or t?
t
Suppose 4 = f - 4*y + 22, 0 = 2*f - 3*y + 31. Which is smaller: -24 or f?
-24
Let a = 4 - 3. Suppose -3*h = 2 + a. Let f be (-8)/(-437) - 2/19. Is f bigger than h?
True
Let t(v) = -8 + 5*v - 4*v + 2 + 0*v. Let n(k) = 4*k**2 - 2*k - 1. Let x be n(-1). Let i be t(x). Do 1 and i have the same value?
False
Let i be (-180)/(-40) + (-1)/(-2). Suppose -3*z - 41 = 4*k, 0*z + 53 = -i*k - 2*z. Let t = 14 - 26. Which is smaller: t or k?
t
Let l = -29 + 14. Let a = -16.2 - l. Let g = -1 - a. Is g at most 2?
True
Let t(w) = w**2 + 4*w - 13. Let n be t(-8). Suppose -24*u = -n*u + 5. Is -20/13 less than u?
True
Let z(s) = s**3 - 10*s**2 + 8*s + 8. Let h be z(9). Let o be (-10)/(-5)*(h - 0). Which is smaller: -3 or o?
-3
Let k be (2 + (-44)/12)*24/32. Is k at least as big as -1?
False
Let u(a) = 2*a**3 - 2*a**2 - 5*a - 2. Let z be u(-1). Which is smaller: z or 1/35?
z
Suppose 3*q = 5*q + 18. Let d = q - -14. Suppose -d - 3 = -4*x. Which is smaller: x or -0.4?
-0.4
Suppose -3*s + 3*r + 27 = 0, 3*s - 13*r = -17*r + 34. Is s != 13?
True
Let j = 1908.639 - 1909. Is -1/3 <= j?
False
Let l = -15 - 108. Are 2/5 and l equal?
False
Let l = 1.8 - -12.2. Let j = 13.1 - l. Let n = -1.1 + j. Which is greater: 2/5 or n?
2/5
Let d = 7/48 + 179/16. Which is greater: d or 11?
d
Let k = 30 + -50. Suppose 2*w = -f - 37, 13*f - 8*f - 25 = 0. Which is smaller: k or w?
w
Suppose -2304 = 65*i - 97*i. Which is greater: -4 or i?
i
Suppose -2*v - 8 = -k, 6*k - 2*v = 10*k + 8. Which is smaller: k or -3/34?
-3/34
Suppose 14*r = 11*r + 6. Suppose 2 = -r*f - 8. Let m be 2/(-5) + (-18)/5. Which is smaller: m or f?
f
Let g = -18 - -22. Suppose 144 = g*w + 8*w. Is w > 10?
True
Suppose -i + 121 = 120. Let m = 3061/17 - 180. Is m at most i?
True
Let x(i) = 18*i + 75. Let y be x(-6). Is -31 at least as big as y?
True
Let t = -10029 + 1735005/173. Which is greater: t or 0?
0
Let i be (-16)/((-4 + (-140)/(-36))*-6). Let o = -30 - i. Is 4/3 != o?
True
Suppose -w = 16*r - 19*r + 31, 0 = 2*r - 3*w - 23. Let q(y) = 27 - 3*y - 5 + y. Let i be q(r). Are i and 12/7 unequal?
True
Suppose -21*n - 534 = -30. Which is smaller: n or -122/5?
-122/5
Let v(p) = 2*p + 34. Let l be v(11). Which is bigger: 54 or l?
l
Let d = -856/777 + 22/21. Suppose 4*p - 5*v - 15 = 0, 2*v + 2*v + 12 = p. Suppose p = -0*c + 4*c + 4. Are d and c unequal?
True
Let a be (-5)/(10/(-4)) + -5. Let y = 29.89 + -30. Let l = 1.11 + y. Which is greater: a or l?
l
Let j(f) = -f**3 + 2*f**2 + f - 9. Let p be j(4). Let u = p - -36. Which is smaller: -4/13 or u?
u
Let k = -190 - -134. Which is smaller: k or -57?
-57
Suppose 2*r = -r + 15. Suppose -28*b - 32*b = -120. Is r greater than b?
True
Suppose -42*z = -43*z + 8. Let g = -11 + 16. Which is smaller: z or g?
g
Let x = -2257/44 - -644/11. Suppose 0 = 202*g - 205*g + 9 + 15. Is x at most g?
True
Let p = 124.9 + -125. Which is smaller: 4 or p?
p
Suppose 3*w = 2*l + 130, -4*l = 22 - 38. Does 9 = w?
False
Let z = -164 + 149.7. Let n = -1.3 - z. Let x = n - 14. Which is greater: x or 1?
1
Let p = -0.1589 + 0.2789. Do p and 32 have the same value?
False
Let y = 16 + -167. Let a = 460/3 + y. Let f = 32/15 - a. Which is smaller: 1 or f?
f
Let q = 25/28 - 23/4. Is q smaller than -4?
True
Let f = 1501 - 1512. Let c = 0 - 0. Let w = -0.1 + c. Which is smaller: f or w?
f
Suppose 9*x - 2698 - 1775 = 0. Which is smaller: x or 495?
495
Let q(o) = o**2 - 16*o - 5. Let a be q(16). Let d be (-4)/6*(-6 + 0). Let r be ((-10)/d)/(3/6). Is a < r?
False
Let k(d) = d + 6. Let z be k(-6). Suppose 0 = r - 7*r + 24. Let a be (-6 - 8/r) + z. Which is greater: a or -7?
-7
Let x(d) = -23*d - 222. Let g be x(-8). Which is smaller: 4 or g?
g
Let j be ((-19)/1159)/(1/2). Let r = j - -75/427. Is -1 at most as big as r?
True
Suppose -5*w + 9 = -h - 3*h, 4*w = 4*h + 8. Let k be 4 - w - (3 + 1). Let u be (-30)/(-12) - k/2. Which is bigger: u or 5/2?
u
Let r(v) = -4*v - 14. Let o be r(-5). Let g(s) = 13*s + 4. Let c be g(-3). Let d be c/(-147) - 4/o. Is -1/2 at least d?
False
Let f = -41 + 36. Is -4/5 <= f?
False
Suppose 5*c + 3*t = 11 - 4, 0 = 4*c - t + 8. Let g be ((-1)/2)/(c/(-10)). Suppose 0 - 2 = o. Is o greater than or equal to g?
True
Let y = -25.9 - -3.9. Let s = 21.9 + y. Are 2 and s unequal?
True
Suppose -2*u = 2*j - 594, -u + 2*j + j + 293 = 0. Let s = 3260/11 - u. Which is smaller: s or 1/4?
1/4
Suppose s + c + 7 = -4, 3*s = 4*c - 12. Let t = 15/2 + s. Let h = t + 0. Which is greater: -3 or h?
h
Let z = 295 + -294. Which is smaller: -4.5 or z?
-4.5
Let s be (-4 - (-6)/3) + 28. Let f be 4/s + (-88)/(-104). Suppose -f = b + 4. Is -1 != b?
True
Let y = -5939 + 5948. Suppose 3*g - 2*g = 13. Which is bigger: y or g?
g
Let w be 2*(-28)/(-16)*2/(-7). Let r = 7 - 3. Which is smaller: r or w?
w
Let h(z) = 20*z - 41. Let g be h(2). Which is bigger: 1/860 or g?
1/860
Let t(d) = d**3 - 12*d**2 + 26*d. Let a be t(8). Let u = a + 51. Let l = 1/191 - -1907/573. Which is bigger: l or u?
l
Let x = 0.082 + -1.412. Let c = 1.43 + x. Which is greater: c or -2?
c
Suppose -4*n = n + 455. Let a be 1/2 - n/(-14). Let h = a + 5. Is h < -2/33?
True
Let l = 35 - 27. Let f = -3 - -8. Which is smaller: f or l?
f
Let a be (-14)/(-21) + (-5)/3. Let g be (0 - 3 - 90/(-21)) + a. Is g equal to 13?
False
Suppose q + 2*a = -203, -5*q - 461 = 5*a + 549. Are q and -201 nonequal?
False
Let k be 9/9*2/2 + 2. Suppose 0 = 4*c + 3*h + 23, 0*c + c + k*h = -8. Is -8 greater than c?
False
Let l be (3*(-3)/27)/(2/6). Is l at most 3/106?
True
Let j(x) = -21*x - 110. Let g be j(-5). Is -3 at most g?
False
Let u be -1*(72/9 + -12). Let a be (2/(-21))/(1/(-30)). Which is bigger: a or u?
u
Let h(j) be the first derivative of -j**4/4 - 10*j**3/3 - 4*j**2 + 10*j + 5. Let n be h(-9). Is 1/24 smaller than n?
True
Let s = -252 + 258. Let c = 0.2 - 0.26. Let k = -0.14 + c. Which is bigger: k or s?
s
Suppose -5*j = 3*j - 1976. Is j <= 247?
True
Suppose -3*w - 5*t + 21 = 0, 4*w - 3 - 17 = -4*t. Suppose -2*d + i = -3*d - w, -5*d + 4 = -2*i. Is d at least as big as -1?
True
Suppose -2*x + 115 = 4*v - v, -130 = -4*v + 2*x. Suppose 2*l = -2*t - 19 - 1, -5*t - 2*l = v. Are -5 and t nonequal?
False
Let h = 16.7 + -16. Suppose 3*i = -3*n + 87, 0 = 3*n - 6*n - i + 79. Let t = n + -26. Which is smaller: h or t?
t
Let i = 1725 + -1724. Is i < 1/86?
False
Let g = 0.1 + 81.9. Let u = g - 109. Are 2 and u non-equal?
True
Let b = 3002 - 2949. Which is greater: 60 or b?
60
Let x = 27.983 - -0.017. Let l(m) = 63*m + 1510. Let b be l(-24). Is x equal to b?
False
Suppose -25*t = 55*t + 8720. Which is smaller: -542/5 or t?
t
Suppose -5*p + 22 = 3*o - 10, 5*p = -4*o + 36. Let g be p + 3 + -2 + 15. Is 18 at least as big as g?
False
Let q = 17 - 14. Suppose 0 = q*o - 25 - 2. Is o >= 9?
True
Let k(f) = -f**2 + 6*f - 2. Let t = 11 - 5. Let y be k(t). Suppose -24 = 2*l - 6*l. Is l less than or equal to y?
False
Let m be 2/8*4 + 2. Let i = -52/17 + m. Which is smaller: -1 or i?
-1
Let b be