)/6*t/40. Let m = -19/84 - d. Is 0 < m?
False
Let y = -840 - -529. Do y and -310 have the same value?
False
Suppose -4*n - 52 = -4*q, q - 58 = 5*n + 3*q. Let s be (-17)/n + 12/(-48). Which is bigger: s or -0.1?
s
Suppose 5*v = -9*h - 41, 2*h - 31 = 5*v - 4*v. Let f = -33 - -11. Do v and f have the same value?
False
Let b = 294 - 39. Is 255 < b?
False
Let o = -4577/9 - -513. Let k = -182/45 + o. Which is greater: 0 or k?
k
Suppose -3*g - 48 = 5*g. Let y be (1/(-3))/(4/g)*48. Is -2/3 at least y?
False
Let q = -130 - -133. Let h be ((-11)/q - -3) + 518/786. Is h at most as big as -1?
False
Let c = 0.121 - -10.879. Let x = 19 - 6. Let n = x - c. Do n and 0.1 have different values?
True
Suppose -2*l + 0 - 2 = 4*y, 0 = 5*l - y + 5. Let w = 182 + -313. Let a = -1967/15 - w. Is a at least as big as l?
True
Suppose 5*s + 3*q = 34, -5*s + 3*q + 31 = -15. Let t be s/12 - (-28)/12. Let u be (-1)/((5 - t) + -1). Is -1 equal to u?
True
Let b(r) = 17*r + 19. Let l be b(8). Let m = l + -469/3. Are m and -3 unequal?
True
Let f be (20/(-176))/(2/(-12)). Let p = -239/286 + f. Let c = -66 - -65. Is c != p?
True
Let x be ((1 - 3) + 3)*3. Suppose -x*w + 5*r + 4 = 0, -2*w - 2*r - 8 = -0*w. Let l be w - ((-15)/18)/1. Which is bigger: l or -2?
l
Let t = 2.4 + -2.5. Let z = 5.91 + 0.09. Let m = 10 - z. Is t > m?
False
Suppose -7*d + 30 = -4*d. Let y = 3 + -12. Let o = y + d. Which is bigger: o or 4/3?
4/3
Let v(x) = -x**3 + 5*x**2 + x - 2. Let n be v(5). Let p = n - -1. Suppose p*u + 27 = u. Is u < -8?
True
Let f = 14 + 82. Suppose 5*x - 120 = 5*u, 4*x = -4*u - 0*u - f. Do -25 and u have the same value?
False
Suppose 2*z = -0 + 6. Let p = 0.63 - 0.33. Is p less than or equal to z?
True
Suppose 14 - 5 = 3*o. Suppose 4 = -o*g + 4*g. Let d be 0/(-1)*22/(-66). Which is smaller: d or g?
d
Let f = 475 - 291. Is f bigger than 1/3?
True
Suppose 3*n - 3*s = -9, -2*s = -n + 3*n - 6. Which is smaller: n or -7/11?
-7/11
Let h(n) = -16*n**2 + 32*n - 174. Let m be h(6). Does -556 = m?
False
Suppose 3*g - 18 = 2*g - 4*m, 2*g - 4*m = 0. Let d = -107 + 265. Suppose -d = -17*q - 39. Which is smaller: g or q?
g
Let u = 1632/7 - 235. Does -0.1 = u?
False
Let n be 1357/(-2655) - 3/(-27). Which is smaller: 191 or n?
n
Let l = -0.86 - -0.16. Let w = 1.1 + l. Let j = 982/5 + -197. Which is smaller: j or w?
j
Let i be (-1 + 5/3)/((-518)/1221). Which is smaller: i or -1?
i
Let u be (-2)/(-10) + (-92)/10. Let h be u/(((-21)/2)/7). Suppose -44 = 5*d + h. Is d at least -9?
False
Let j = 6.4 + -6.4. Is 20/9 less than j?
False
Let m = -935 + 935. Let a be (-64)/90 - 2/5. Which is bigger: a or m?
m
Let u(i) = i**2 - 8*i - 26. Let m be u(14). Suppose 4*r - 6*k - 232 = -5*k, 0 = 3*k. Is r > m?
False
Suppose -5*d + 4*q + 3 = 0, 2*q + 0*q + 6 = -2*d. Which is greater: -2/639 or d?
-2/639
Suppose -61 = 2*y + 5*h, -4*y - h - 158 = -3*h. Is -40 at least y?
False
Let d(k) be the second derivative of -k**4/24 - k**3/6 + 4*k**2 + 5*k. Let c(i) be the first derivative of d(i). Let l be c(3). Is -4 > l?
False
Let n be 2/39*(-51)/34. Which is smaller: n or 19?
n
Let m = 169 - 57. Let i = -84 + m. Which is greater: 0 or i?
i
Let g(d) = 2*d - 42. Let k be g(23). Suppose -5*u + 5*o = -8 - 2, k*u - 9 = 3*o. Which is smaller: 8 or u?
u
Suppose 7*h - 5*h - 108 = 0. Let q = 36 - h. Are q and 1 nonequal?
True
Let m be 222/36 - (-2)/(-12). Let p(l) = l**2 - 6*l + 12. Let y be p(m). Let v = y - 5. Is v >= 7?
True
Let o = -140 - -17. Is -124 at least o?
False
Let l = 0.161 - -0.839. Which is smaller: l or -10.8?
-10.8
Let n = 121 - 119.95. Let k = n + -0.65. Which is smaller: k or 5?
k
Let d = 12 - 20. Let q be ((-3)/(-8))/(2/d). Let b be ((-74)/111)/(1/3). Which is greater: q or b?
q
Let n be (-1)/(-4) - (-175)/20. Suppose -v + 22 = t, -4*v - 38 - n = -t. Let u be (3/t)/((-2)/(-12)). Is u != 2?
True
Suppose -t + 3*n + 169 = 0, n + 425 - 112 = 2*t. Let w = t - 156. Is -7 less than or equal to w?
True
Let u = 899 - 1995. Let y = 684 + u. Let j = y - -16893/41. Which is smaller: -1 or j?
-1
Suppose -9*d = 31 - 4. Is d equal to -6?
False
Suppose m + 3 = -5*t, 2*m + 3*t + 0*t - 1 = 0. Suppose 5*z + 4*k = -168, -m*z + 5*k = k + 56. Let b be 1 - 12/z*-2. Which is bigger: b or -7?
b
Let t = -0.22 + -2.78. Let w = 1.7 + 1.3. Let z = t + w. Is 2/5 less than z?
False
Suppose 32 = -0*s - 2*s. Let b be 24/s*(-4)/6. Let l be ((-6)/26)/((-1)/(-2)). Is b at most as big as l?
False
Suppose -3*b = 11 - 98. Is 1.5 at most b?
True
Let n be 4 - (1 - 129/(-21) - 4). Which is smaller: 0 or n?
0
Let d = 37 + -37.052. Let i = d + -7.948. Which is smaller: -4 or i?
i
Suppose -3*s + 2 = -3*b - 4*s, -5*b - 4*s - 15 = 0. Which is bigger: b or -4/19?
b
Let v = -7/85 - -2004/595. Which is smaller: v or 0.5?
0.5
Let w = -42 + 45. Let i be 4/(-10)*(23/6 - w). Do -14 and i have the same value?
False
Let h = -13 + 31. Let z be h/(-5)*100/(-30). Which is bigger: z or 2?
z
Let s(z) = -z - 3. Let w(a) = 2. Let q(n) = 2*s(n) + 3*w(n). Let b be q(0). Is 0 at least as big as b?
True
Let l be (-6 + (-5068)/(-35))*1. Which is smaller: l or 138?
138
Let o(s) = 5*s + 35. Let w be o(-7). Let l be (4 - 5)*1*w. Is 4/11 smaller than l?
False
Let f = 37 + 23. Suppose 5*w = 0, 2*y = -2*w + w - f. Let x be ((-4)/y)/((-4)/(-6)). Which is smaller: 1 or x?
x
Let p(k) = k**2 + 5*k - 7. Let n be p(-6). Let x be 3/n - -6 - -10. Let o = -14 + x. Is o >= 2/49?
False
Let r be 59 + -8 + (0 - -2). Let f = r - 32. Is 22 > f?
True
Let n = 503 + -504. Which is bigger: n or -17/13?
n
Suppose 0 = v + 4 - 29. Let n = v - 42. Let r(m) = -m**2 - 16*m + 18. Let u be r(n). Are 2/23 and u equal?
False
Let n be (44/(-8))/((-1)/2). Suppose n*f + 294 = 4*f. Let u = f - -35. Are u and -9 unequal?
True
Let s be ((-11)/110)/(4/(-610)). Let d = 15 + -30. Let p = d + s. Which is bigger: -1/2 or p?
p
Let t(p) = p**3 + 5*p**2 - 8*p - 15. Let d be t(-6). Let g be (-234)/243 - (d - -2). Is g less than or equal to 2/7?
True
Let c = 2554/11 + -232. Let j be (-4)/(-10) + 13/5. Suppose j*h - 3 = 3*q, 5 = -0*q - 5*q + 4*h. Which is bigger: c or q?
c
Let p = -239 - -247. Does p = -4?
False
Let l be 10/20*(-4)/2. Is 2.3 > l?
True
Let g be (10/(-2))/(1/(-1)). Suppose g*u = 6*u. Suppose u = d + 8 - 9. Which is greater: -1/3 or d?
d
Let c = 2127 + -4395/2. Is -70 at least as big as c?
True
Let f = -3.49 - -3.9. Let o = 2.41 - f. Do o and 5/7 have the same value?
False
Let t = -1.9 + 2.9. Let n = t - 0.8. Let y = 8 + -8.3. Is y not equal to n?
True
Let g = -15.16 - -13.1. Let v = g - -0.06. Let k = -1 + 2. Which is greater: k or v?
k
Suppose 6 = 4*v - 3*z, -2*v + 6*z + 10 = z. Suppose -3*q = -4*q + 5, -5*r + q + 5 = v. Is r at most 2?
True
Let u = 9 + -43/4. Let j(c) be the first derivative of -c**2/2 + 10*c + 1. Let v be j(11). Which is smaller: v or u?
u
Suppose -62*c = -61*c + 2. Let d be -4 - c*(-14)/(-8). Which is smaller: d or 0.05?
d
Let t = -153 + 157. Let q be (-162)/(-45) - 3 - t/(-10). Let r be 14/(-12) + 2 + -1. Which is greater: q or r?
q
Let g = 7 + 1. Let o = 12 - g. Suppose 47 = -o*u + w, 3*w - 4*w = 4*u + 41. Is -11 < u?
False
Let q be 0 - (-1 - 0)*10. Let x = 191 + -78. Let l = -102 + x. Is l at most q?
False
Let u = 185 + -191. Is u at most 2/11?
True
Let g(q) = q**3 + 5*q**2 + 6*q. Let b = -8 + 4. Let x be g(b). Let z be 4/(-16) - (-2)/x. Is 0 not equal to z?
True
Let m be 2 + -1 - ((-40)/5 + 5). Suppose a = -m*v - 12, -6*a + 3*v + 9 = -a. Let j(q) = 3*q + 1. Let l be j(-1). Which is smaller: a or l?
l
Suppose -4*u + 110 - 30 = 4*f, 3*u + 76 = 5*f. Let n(y) = y - 15. Let p be n(f). Suppose 5*h + 5*k = 11 + 24, 2*k - p = 4*h. Which is bigger: h or 12?
12
Suppose 0 = 28*z - 3*z + 25. Which is greater: 2/189 or z?
2/189
Let o be 1/2*6 - 116/2. Let a = 66 + o. Is 13 at most a?
False
Let c = 0.09 - 0.02. Let z = -0.02 + c. Let w = -0.25 + z. Are 2 and w non-equal?
True
Let s(g) = g**2 + 6*g + 4. Suppose 5*d + 2*x - 58 = -0*x, 3*x = -5*d + 62. Suppose -3*u = -5*u - d. Let c be s(u). Is c greater than -4/7?
False
Let c(b) = -4*b - 1. Let k be c(-1). Let s be (k - 6) + (1 - -4). Do s and 6 have the same value?
False
Let k = 8 + -3. Suppose 3*u + 0*d + k*d = 28, -4*u - 11 = -3*d. Let l = 20 - 79/4. Is l smaller than u?
True
Let p be (11 + (-37)/2)/((-1)/(-2)). Is p >= -0.28?
False
Suppose 4226 = 55*f +