be d(q). Are f and n nonequal?
True
Suppose -x = 4*x + 10. Let d = -575 + 8617/15. Is x <= d?
True
Let m = -1.1 - -1. Let x = -617 - -615. Is m smaller than x?
False
Let u = 214 - 216. Which is bigger: u or -0.041?
-0.041
Let a = -823 + 824. Is a bigger than -34/23?
True
Suppose 3*a + 3*d = 1254, 2*d = -6*a + a + 2087. Let g = -21683/52 + a. Which is greater: g or 1?
1
Suppose -46*l + 2343 - 14211 = 0. Which is bigger: -257 or l?
-257
Let q be 2/(-3) - 112/(-24). Suppose -q*a - 5*b - 95 = a, b - 65 = 5*a. Which is greater: a or -13?
-13
Let l = 9 + -3. Let c = -54 - -24. Let m be ((-3)/(-10))/(c/(-25)). Do l and m have the same value?
False
Let c = 49 - 18. Suppose -c - 67 = 7*p. Let j = p - -14. Which is smaller: j or 3/17?
j
Let c be 16 + 308 - (-2 - -2). Is 324 at most as big as c?
True
Let b = 73 + -65. Suppose -b + 5 = f. Which is smaller: f or -15/7?
f
Let d be 6/(-8)*2 + 1. Suppose -2*x + 6 - 1 = 3*i, 5*x = -i + 45. Suppose 0*p - b = -p + 4, 3*b = 5*p - x. Is d less than p?
False
Let j = 17 - 9. Let s be (3/6)/((-218)/j). Is s at most as big as 0?
True
Let k = -2/519 + -463/14532. Which is bigger: k or -28?
k
Let m = 538/413 + -1/59. Which is smaller: m or -0.2?
-0.2
Let j = 29885/658 - 318/7. Let m be (-40)/(-380) + (-4607)/8930. Let u = m - j. Do 0.1 and u have the same value?
False
Let x be 3/(-15)*3 - 49793/145. Which is smaller: x or -345?
-345
Let l = 16 + -18. Let m be (-14 - -19) + 0/1. Is l < m?
True
Let y = 1564 + -15641/10. Suppose 14 = l + 4*w, w + 0*w - 10 = 3*l. Which is smaller: l or y?
l
Let y(r) = -r**2 + 13*r - 6. Let q be y(16). Let x = -16 - 39. Do q and x have the same value?
False
Suppose -5*i + 8 = -3*i - 2*c, -c = -3. Let h be -1*i + 22/11. Which is greater: -6 or h?
h
Suppose 4*r + j - 26 = 13, -5*r - 2*j + 51 = 0. Suppose 0 = -14*v + r*v + 10. Let x = 2 + 0. Is x != v?
False
Let a = 86 + -81. Suppose 2*i + v - 8 = 3*v, -a*i + 3*v = -16. Which is bigger: 20/7 or i?
20/7
Let s(z) = 6*z**2 + 3*z + 3. Let g be s(-1). Let m(p) be the second derivative of -p**3/3 - 5*p**2/2 + 3*p. Let i be m(g). Which is smaller: -33/2 or i?
i
Let i = -17 + 3. Let l be (-4)/i - (-48814)/(-70). Let k = 697 + l. Which is smaller: 1 or k?
k
Let t(l) = -l**2 + 3*l - 3. Let j be t(2). Let n = 17013 + -221177/13. Which is smaller: j or n?
j
Let n = 4 - -7. Suppose n = x - 21. Suppose -3*b = 3*f - 72, -4*b - x = -3*f + 5. Are f and 19 equal?
True
Let y be ((-3)/1)/((-6)/(-4)). Let h = 30 - -10. Suppose -2*p = 2*r - 2, 39*r - h*r - 4*p = -1. Do r and y have different values?
True
Let q = -453 + 485.03. Let j = q - 32. Let m = -337/830 - -1/166. Which is smaller: m or j?
m
Let i = -1043/4140 + 2/1035. Is i less than 2/5?
True
Suppose 5*f + 48 = 4*r, -5*r + 36 = -2*r - 4*f. Suppose -4*z - 3*n - 6 = 32, -r = 2*z - 2*n. Which is greater: z or -5?
-5
Let f = -36 - -35. Let b be (f/(-3))/((-24)/18). Let r = -0.05 + 0.02. Which is smaller: b or r?
b
Let x be (-617)/(-20) + -2*2/16. Let q = x - 31. Is 4/7 <= q?
False
Let x = 24 - 34. Which is smaller: x or -8?
x
Let t be 8 - (-11)/(33/804). Which is greater: 277 or t?
277
Let v(o) = -o**3 + 7*o**2 - 8*o + 18. Let l be v(5). Suppose -5*y - l + 7 = 2*d, 0 = -d + 3*y - 16. Which is greater: d or -15?
d
Let k = 32 - 27. Suppose k + 5 = 5*o. Is o less than or equal to 14/11?
False
Let p = -194 + 85. Let h = p + 126. Which is smaller: 16 or h?
16
Let s = 0.02 + 1.98. Let p be 6/3 + (153/(-30) - -3). Which is smaller: p or s?
p
Suppose -3*n - 2*n = 3*t - 7, -4*t - 3*n + 13 = 0. Let b(h) = h**3 - 5*h**2 + 4*h - 3. Let m be b(t). Let z be m*((-15)/(-24))/5. Is 1 equal to z?
False
Suppose -2*u = -3*u + 1, 76 = 2*k - 4*u. Let w be k/(-780)*31/(-12). Let m = w + -1/18. Which is smaller: -2 or m?
-2
Let f = -2299 + 45989/20. Which is greater: -1 or f?
f
Let s be 2007/8 + 41/328. Is s bigger than 249?
True
Let o = 14 - 0. Suppose -3*d + x + 21 = 0, 117 = 2*d + x + 93. Which is greater: d or o?
o
Suppose -195 = 50*x - 65*x. Is 13 at least as big as x?
True
Let l = -10 - -25. Suppose 0 = -5*t + 5 - l. Let s = t + 1. Which is bigger: s or -4?
s
Let i be (2 - 4)/(-2*2/48). Is 73/3 less than i?
False
Let m = -17 + -22. Let b = m + 30. Is -7 at least as big as b?
True
Let t be 16/84*(-9)/(-6). Is t at least -0.3?
True
Let u be (290/(-957))/((-8)/3). Which is smaller: u or 1?
u
Let s = 768 + -779. Let g = 3 - 4. Which is greater: g or s?
g
Let v be ((-1)/3)/((-1)/(-12)). Which is greater: v or -10?
v
Let b be 2 - (1644/(-207))/(-4). Let n = -62/483 - b. Let d = 0 - 0. Which is smaller: d or n?
n
Let z = 893/4 - 223. Is 0.079 less than z?
True
Let s = -42 + 42. Let f be (20/(-8))/(-5)*s. Are -3 and f nonequal?
True
Let g = 0.7 - 0.5. Let k = 8 + -5. Which is smaller: k or g?
g
Let w be (4/6)/(4/102). Let c(r) = -2*r + 0*r + 2*r - 2*r + w. Let m be c(9). Which is greater: m or -2/27?
-2/27
Suppose -t + 5 + 0 = l, 0 = -t - 2*l + 10. Let n be 0 - (t - (0 + -4)). Is -4 smaller than n?
False
Let v be 2 + (-2)/(-4)*-4. Let d = -78 + 137. Suppose v = 4*x - 3*k - 29, 4*x - k + 4*k = d. Is 10 > x?
False
Suppose -5*t + 4 + 16 = 0. Suppose 0 = 6*m - t - 32. Is -0.2 at least as big as m?
False
Let q be ((-9)/6)/((-7)/168). Suppose -q*x + 34*x = 70. Do -35 and x have the same value?
True
Let n be -7 + (-4000)/(-528) - (-2)/(-3). Is -3 not equal to n?
True
Let d = -405.2 - -405. Which is greater: -2/7 or d?
d
Let d = 3.17 - 4.94. Let m = 2.77 + -3. Let c = m + d. Do c and -1/2 have the same value?
False
Suppose 3*d = 4*r - 64, 4*r - 2*d = 20 + 44. Which is smaller: r or 4?
4
Let f be ((-4)/4)/(10/(-262)). Are f and 27 equal?
False
Let x = 38 - -6. Let d = x - 43. Which is smaller: d or -1/3?
-1/3
Let w = 15.82 + -15.7629. Is w < 2/5?
True
Let c = -18 - -28. Suppose 18 = -7*w + c*w. Let k = -10 - -17. Is k greater than or equal to w?
True
Suppose 15 = -18*q + 23*q. Let v = q + -5/3. Which is bigger: 1 or v?
v
Suppose -2*v + 3*b - 242 + 54 = 0, -4*v - 2*b = 344. Is -85 <= v?
False
Suppose -3*a - 293 - 133 = 0. Which is smaller: a or -140?
a
Let w be 6 - (1/4 + 13428/2352). Do 1/6 and w have the same value?
False
Let h = 6710295/17 - 394454. Let a = h + -269. Is a <= 1?
True
Suppose 0 = -3*u - 2*m - 3, 0*m - 2*m = -u - 9. Let j(y) = -10 - 5*y + 4*y + 7. Let i be j(u). Which is bigger: i or 3?
3
Let x(z) = 2*z + 26. Let f be x(-14). Let p = -793/328 + 12/41. Does f = p?
False
Let b = -572/3 - -191. Is -16/5 < b?
True
Let k(y) = -y**2 + 9*y - 10. Let z be k(7). Let a = -341 - -1034/3. Which is smaller: z or a?
a
Suppose -q - y - 3*y - 28 = 0, -60 = 4*q + 3*y. Let h be (q/(-57))/(1 + -3). Let g(r) = -2*r**3 + 7*r**2 - 6*r - 1. Let x be g(2). Is h equal to x?
False
Suppose 6*h = 10*h + 36. Suppose 3*y - 35 = 4. Let c = y + h. Is 4 greater than c?
False
Let x = -51 - -46. Let z = -3 - x. Do z and 2 have different values?
False
Let g(w) = w - 5. Let c be ((-4)/(-8))/((-1)/12). Let n(m) = m**3 + 5*m**2 - 8*m - 8. Let j be n(c). Let t be g(j). Is t > -1?
False
Let t = 2411 + -12104/5. Let r = 353/35 + t. Which is smaller: r or -12?
-12
Let x be (252/(-35))/((-3)/10) + -2. Let m = -75 + x. Are m and -53 equal?
True
Let s = -59 + 139. Is s less than or equal to 242/3?
True
Let s = 863 - 1529. Let p be (-35960)/(-54) + 7 + -7. Let r = p + s. Do r and -1 have different values?
True
Suppose -4*k + 3*k = 0. Let n = 0.378 + -0.008. Let w = -3.37 + n. Which is smaller: k or w?
w
Let h = -17.4 + 0.4. Is -2/13 at least as big as h?
True
Suppose 0 = -x - x. Let f = -3537 + 3537.04. Is f less than or equal to x?
False
Let c = -19.27 + 19.6. Is c at least -2/17?
True
Let d be 1 + 21 + -4 + 2. Suppose 24*y - d*y = 0. Is -2/85 at least y?
False
Let f = 5/108 - 97/1512. Let t = -2 - -2.1. Is f less than t?
True
Let o(w) be the first derivative of w**2 + 8*w + 1. Let z be o(-8). Let p(f) = f**2 + 7*f - 1. Let v be p(-6). Which is smaller: v or z?
z
Let j = 0.7 + -1. Let v = -133 + 126.1. Let z = -7 - v. Which is greater: j or z?
z
Suppose -2*q + q - 3 = 0. Let w = -6 + q. Let x = w - 2. Which is greater: 0 or x?
0
Suppose 0 = 2*g - g + 4. Let x(q) = -2*q**3 - 6*q**2 + 1. Let t be x(g). Let p be (-3)/(-3) + (-39)/t. Is p bigger than 0?
False
Let v(s) = s**2 - 10*s + 10. Let u be v(10). Suppose 2*b + u = 2*i, 3*b - 4*b = -4*i + 11. Suppose -3*z - 25 = i. Do z