 0?
False
Let f = -4517 - -49602/11. Is -8 <= f?
True
Let h = -5 + 9. Suppose -2*x - 5 = -3*x, -16 = -2*z - h*x. Let c = z + 0. Which is bigger: 0 or c?
0
Let o(a) = -6 + a + 5*a - 8 - 7*a. Let h be o(-14). Let t be ((-15)/(-90))/(2/(-6)). Is h at least as big as t?
True
Suppose 4*n + 73 - 19 = 2*s, 0 = 2*n + 2*s + 42. Let a = 8 + n. Which is bigger: -5 or a?
-5
Let w(h) = 2*h + 2. Let o be w(2). Let v be 1/o + (-861)/(-18). Suppose -2*l + v = 2*l. Which is bigger: l or 1?
l
Let s = -324443/177 - -1833. Is 1 greater than s?
True
Let g be (-6)/(-18) - 1364/(-12). Suppose 93 = 3*k - 3*x, x + g = 4*k - 13. Is 0 less than or equal to k?
True
Let x = -4913/7 + 761. Is 58 at least as big as x?
False
Let r = 5.56 - 0.56. Let u be (-1)/(-2) - (-22)/44. Which is greater: r or u?
r
Suppose 5*v + 7 = -3*k, -3*v - 9 = 7*k - 4*k. Let q be (-10*4/(-10))/((-1)/v). Do -7 and q have the same value?
False
Suppose 20 + 0 = 5*n. Which is greater: n or 7?
7
Let s = 10 - 9.96. Let h = s - -0.16. Which is greater: -1/6 or h?
h
Suppose 47 + 42 = h - 4*j, -4*j = 5*h - 445. Let n = 49 - h. Is -39 not equal to n?
True
Suppose 2*z - 125 = -3*z + h, -4*z + h + 99 = 0. Let d be (-6 + 77/22)*18/(-1). Suppose t + 0*v + z = -4*v, -5*t - 3*v = d. Is t less than -8?
False
Let i(y) = 23*y**2 + 2*y - 2. Let m(w) = -11*w**2 - w + 1. Let v(d) = -3*i(d) - 5*m(d). Let z be v(1). Let c = z + 13. Which is smaller: 0 or c?
c
Let z be (-2*153/(-4))/(18/24). Is 101 not equal to z?
True
Suppose 0 = 24*g - 28*g - 4. Let p be (g/3)/(11/(-264)). Which is smaller: p or 7?
7
Let n(r) = -13*r + 249. Let o be n(22). Which is greater: -73/2 or o?
-73/2
Let a = -11.0352 - -0.0352. Which is smaller: -3/7 or a?
a
Let a = 37 - 25. Suppose -5*g + a = -13. Suppose 10 = 4*i + 3*c, -i + 5*c = -g*i + 14. Is 2/15 at least i?
False
Suppose 0*n - n = 0. Let p(k) = -19*k + 2. Let q be p(-2). Let u be 24/q + (-3)/(-45). Which is smaller: u or n?
n
Let p = 91 + -91. Suppose -5*t = -0*t + 5. Let l be t - ((-3)/(-4))/(-1). Which is greater: p or l?
p
Let a(c) = -5*c - 5. Let m(z) = 4*z + 4. Let q(p) = -6*a(p) - 7*m(p). Let o be 1/(1 - 9/6). Let k be q(o). Which is greater: 1 or k?
1
Let h = -57 - -58. Let g(m) be the first derivative of -5*m**2 - m + 3. Let o be g(h). Which is smaller: o or -10?
o
Let w be (-1)/9*8*4. Let g = 142/45 + w. Let b(v) = v**3 - v**2 - 2*v - 1. Let u be b(2). Is g <= u?
False
Let x be 1/2 + 3/(-6). Suppose 11 = -s - x*s. Let t(l) = l**2 - 135*l - 283. Let w be t(137). Which is bigger: s or w?
w
Let y(v) = v**2 + 11*v - 39. Let s be y(-14). Let j be 15*(0 - s)/(-3) + -3. Is j smaller than 12?
False
Let h(t) = t**3 - t + 3. Let x be h(0). Suppose -x*l = -9*l + 420. Let j be (l/(-8) - -2)*4. Which is smaller: -26 or j?
j
Let o(m) = -m**2 - 4*m + 1. Let q be o(-4). Suppose 0 = -3*a - a. Let x be a + 10/(-24) - 1/(-6). Is q at least x?
True
Let u = -33.6 - -32.6. Which is greater: -3/98 or u?
-3/98
Let v be 57/(-38)*(500 - -6). Is v less than or equal to -757?
True
Suppose 0 = 16*q - 20*q + 4. Which is bigger: q or 5/7?
q
Let t = 0.69 + -0.79. Which is smaller: -89 or t?
-89
Let z = 1.03 - 1.1. Let m = 0.27 + z. Let c = -290 + 3772/13. Which is greater: c or m?
m
Let u(k) be the first derivative of -k**4/4 + 10*k**3/3 - 9*k**2/2 - 2*k + 25. Let w be u(9). Are -2 and w non-equal?
False
Let p = 28002 - 7028516/251. Are 0 and p nonequal?
True
Let o(i) = 8*i + 7. Let h be o(-1). Do 2/319 and h have the same value?
False
Suppose 5*b = 10 - 30. Let c be (-1)/(2/(-14)*(-35)/10). Let k be 18/c + 1/(5/15). Is k greater than b?
False
Let k = -23 - -25. Suppose k*o - 29 - 30 = 5*s, -3*s = -o + 36. Let v be (s + 11)*7/(-2). Are v and 7 equal?
True
Let v be 6/10 - 64/(-10). Let h be 19/v - (-6)/21. Suppose -2*r + 2*u + h*u + 32 = 0, -8 = 2*u. Is 6 < r?
False
Let p be 714027/(-485) + (-14)/(-70). Let n = p + 1472. Is 0 equal to n?
False
Let q(i) = i**2 + 2*i - 6. Let k(m) = -m**2 - m + 6. Let v(r) = 3*k(r) + 2*q(r). Let s be v(-3). Let a be ((-8)/18)/(8/s). Which is greater: -6/5 or a?
a
Let d be -5 + 7 - 1*18. Let w = 18 + d. Suppose -w*s = -s. Which is bigger: s or -17?
s
Let z be ((-35)/(-21))/(-5) + (-10)/(-3). Is 41/18 < z?
True
Suppose -12*t + 6 = 4*m - 7*t, -t + 6 = -4*m. Which is bigger: m or -5?
m
Let q(f) = -f**3 + 14*f**2 - 12*f - 3. Let u be q(13). Let o(k) = k - 9. Let t be o(u). Do t and 2 have the same value?
False
Suppose -255 = 4*s - 3*z, 4*s + z = 2*s - 115. Is -60 < s?
False
Let z be ((-2)/6)/((-9)/54). Suppose 6*h = 3*h - q + z, -3*q + 6 = -4*h. Suppose h = -g - 1 - 2. Is -2 <= g?
False
Suppose 0*g + 4*i + 6 = 5*g, g = -i + 3. Let f(x) = x**2 + 3. Let h be f(-2). Suppose 3*t - h = 8. Which is smaller: t or g?
g
Let x be (-1)/2*0/(-6). Suppose x = -3*h - 0*i + i + 7, 5*i + 7 = h. Suppose -g + 10 - 1 = 5*m, h = 2*m. Is g < 5?
True
Let t = 0.3 - 3.2. Let r = t - 9.1. Let k = 12 + r. Is k bigger than -2?
True
Let b(f) = -6*f + 30. Let a be b(5). Suppose a*k + 4*k = 80. Is k > 20?
False
Let d be (3 - 4)/(0 + (-984)/(-4)). Which is smaller: -1 or d?
-1
Let p = -33/40 - -57/10. Is p less than or equal to 0?
False
Let j = -4 + 1. Let s = 3.1 + j. Let w = 199.9 + -201. Which is bigger: s or w?
s
Suppose 3*b - 5*b + 5*w + 25 = 0, 1 = -w. Suppose 3*g = 28 - b. Do 0 and g have different values?
True
Suppose 4*q = q. Let u = -48 + 5281/110. Let n = -229/990 + u. Which is bigger: q or n?
q
Let b = -213 + 1067/5. Let n = 12 + -12. Which is bigger: b or n?
b
Let m = 636.9 + -637. Is 350 equal to m?
False
Let u = -95.5 + 9.5. Let t = 85.5 + u. Is -0.7 greater than or equal to t?
False
Let k = 2/4255803 + 2174711267/8652047499. Let a = k + -10/107. Is a != -1?
True
Let y = -0.004 + -2.196. Is -0.5 greater than y?
True
Suppose -653*a + 408 = -641*a. Which is bigger: a or 35?
35
Let s = -13.2654 - -0.2654. Which is bigger: -3/29 or s?
-3/29
Suppose 0 = w + 4*c - 301, 1436 = 5*w - 0*w - 3*c. Which is smaller: w or 292?
w
Let b(x) = -2*x**2 - 21*x. Let a(g) = -g**2 - g + 1. Let i(l) = -4*a(l) + b(l). Let q(o) be the first derivative of i(o). Let c be q(6). Is c > 9?
False
Let j = -2054 + 2042. Is -7 smaller than j?
False
Let a be 2 - -5 - (-2829)/(-115). Is a equal to -19?
False
Let b = -10 + 14. Suppose -c - 19 = -k - 4*k, b*c + 22 = 2*k. Suppose -8 = j + 5*g, -8*j - 2*g + 29 = -k*j. Which is smaller: 6 or j?
6
Let v = 10/7 + -139/112. Let q = -3 - -3. Which is smaller: v or q?
q
Let k be -7 + 1 + 12 + (-65)/13. Which is smaller: k or 1/402?
1/402
Let j = 50.2 - -10.8. Let l = 57 - j. Is -2/23 != l?
True
Suppose -43*k + 39*k = -2*g - 490, 5*k + 2*g = 635. Which is greater: k or 126?
126
Let d(m) = -2*m - 6. Let r be d(5). Let x = r - -9. Let i = -1/142 - 277/994. Do x and i have different values?
True
Let a = 155.8 + -161.8. Is a at most as big as 0.72?
True
Suppose 135 = 2*c - 4*t - 271, 5*c + 3*t = 1015. Are c and 203 unequal?
False
Let g(i) = i**2 + 4*i - 2. Let r(m) = 2*m**2 + 5*m - 3. Let c(u) = 3*g(u) - 2*r(u). Let a be c(0). Is -3 greater than or equal to a?
False
Let k = 303 + -297. Which is smaller: -22 or k?
-22
Let c(f) = -6*f - 1. Let l be c(2). Let o = l + 15. Suppose o - 3 = r. Which is smaller: -2 or r?
-2
Let p(c) = -c**2 - 12*c + 9. Let x be p(-9). Suppose 2*a - x = -a. Suppose d - 3*b = 2, -2*d + 6*d = 2*b - a. Are -4 and d nonequal?
False
Suppose -g = -5*z - 267, 3*z = 4*g - 209 + 59. Which is smaller: -3/4 or z?
z
Let q be 0 + -1 - (-280)/276. Let b(s) = -79*s - 317. Let j be b(-4). Which is bigger: q or j?
q
Let f be -2*((10/(-4))/(-5) - 1). Let x be 2/(1 + -5)*4/(-169). Are x and f equal?
False
Let u = -6.2 - 80.8. Let x = u + 77. Which is smaller: 1 or x?
x
Let t = -460 - -459. Which is bigger: 98 or t?
98
Suppose 5*b - 5 = 5*u, b = -3*b - 2*u + 28. Let p(h) = h**2 - 3*h + 1. Let o be p(3). Is b greater than o?
True
Let h be 3/(-30)*4 + 0. Let v(i) = -13*i + 9*i - 6 + 5*i. Let p be v(7). Which is bigger: h or p?
p
Let y = 41 + -40. Let p be 1/(-15)*y*1. Which is greater: -2 or p?
p
Let c(q) = q**3 + 10*q**2 - 13*q - 23. Let w be c(-11). Which is smaller: w or -1/13?
w
Suppose -17 + 5 = -4*a. Suppose -11 - 124 = -a*p. Let m be (-5)/(-17)*6/p. Which is smaller: -1 or m?
-1
Let c(b) = 3*b**2 + 8. Let j be c(-6). Let f = j - 1045/9. Let u = -116 - -116. Which is smaller: u or f?
f
Le