(-6)/(-14). Let v be ((-12)/(-28) - 1)/(-1). Is v at most a?
False
Suppose -2468 = y - 2337. Which is greater: -129 or y?
-129
Let d be -3 + 8 + (-5 - -2). Suppose o - 7 - 15 = 5*x, -2*x = -o + 7. Let y be x*6/(-15)*2. Are d and y equal?
False
Let w = -192/31 + 39645/6386. Is -1 less than or equal to w?
True
Let g be ((-2)/(-3))/(10/75). Suppose -f + g*i = -12, 0*f - 4*i = 3*f - 17. Suppose 18 = 5*s - 7. Is f at most s?
False
Let u be (-2)/1*(-9)/6. Suppose 2*f - 5*v + 16 = 0, v + u = -1. Let m(o) = o**3 - 4*o**2 - 4*o - 1. Let a be m(4). Do f and a have different values?
True
Let b = 0.022 + -1.042. Let m = b + 0.02. Which is bigger: m or -0.06?
-0.06
Let l = 13.8 + -11.8. Which is greater: 70 or l?
70
Let z(b) = 6*b**3 - 4*b**2 - b + 28. Let u be z(4). Do 342 and u have the same value?
False
Let q = -2/29641 + 10137232/148205. Is q at least 69?
False
Let c be 6/27 + 422/45. Suppose 30*k - 288 = -2*k. Is k less than or equal to c?
True
Let w(f) = -15*f + 37. Let i be w(4). Are i and -93/4 equal?
False
Suppose 2*l + 4 = -3*s - 2*l, -2*s + 5*l + 5 = 0. Let o(c) = -2*c**2 + 2*c - 1. Let j be o(1). Let g be (j - -1)*(-7)/14. Do g and s have the same value?
True
Let v = 189 - 137. Suppose -v = 4*q - 0. Suppose 34 = -2*x - 7*u + 2*u, -4*x - 2*u = 52. Is x at most q?
False
Let p = 1.94 + -2.94. Let b(w) = w + 1. Let o(r) = 4*r. Let l(t) = -5*b(t) + o(t). Let y be l(-5). Which is smaller: p or y?
p
Suppose -3*t = -3*m + 9*m + 9, 2*t + m + 3 = 0. Which is smaller: t or 2/2195?
t
Let o = 1849/150 + -73/6. Which is bigger: o or -1?
o
Suppose 2*f - 72 = -2*l, 14*l = -3*f + 18*l + 122. Which is greater: 39 or f?
39
Let u(z) = -z. Let p be u(2). Let t be (-2)/7*p/(-4). Is -1 >= t?
False
Suppose 5*c + 2*n = -0*n + 10, 0 = c + 4*n - 20. Which is smaller: 1/401 or c?
c
Suppose 5*u - 4*d = 254, 7*d + 54 = u + 3*d. Let x = u - 62. Which is greater: -15 or x?
x
Suppose z - 14 = -5*b, 3*z + 7 - 106 = 4*b. Suppose -3*k + 48 = 4*s - 180, 0 = 2*k - s - 163. Let y be -4*8/k + (-147)/(-5). Is y smaller than z?
False
Let o be (-2)/3 + 2071/3192. Let a = -11/28 - o. Let f = 0.1 + -0.3. Which is smaller: a or f?
a
Let w = 40 - 28. Suppose -2*k + w = 2*k. Is 5 less than k?
False
Let j be (18/16 + -1)/((-6)/(-328)). Is j >= 7?
False
Let z = 0.494 + -0.694. Let d = 1.6 + -12.6. Let x = d - -7. Do x and z have different values?
True
Let w = -729 + 696. Which is greater: -27 or w?
-27
Let n = 87675 + -3418838/39. Let u = n - 37/3. Suppose -12 = -6*h, -2*h + 7 = -s + 3. Which is greater: s or u?
u
Let n be (3/(-9))/((-4466)/42). Is 0 less than n?
True
Suppose -3*n = -3*z + 57, 4*z = n + 31 - 9. Let y = n + 17. Which is smaller: y or 4/29?
y
Let x(k) = k**3 - 7*k**2 + 6. Let q be x(7). Suppose q*b = b - 2*j - 72, 4*j = -b. Is -17 >= b?
False
Let p = -2961 + 2921. Is -279/7 at most p?
False
Let b be (-1)/2*((-78)/(-12) - 6). Which is bigger: b or 261?
261
Suppose 4*z - 4*d = -264, -4*z - d = -0*z + 269. Are -742/11 and z unequal?
True
Let j = 8 + -8.02. Let k = j - -0.09. Let i = -0.07 + k. Is 0.4 at least as big as i?
True
Suppose -12*w = r - 15*w - 6, 0 = -3*r + 4*w + 8. Is -35 < r?
True
Let x = -18.1 - -16. Let k = -2 - x. Let d = -0.14 + 0.04. Which is smaller: k or d?
d
Let n(u) = -u**2 + 62. Let q be n(8). Is 373 bigger than q?
True
Let g = -0.0906 - -0.0206. Which is greater: g or -1.6?
g
Let f be ((-12)/(-6))/2 - (2 + -1). Which is smaller: f or -6/13?
-6/13
Let t(z) = -z - 4. Let q be t(-7). Suppose q*f + j + 1 = 2*j, 5*f - 3*j = -7. Let g = 23/6 - 7/3. Which is smaller: g or f?
f
Let u = 5.01 - 7.01. Is 9 smaller than u?
False
Let a be (65 + -5)*((-64)/(-20) - 4). Are a and -47 equal?
False
Let a = -339 - 49. Do a and 1/4 have the same value?
False
Let b = 2.7 + -26.7. Let w = -22 - b. Is -2 greater than w?
False
Let s = -19/39 + 1/3. Is 6/43 smaller than s?
False
Let t = 2444 - 9929/4. Is t < -37?
True
Let m(x) = x**2 + x - 16. Let b be m(0). Let f(o) = -o**2 + 6*o. Let d be f(6). Suppose -4*y + 2*g - 66 = d, 3*y - 3*g - 13 + 64 = 0. Is b at least y?
True
Let n be 312/42*2/4. Which is smaller: 4 or n?
n
Suppose 3*n - 4*i - 101 - 53 = 0, -5*n - 4*i = -246. Is n greater than 49?
True
Let c be 2/(-5) - (1 + -2). Let k = -979 + 995. Is c <= k?
True
Let p = -8 + 36. Let l = p - 62. Let q = l - -35.7. Is q < -1?
False
Suppose 74 - 884 = -5*q. Suppose -5*y - y = -q. Suppose -y = -7*p + 8. Is 4 smaller than p?
True
Let u(c) = -3*c**2 + 5*c - 10. Let h be u(4). Let x = -31 - h. Is 5 at most x?
True
Let t be (7/((-56)/(-400)))/(2 + -4). Which is smaller: t or -189/8?
t
Let z be -4*9/(-60)*15. Let j be (-476)/(-720) + 2/z. Let f = -2/15 + j. Is 2 >= f?
True
Suppose -3*j = -4*j + 4. Suppose 0 = -j*r + 8*r - 16. Let w be (0/(12/r))/1. Which is bigger: 3/17 or w?
3/17
Let u = -168 + 168. Is -1/637 at most u?
True
Let q(z) = 2*z**3 + 4*z - 3. Let r be q(1). Suppose i - d = -0*i - 8, -r*i + 4*d - 26 = 0. Which is smaller: -3 or i?
i
Let m(p) = -3*p - 14. Let q be m(-6). Suppose 4 - 12 = -q*c. Suppose 26 = 4*f - c*o, 6*f - 2*f - o = 23. Is 5 < f?
False
Suppose -2*p = -4*x - 16, x + 2*p - 1 = 5. Suppose 1 - 55 = -3*z. Which is smaller: z or x?
x
Let v = -19 - -18. Suppose -2*d - 2 = -2*s, 5*d = 2*s + 6 + 1. Let y be d/4 - 9/12. Is v <= y?
True
Suppose -4*r - 8 = -2*b, 5*b - 9 = -5*r + 11. Do r and -2/293 have the same value?
False
Let m be -1 + 4*3/4. Let k(p) = -7*p**2 - 3*p + 5. Let o be k(m). Is -28 at least o?
True
Let v be 2 - (0 - 0 - 2). Suppose -3*s + p = 2*s + 5, -v = 4*s - 4*p. Is s >= -14/9?
True
Let g(r) = r**2 - 17*r + 28. Let c be g(16). Let t be 1/(c/(-16))*3. Do -5 and t have different values?
True
Let h(v) = -v**3 - 8*v**2 - 8*v - 10. Let y be h(-7). Let x be (252/(-40))/((-4)/(-20)). Let g = x - -31. Is y greater than or equal to g?
False
Let d be (-2 + (-312)/3)*(-12 + 13). Is -106 at most as big as d?
True
Let w be -355*3/(12/(-8)). Let l be -5*((-1 - 2) + 2126/w). Which is smaller: 0 or l?
0
Let h = 15 + 24. Let j be (h/(-26) - (1 + -1))*-2. Let s be ((-12)/7 - -1) + 1. Which is greater: s or j?
j
Suppose -31*w = -35*w - 12. Let v be 4/(-5)*(w + 114/36). Does v = -9?
False
Let b = -48.8125 + 0.0125. Let t = b - -49. Let j(z) = z - 5. Let u be j(5). Is t < u?
False
Let p(c) = -c**3 - 13*c**2 + c + 17. Let r be p(-13). Suppose 0 = 5*x + 3*q + 25, -r*x - 12 = -3*x + 2*q. Which is greater: -1 or x?
-1
Let k be (-144)/24 + 1336/226. Is k at least as big as -1?
True
Let k(f) = 64*f**2 - 4 - 34*f**2 - 29*f**2 - f. Let i be k(-3). Is 9 <= i?
False
Suppose -5*a = 45 - 0. Let i(c) = c**3 + 11*c**2 + 18*c - 3. Let h be i(a). Is h > -3?
False
Let t = 232/963 + -2/107. Is 51 at least as big as t?
True
Suppose 5*v + 39 = 2*k, -4*k + 7*k + 5*v + 4 = 0. Suppose -k = -5*q + 93. Are q and 21 non-equal?
True
Suppose 7 = t + 6. Let g be t/1 + (5 - 3360/561). Are g and -1 non-equal?
True
Let u = -40 - -103. Let o = u - 54. Do o and 11 have the same value?
False
Let s be (-23)/30 + (-3)/(-6). Suppose 4*b + 0 = -4. Which is smaller: s or b?
b
Suppose 45 = 422*u - 413*u. Is 2 less than u?
True
Suppose 5*k = 19*s - 15*s - 855, 5*k = -15. Is s > 212?
False
Let k(v) = -77*v**3 + v + 76*v**3 + 11 - 2*v - v**2. Let n be k(0). Let p = -12 + n. Which is smaller: 3/10 or p?
p
Let r be -4 - (5 - (-534)/(-59)). Is -1 <= r?
True
Let r = -29.74 - -2.84. Let v = r + 28. Let l = v + -10.1. Is l <= -2?
True
Suppose -5 = 21*s - 26. Which is greater: s or 10/21?
s
Let q(c) = c - 5. Let h be q(7). Suppose -h*x = -8*x. Suppose x = 5*m - m. Which is smaller: m or -1/8?
-1/8
Let l = 546165 + -16933221/31. Let t = 68 + l. Is -0.1 >= t?
False
Let q be ((-21)/12)/(3/(-81)). Let h = -1147/24 + q. Let k = h - -7/8. Which is bigger: 3 or k?
3
Suppose -20 + 51 = z. Let q = 17 + z. Let g be q/70 + 4/(-10). Which is smaller: g or 1?
g
Let f(d) = -2*d**3 - 30*d**2 - 4*d - 51. Let q be f(-15). Let o be (4/(-6)*-6)/2. Are o and q non-equal?
True
Suppose 155*i - 161*i + 948 = 0. Is i at most as big as 158?
True
Let a be (180/(-24) - -7)/(27/16). Which is bigger: a or 1?
1
Suppose -2*y + 59 = -13. Suppose -3*c + 2*a = a - y, 0 = 3*a. Let m be c/66 + (-144)/308. Which is bigger: m or -0.02?
-0.02
Let b = 27.1 - 18. Let a = -9 + b. Which is greater: a or -0.4?
a
Let b = -21.54 - -21.34. Which is greater: -1/23 or b?
-1/