e 0 = 12*g + z - 5. Let h be (1/1)/(3/g) + 3. Is -20 at most h?
True
Let y be (-2)/(-6)*8613/(-29). Do y and -99 have different values?
False
Suppose u + u = 2*j + 114, 0 = 2*u - 3*j - 119. Let m = u - 48. Suppose -m*q - 60 = 3*t, -3*q + 8*q = -5*t - 75. Which is smaller: q or -14?
q
Let b(d) = 21*d - 9. Let u be b(6). Suppose 4*w + 29 = 2*r - 31, w = -5*r + u. Suppose -4*i = -4*x + r, 3*x = -4*i + i + 6. Which is smaller: i or -12/7?
i
Let q(h) be the second derivative of -h**5/10 + h**4 + 5*h**3/6 - 23*h**2/2 - 43*h. Let o be q(6). Which is bigger: 64/11 or o?
o
Let m(k) = 2*k - 2 + 7 + k**2 + 5*k + 0*k. Let r be m(-6). Let n = 13/2585 - -1/141. Which is smaller: r or n?
r
Suppose 32*j + 1060 = -4*m + 30*j, -780 = 3*m - j. Is m not equal to -285?
True
Let b = 393 + -400. Let d be b + (15 - 9) + (-6)/(-9). Is -77 equal to d?
False
Let z = -64674 - -64674. Let l(h) = -h**3 + 2. Let f be l(-2). Suppose -5*i = -f*i. Is i <= z?
True
Let p = -8 - -5. Let i = 0.161613 - 0.211613. Which is smaller: p or i?
p
Let t = 410.7 + -16.7. Let n = t - 391. Is -0.059 bigger than n?
False
Let h = 67 + -271. Let b = -166 - h. Which is greater: 37 or b?
b
Suppose 118*v + 23593 = -4727. Which is greater: v or -231?
-231
Let g = 194 - 202. Let s(c) = 3*c + 24. Let b be s(g). Is b < -3/154?
False
Suppose -33*m + 3360 = -37*m + 2*b, 3*b - 2514 = 3*m. Which is bigger: -841 or m?
-841
Let u = 47/10 + -1526/325. Are u and -1 non-equal?
True
Let f = 6.2843 - 0.0843. Is f not equal to -203?
True
Let q be (-44)/33*(-30)/8 + -37. Let l be ((-68)/q)/(4/32). Let j be (3*(-67)/(-4))/3. Is j != l?
True
Suppose -3*i + 5*q - 37 = 0, 5*i + 278 = 3*q + 211. Let p = 7.7 - -0.3. Are p and i nonequal?
True
Let i(l) = -25*l**2 - 152*l - 81. Let u be i(15). Is u < -7986?
False
Let r = -293838/43 - -228260827/33411. Let g = 498 + -55282/111. Let i = g + r. Which is greater: -1 or i?
-1
Let c = -859289 - -859366. Suppose 4*z + 6 - 18 = 0. Is z greater than or equal to c?
False
Suppose -5*u + 1 = 3*c, -u + 14 = -c - 3*c. Let w be 9 + (u/7)/(2/14). Is 11 at least as big as w?
True
Let m = -652 - -655. Suppose 6*f = 80 + 130. Is f > m?
True
Let v be ((-1)/4 + 4964/(-272))*10. Which is greater: 0 or v?
0
Suppose 9*g - 5*g - 404 = 0. Let r = 104 - g. Let p be 12*r*5/12. Is 16 > p?
True
Let y = 29 - 28. Let o be (-1)/(y/(-1)) - (1 - -2). Let u be (-70)/77*(-1 + 5) - o. Do u and -1 have different values?
True
Let f = -50 - -57. Let y be ((-1)/f)/((-45)/5355). Suppose 6*z - 2*z = 68. Is y less than z?
False
Suppose -10*n + 124 = -6*n. Suppose n - 6 = 5*h. Suppose -h*q + 2*a = -34, -4*a - 9 + 1 = 0. Is q smaller than 5?
False
Let o = 42277 + -42276. Let k = 1297/24 - 109/2. Which is greater: k or o?
o
Let r = 1757 + -896. Which is smaller: r or 862?
r
Let o(v) = 21*v + 1418. Let a be o(-73). Which is bigger: -124 or a?
a
Let a = -0.0145 + 0.5485. Let r = 0.466 + a. Is -19.9 != r?
True
Let w(s) = s**2 - s. Suppose -c = -4*c. Let j be w(c). Suppose -2*x - 2*n + 24 = j, 3*x + 0*n = -4*n + 35. Is x bigger than 12?
True
Let j(z) = z**2 + 20*z + 10. Suppose 4*c = 3*v + 77 - 13, -3*v - 3*c - 57 = 0. Let a be j(v). Is -7/4 greater than a?
False
Let d = 1175 - 610. Which is smaller: d or 554?
554
Let x = -3103 - -3145. Let s = 4 + -3.9. Are s and x equal?
False
Let b(q) = q + 2. Let a be b(-3). Let f be (-6184)/(-756)*(-231)/378 + 5. Is a <= f?
True
Let q(v) = v**2 + 14*v + 17. Suppose 3*m - x + 28 = 0, -m + 5*m = -5*x - 31. Let t be q(m). Let s = t - -21. Is s equal to -9?
False
Let l be 27812/(-136)*(-2 + -4). Which is smaller: 1228 or l?
l
Let w = -0.0485 + 4.1485. Let k = -11 + 5. Let s = k + w. Which is bigger: -1 or s?
-1
Let x = 16.192 + -0.162. Do -0.4 and x have the same value?
False
Let d = 4993 + -24983/5. Do d and 1/2 have the same value?
False
Let r(c) = 2*c**3 - 2*c**2 - c. Let o be r(-1). Let h(g) = -2*g**2 - 4. Let b be h(o). Let z = 2348 + -2371. Which is smaller: b or z?
z
Let l be (-32832)/40 + (-2)/10 + -5. Let n = l + 909. Is n less than or equal to 86?
True
Let u = 2930 - 3814. Which is smaller: -883 or u?
u
Let u be 3/((-24)/(-16))*-2. Let y = u + 3. Let z = 11 - 15. Which is smaller: y or z?
z
Let h be (0 + -2)/(2/213). Suppose 0 = -4*u + 3*x - 828, -2*x - 16 - 426 = 2*u. Is h less than or equal to u?
True
Let i be (-3 - -5 - 2) + 105. Let n = -100 + i. Is -18 equal to n?
False
Let m = -1781 + 1781. Which is greater: m or 2/34607?
2/34607
Let s = 11998.013 + -11998. Is s <= 0.4?
True
Let s = -0.03 + 121.03. Let l = s + -72. Is l bigger than -0.1?
True
Suppose r - 8800 + 1727 = 3*z, z = 3*r - 2363. Is z not equal to -2355?
True
Let m(a) = -a**3 - 10*a**2 - 29*a - 440. Let o be m(-11). Is o at least as big as -102?
True
Let r be 53/1 + -6*(-4)/12. Let k = 47 - r. Let i be (-156)/k - 2 - 4. Which is bigger: i or 14?
14
Let b = -108541/689 + 3934/53. Which is greater: -82 or b?
-82
Suppose 76*k - 280 + 599 = 243. Which is smaller: 704 or k?
k
Let z be (4/8)/(1/(-54)*3/(-2)). Let i be (48/9)/((-2)/(-9)). Which is smaller: z or i?
z
Let c(d) = -d**3 - 3*d**2 + d + 2. Let f be c(-3). Let m(s) = -s**3 - 4*s**2 - 4*s + 11. Let a be m(-5). Let n be (-3)/a*(34/(-6))/(-17). Is n at most f?
False
Let s be 440/12 + 5/(-15)*-1. Let i = -45 + s. Is i not equal to -17?
True
Let w = 1046 - 642. Suppose w = -4*p + 600. Suppose 4*n + 34 - 238 = 0. Is p != n?
True
Suppose 7*i - 322 + 77 = 0. Suppose i*z - 18*z = -3740. Which is smaller: z or -222?
-222
Let l = 173.5 + 42.5. Let y = 302 - l. Which is smaller: y or 1/4?
1/4
Suppose 5*z = -4*x - 3 + 12, 0 = 5*x - z + 25. Let i be ((-7)/(-7)*1)/(x/(-1368)). Is i equal to 341?
False
Let n = -793 - -793.361. Let g = n - -0.639. Are g and -164 nonequal?
True
Let m(d) = -184*d + 2326. Let t be m(-39). Which is smaller: 9501 or t?
9501
Let y(s) = -s + 16. Let f be y(12). Let j be (f*1/(-14))/(102/(-28)). Which is smaller: 0 or j?
0
Let t = -1647 + 1126. Let s be (t/174 - -3)/(3/6). Is 0 greater than or equal to s?
False
Suppose 0 = 5*q - 3*r + 12, -5*q - 3*r + 2*r + 4 = 0. Let i be (6*2/480)/(8/100). Are i and q non-equal?
True
Let y be (-8)/20 + (-47807773)/22230. Let v = y + 2151. Is 0 smaller than v?
True
Suppose 5*g + 84 = 11*g. Suppose 9*l = -g*l + 92. Is 20 >= l?
True
Let m(i) = i**3 + 6*i**2 - 14*i + 17. Let h be m(-8). Let k be 3/6*(-109132)/(-102). Let g = -535 + k. Which is smaller: g or h?
g
Let y = -70 - -80. Let l = y + -7. Suppose 4*o = o - l. Which is bigger: 6 or o?
6
Let u be (-18)/12*4/(-3). Suppose -3*n + u*z + 4 = 0, -3*z = n + 3*n + 23. Let l be -39*(40/15 + n). Is -26 < l?
False
Let c = -950 + 854. Let o be 730/8 + (-1)/4. Let h = o + c. Is 2 at least h?
True
Suppose -4*l - 5 = l. Let t(d) be the second derivative of -d**5/10 + d**4/6 - d**3/3 - 3*d**2/2 + 2*d + 227. Let y be t(l). Is 11/3 bigger than y?
True
Let x(r) = 362*r - 2748. Let k be x(8). Is k at most as big as -3?
False
Suppose -2*v - 4*w = 56, -5*v - 74*w - 129 = -75*w. Suppose -9 = 3*p, 0 = -2*h - p - p - 68. Is h bigger than v?
False
Let p = -24/25 + 14/25. Let z(g) = 32*g**2 + 4*g**3 - 1 - 5*g**3 - 37*g**2 - 6*g + 2*g**3. Let t be z(6). Is t at least p?
False
Let l be 103125/(-990)*(-1)/(-5) - (-1)/(-6). Suppose -v = -7 - 1. Let n = v + -27. Which is bigger: n or l?
n
Let d(j) = -j**3 + 25*j**2 + 25*j + 27. Let r = 500 + -474. Let m be d(r). Is m less than 2/81?
False
Let t = -197262/7 + 28180. Which is bigger: t or -15233?
t
Let i(w) be the second derivative of -w**4/6 + 16*w**3/3 + 19*w**2 + w - 38. Let x be i(7). Which is bigger: 165 or x?
165
Let u = -16/61 + 2404/793. Which is bigger: 4 or u?
4
Let p be 85*9/(-99) + (-144)/44 + 3. Is -364 not equal to p?
True
Let z be 31/(-5) - 1 - 1. Let o be (-394)/49 + ((-4720)/(-1960))/59. Which is smaller: o or z?
z
Let f = 64 - 1598/25. Suppose -3*m + 2*p - 116 = 0, -108 = 3*m + p - 4. Let s = m + 36. Which is greater: s or f?
f
Let m be (-2 + (-5 - -3))/((-2)/1). Let k(h) = -3 - 3*h**2 + 20 - m*h - 4*h**2 + h**3. Let z be k(7). Is z <= 6?
True
Suppose 0 = -5*o + 2*m + 2*m + 5, 0 = 2*m. Let t be 1/((-7)/((-3815)/95)) - 6. Do o and t have the same value?
False
Let q = 745 + -745.1. Is q != -27/47?
True
Let s(l) = -6*l - 31. Let j be s(-5). Let t = 992999/10205 - 1265/13. Which is greater: j or t?
t
Let l = 1110 - 1110.1. Let d