be (-4 - 20)/6 - 7. Which is bigger: c or v?
c
Let n = -203/2 - -100. Let j = -1 - 1. Is j smaller than n?
True
Let j = -2860/19557 - 1953247/21102003. Let v = j + 2/249. Which is smaller: 0 or v?
v
Let w = -0.4 - -0.4. Let u(z) be the second derivative of z**5/20 + 7*z**4/6 + 13*z**3/6 + 9*z**2/2 + 6*z. Let r be u(-13). Which is smaller: w or r?
w
Let t = 3958 + -779724/197. Are 0 and t equal?
False
Suppose 105*q = 106*q - 17. Which is smaller: 6 or q?
6
Let m = 4 + -3. Let b be 8 + -9 + 49/(-2). Let u = b + 27. Which is bigger: m or u?
u
Let h(r) = 3*r. Let g(q) = -2*q - 1. Let d be g(-1). Let z be h(d). Let k(v) = 7*v + 19. Let i be k(-2). Is i <= z?
False
Let g be (-34)/(-289) - (2 + 2114/(-816)). Let x = g + -355/552. Is 0 greater than or equal to x?
False
Let c be (-1 - -3)/(36/42). Let n = c - 32/15. Is n not equal to -1?
True
Suppose 387*r - 372 = 383*r. Is 93 greater than r?
False
Let l(f) = -f + 34. Let t be l(20). Let d(h) = -h - 9. Let b be d(t). Is -2/5 bigger than b?
True
Let v(p) = 0*p**2 + 23 + 2*p**2 - 20 + p. Let a be v(-2). Suppose a*x = 8*x. Do x and -2 have different values?
True
Let y = -9.46 + 8.4. Let k = -1.1 - y. Let c = k - -0.34. Is -1/3 bigger than c?
False
Suppose -4*s + 8*s - 28 = -4*p, -s + 3*p = -7. Suppose j - s*j = -6. Which is smaller: 11 or j?
j
Let z be -4*(405/(-24) + 4). Let x = z + -56. Let w(f) = -5*f**2 + f - 1. Let p be w(1). Which is smaller: p or x?
p
Suppose -88 - 110 = -6*b. Let s be (-5)/(-4)*b/15. Suppose 3*a = 5*v + 2, -3*v + 14 = a + a. Is s smaller than v?
False
Let a = 1.75 - 1.88. Which is greater: 0 or a?
0
Let y = 0 + 1. Let d = 15/4 - 1133/300. Which is bigger: y or d?
y
Let c = -2667/5 + 533. Suppose -4*s - 6 + 2 = 0. Which is smaller: c or s?
s
Suppose -23*u + 25*u - 2 = 0. Let c be (-1 + u)/(-6 - -3). Is c less than 10/29?
True
Suppose -4*q = 2*w, 4*q - 4*w = -3*w + 12. Suppose -2 = -y, 0 = -0*c - c + q*y + 10. Suppose -3*v = -2*i - c, 0*i = 2*v + 3*i - 5. Which is smaller: v or 11/3?
11/3
Suppose -3*m + 4*c = 35, -7*c + 10 = -2*c. Which is smaller: m or -53?
-53
Suppose 3 = -4*f - 3*m, -3 = 5*f - 2*m - 5. Suppose f = -p + 1 - 4. Let i be (-3 + 3)/(p + 2). Is i bigger than 6/25?
False
Let d = 4 + -22. Let i = 14 + d. Let y = 22 + -87/4. Which is greater: i or y?
y
Let n = 17 + 6. Let m = -31 + n. Let d = m - -10. Is d greater than 3/2?
True
Let y = -15 - -17. Suppose y*d = -0*c - c + 71, 6 = 2*c. Do d and 34 have different values?
False
Let n = -814 + 782. Are -41 and n non-equal?
True
Suppose l = -5*l - 22*l. Is l greater than -33/28?
True
Suppose 5*w - 30 = -5*c, -w = 2*c - 0*c - 3. Let a be (36/184)/w*1. Which is smaller: -1 or a?
-1
Suppose 0 = -2*v + 4, 5*o + 2*v = 7*v - 155. Is -29 < o?
False
Let b = 12008 + -588347/49. Which is smaller: 0 or b?
0
Let q = 7.1 - 14.2. Let n = q - -5.1. Is n greater than 0.03?
False
Let c = -5 - -8. Let r be (-2)/c + 805/(-138). Let u = 7 + r. Is u at most -2/37?
False
Let h(j) be the second derivative of 5*j**4/12 + 6*j. Let c be h(1). Suppose 3*r = -2*r - c. Is 1 less than or equal to r?
False
Suppose -5*v + 18*n - 21*n = 30, -4*v - 5*n = 37. Let p = -2 - -2.1. Is v less than p?
True
Let n = -1.5443 - -0.0443. Which is bigger: n or 4?
4
Let u = -979 + 6851/7. Let p = -25 + 127/5. Which is bigger: u or p?
p
Suppose 0*b + 5*b = 0. Suppose 0 = -n - 5, 2*q + 14 = -b*n - 4*n. Suppose q*z = 4*z + 1. Which is smaller: 2/29 or z?
z
Let f be ((-2)/8)/((-6)/(-8)). Let b = -2748 - -2786. Is f at least b?
False
Let m(u) be the second derivative of -7*u + 0 - 3/2*u**2 - 1/2*u**3. Let n be m(-2). Is n > 6?
False
Let f(w) = 2*w**2 - 9*w - 35. Let s be f(14). Let h = -3463/15 + s. Suppose -b = -0*b - 2. Which is smaller: h or b?
h
Let z be (-59)/(-3) + (-2)/(-6). Let w = 44 - z. Let s be 1/(1/(-138)*-6). Is w greater than or equal to s?
True
Suppose 3*j - 2*j + 2*c = -710, 3*c = -3. Let u = j + 19118/27. Is 1 smaller than u?
False
Let s = -0.1077 - -1.0077. Is s at most 1/17?
False
Let w(j) = -2*j**2 - 17*j - 8. Let q be w(-8). Which is bigger: 36/193 or q?
36/193
Let s = 2153 - 1724. Which is bigger: s or 426?
s
Let c = 470 - 447. Is 22 less than or equal to c?
True
Let u = -65.1 - -12.1. Let o = 21 + u. Which is bigger: 2/3 or o?
2/3
Let s = -1475 - -1476. Is -353 smaller than s?
True
Let k be (-3 - 1) + (3 - -2). Suppose -k = -2*m + 1. Let i = 4009/21 + -191. Is m at least as big as i?
True
Let k = -1 + 0. Let z = 1.2 - -27. Let f = z - 28. Which is bigger: f or k?
f
Let v be (25/75)/((-64)/30 + 2). Which is bigger: -2 or v?
-2
Let h = -76157701/169417584 - 1/143696. Let y = -1357/240909 - -1/1839. Let p = h - y. Which is bigger: p or -1?
p
Suppose 0*n - n = -0*n. Which is bigger: n or 3/13?
3/13
Let d = 23.65 - 24. Let q = d + -0.05. Does q = 0.3?
False
Suppose -3*a + 5*k - 12 = -a, 0 = -5*a - 2*k - 1. Let g = -199 - -3981/20. Let p = g + -11/20. Do a and p have different values?
True
Suppose -10*n + 3 = -7*n. Let s(y) = -y - 17. Let j be s(-12). Let o(t) = t**2 + 4*t - 4. Let k be o(j). Do k and n have the same value?
True
Let v(g) = g**2 + 21*g - 7. Let l be v(-21). Let p be 2 + 1 + -2 + l. Is p not equal to 0.3?
True
Let c = -19 - -20.2. Let s = 0.12 - 0.12. Are c and s equal?
False
Let q = -11/23 + -1/46. Let o = -3.63 - -13.47. Let d = o - -0.16. Is q at most d?
True
Suppose 5*w = 10*w - 1970. Suppose a = 4*p - w, 2*p - 1253 + 31 = 3*a. Let z be a/(-300) - (-1)/(-5). Is 0 less than or equal to z?
True
Let q(o) = -2*o + 7. Let a be q(16). Is a < -34?
False
Let q = -1548.1 + 1548. Let h = -39.18 + 0.18. Is q < h?
False
Let t = -25 - -30. Suppose 0 = -5*h + t*b - 5, -3*h + 4*b = 6. Is 2 <= h?
True
Suppose 0 = -k + 56 - 111. Which is smaller: k or -56?
-56
Let l = 15 + -12. Suppose l*o + 57 = 4*k, 0*o + 3*o = 3*k - 42. Suppose -k = -5*q + 35. Which is greater: q or 8?
q
Let z be 8/1206*3/4. Is -1 at least as big as z?
False
Let d be 304/(-22)*6/(-8). Is 9 smaller than d?
True
Let l = -6 - -42. Suppose 4*i + 0*i = l. Suppose 0 = q + 2*r - 3, -q - r + 7 = -0*r. Is q < i?
False
Let z be (-4)/(-14) + 22/70. Suppose -4*d = -5*d - 5. Let p(y) = -y - 4. Let n be p(d). Which is greater: n or z?
n
Let k(d) = -9*d - 20. Let a be k(2). Is -39 bigger than a?
False
Let r = 1459 - 2019. Which is greater: -561 or r?
r
Let m(q) = -6*q**3 + q**2 - q + 1. Let h be m(1). Suppose 2*o + o = 0. Let a(u) = -u + 2. Let y be a(o). Which is greater: y or h?
y
Let i(y) = -y**2 + 6*y - 2. Let o be i(6). Is 73 at most o?
False
Let j = -3/187 - 1291/1122. Suppose -3*o + 6*o = 0. Which is smaller: j or o?
j
Suppose 3 = 4*y - i + 46, -5*i - 61 = 3*y. Let h be (3 - -1)*(-12)/y. Suppose -b + 2 = -1. Which is smaller: h or b?
b
Suppose -5*g + 5*d = -3117 - 2943, g = 5*d + 1224. Which is greater: g or -1?
g
Suppose 18 = 3*f - 3*g, 14 = -4*f - g + 43. Let c = 1084 - 1079. Which is smaller: c or f?
c
Let y = -18607 - -9303497/500. Is y smaller than 1?
True
Let q = -163 + 162.2. Is q smaller than 1/4?
True
Let z(j) = -31*j - 169. Let i be z(-5). Which is bigger: -12 or i?
-12
Suppose -r + 56 = 6*r. Is 7 less than r?
True
Let g(t) = -t**2 + 7*t - 15. Let h be g(11). Let x be (-70)/2*36/21. Which is smaller: h or x?
x
Let v = 19951/2010 - 149/15. Which is smaller: v or -3?
-3
Let p = -183 + 68. Let s = p - -582/5. Let c be 2/((-28)/(-8)*-2). Which is bigger: c or s?
s
Let n be (-2 + -2 + 0)/(8/20). Let o(a) = a**3 + 9*a**2 - 15*a - 24. Let w be o(n). Is 26 at least as big as w?
True
Let n(f) = -49*f**2 - 5*f + 1. Let t be n(1). Let z = t - -42. Does -11 = z?
True
Let x = -46 + -37. Let s = -44 - x. Is 0 < s?
True
Let a be ((-26)/(-39))/(2/63). Let u = a - 22. Let f be (-1)/u*10/175. Is f at most as big as 1?
True
Let a = -47.37 + -0.63. Let h = a + 48. Suppose 3*n + 37 = -5*p, 2*p + 22 + 8 = -5*n. Which is smaller: h or n?
n
Let y be ((-4)/235)/(-10 + (-48)/(-5)). Let o = 3 + -2. Let p = o + -1. Is p < y?
True
Let n = 2 + 5. Let l = n - 3.5. Which is smaller: -1/2 or l?
-1/2
Let h be ((18/4)/3)/((-1)/(-40)). Suppose 4*t + 52 + h = 0. Which is bigger: t or -27?
-27
Let l be 73/480 - 126/945. Are l and -1 non-equal?
True
Let i = 1978.892 + 4.108. Is i less than 0.1?
False
Let m be 2*(3 + -4)*-1. Suppose -m*i + c = 2*c, 0 = -2*c. Do 2/11 and i have different values?
True
Let p = 89 - 90. Is -1