+ 3*z**2 + z. Let i be d(-2). Suppose -65 - 125 = 29*h + 129. Which is smaller: i or h?
h
Let m be ((-4)/20*-3)/2 + 29366/(-20). Which is smaller: m or -1465?
m
Let j = 304957 + -304949. Let i be (-2)/4 + 1/(-2). Let y be i*1 - (-39)/3. Is j at most y?
True
Let m be (-1)/(-6) - (-5313)/(-126). Let j = m - -54. Let c be 20/8*j/1095. Which is bigger: -1 or c?
c
Suppose 37*q - 21674 - 5116 = -q. Is 707 smaller than q?
False
Let a(i) = 2*i**2 + 2*i + 23. Suppose -90*h - 28 = -94*h. Let g be a(h). Is g < 135?
False
Let y = 4512 - 76758/17. Let k = y - -900/187. Is 1 > k?
False
Let u be (-4)/6*3 + -2. Let j be 2/(4/u*1). Let v be 1631/315 + -5 - j/9. Are 1/4 and v non-equal?
True
Let g = 3.9 - 4.1. Let m be (-285)/(-760) - (-525)/8. Is g greater than m?
False
Let g = -25208 + 25524. Which is smaller: 318 or g?
g
Suppose -4*n + 50 = -9*n. Let c be (n/6)/((-1)/(-6) + -1). Suppose -71 = -3*y - 3*t + t, c*y - 50 = -2*t. Is y greater than 22?
False
Let d(l) = 24*l**2 + 30*l - 21. Let w be d(-8). Suppose 7*b + w = -881. Is -308 >= b?
True
Let g(a) = -a**2 + 103*a + 3354. Let k be g(129). Which is bigger: 2/14205 or k?
2/14205
Suppose 12*u - 260 = 2*u. Which is smaller: 460/17 or u?
u
Let j be ((-7)/2)/(45/(-270)). Suppose j*v + 9 = 9. Is v greater than 134?
False
Let i(s) = -31*s**2 + 15*s + 114. Let c be i(-4). Is c greater than -437?
False
Suppose 4*o - 41 = 51. Let n be (o/2)/((-6)/96). Let z be ((-1)/(-1))/((-56)/n) - 3. Which is smaller: -2/19 or z?
-2/19
Let o = 1400 + -1387. Let j = 0.23 + 0.47. Let l = 1.7 - j. Which is greater: l or o?
o
Let l(w) = -92*w + 3. Let x be l(4). Suppose 0 = -1335*r + 1356*r + 7644. Is x != r?
True
Let p be (-2151)/478*(0 + (-40)/(-726)). Which is smaller: p or 1?
p
Let c(y) = y**2 - 17*y + 36. Suppose 4*s + 2*f - 69 = -s, 0 = -5*s - 5*f + 60. Let w be c(s). Let h be (-2 + -1)*(-33)/18. Is h <= w?
True
Suppose 5*c - 5*t + 20 = 0, c + 9*t + 14 - 40 = 0. Which is smaller: 260 or c?
c
Let v = 89 + -185/2. Let x = 1343 + -1348. Is v smaller than x?
False
Let z be 11432/117 - 6/39. Which is smaller: z or 97?
97
Let d be (399 + -289)*7*-1. Is -782 > d?
False
Let j = -17180827/11700 - -13216/9. Is -1 less than j?
True
Let g = 747629/16561909 - -1/110782. Do g and 0 have the same value?
False
Let n = -1949 + 1949.62. Let w = 42.38 - 42. Let o = n + w. Does -37 = o?
False
Let u = 37/17 + -175/221. Let f = 8178 + -8178. Which is greater: f or u?
u
Let x = 21 - 674. Let w = x - -759. Which is greater: w or 105?
w
Suppose -5 = 3*h + f + 2, 0 = h - 4*f - 2. Let n be -12 + 14 + (h - 40/1). Which is smaller: n or -37?
n
Let o = 0.385 - 0.212. Let b = o - 0.273. Is b smaller than -4/109?
True
Suppose 9*i - 258 - 12 = 0. Let f be 0/((i/10)/(9/6)). Is f equal to 1/186?
False
Let l = 36.71 - 36. Let w(z) = -2343*z**2 - 42177*z - 58. Let o be w(-18). Is o greater than l?
False
Suppose 0*t - t + 204 = 2*u, 200 = 2*u + 3*t. Let y = -223 + u. Let a be y/16*(-2)/3. Which is smaller: 34/7 or a?
34/7
Let t(q) = -179*q + 1072. Let f be t(6). Is f greater than -1122?
True
Let t = 0.2012 + -0.3012. Which is bigger: t or 15592?
15592
Let d be (-3)/3 - 200 - 38/(-38). Let u = -348 - d. Does -146 = u?
False
Let x(w) be the second derivative of w**4/6 - w**3/2 + 13*w**2/2 + 23*w. Let p be x(0). Let k be ((-4 + 7)/(-3))/(p/(-3)). Which is greater: k or 1?
1
Let s = -29511719 - -560928320/19. Let y = s - 10827. Is -2 at most as big as y?
False
Let s be (110/(-75))/((-1584)/530 + 3). Is -131 at least s?
False
Suppose 3*s = -m - m + 598, 0 = -s - m + 200. Let j = s + -981/5. Which is smaller: j or 4/15?
4/15
Let p = -662 - -677. Suppose -3*z = -6*z + p*z. Is z equal to -3?
False
Let o(z) = -2*z**3 + 12*z**2 + 10*z - 22. Let a be o(6). Suppose 0*f + 2*x = 2*f + a, 4*x - 59 = 3*f. Is f greater than -3?
False
Let j = -1.05 + 0.928. Let b = 3.878 - j. Is 3 at least b?
False
Suppose -13 + 169 = -4*i. Suppose 42 = p - 30. Suppose 10*r + p = -308. Is i at least as big as r?
False
Let d = 180 + 69. Let a = -224 + d. Which is smaller: a or 21?
21
Let w = -20 - -39. Let y = 10 - w. Suppose 37 = -2*u + 3*p, -307 = -3*u - 3*p - 310. Do y and u have different values?
True
Let s be 2/30 - (344/(-15) - 7). Which is smaller: s or -5?
-5
Let p(r) = 13*r**3 + 14*r**2 + 7*r - 9. Let w(b) = 11*b**3 + 13*b**2 + 6*b - 9. Let i(x) = 5*p(x) - 6*w(x). Let h be i(-8). Which is smaller: 15 or h?
15
Let b(a) = a + 1. Let o(h) = 3*h - 5. Let g be o(2). Let i be b(g). Let p be 1256/32 - i/(-24)*-3. Are p and 37 equal?
False
Let v = 34 + -29. Suppose 2*f - v - 3 = 0. Let y be (f/12)/((-1)/3). Is -3 greater than or equal to y?
False
Suppose 40 = -0*i + 8*i. Suppose -2*b = -i*n - 0*n + 31, 34 = -3*b + 5*n. Let u(h) = -3*h**3 - 2*h**2 + 3*h - 7. Let g be u(b). Is g < 47?
False
Let s = 988 + -1495. Let n = -506.81 - s. Is -1/4 at most n?
True
Let d = -1190 - -1455.8. Let g = d + -266. Let t = 10.91 - 11. Which is smaller: g or t?
g
Let k(r) = -427*r - 2137. Let o be k(-5). Is o != -102/55?
True
Suppose 5*p - 15785 = 5*w, 3*p + 24 = -3. Which is smaller: w or -3169?
-3169
Suppose 139 - 55 = 7*a. Let k be 27*(2 + (-40)/25). Are a and k equal?
False
Let l = -287/5 - -57. Suppose -5*t - 2100 = -0*t. Let i be 1/5 + t/(-25) + -3. Is i > l?
True
Suppose -5*l + 2*s + 52 - 29 = 0, l - 4*s = 37. Which is greater: 2/9043 or l?
l
Let w be 33/(-4)*(-8)/(-3). Let g = -18 + w. Let s(p) = 6*p - 4. Let q be s(-6). Is q equal to g?
True
Let o(i) = -i**3 - 3*i**2 - i + 2. Let l be -3 + (-1)/(-4 - -3). Let s be o(l). Let g be 2450/140*(-2)/(-42). Is s >= g?
False
Let z = 13886 - 13102. Is 782 < z?
True
Suppose 17*j - 7*j - 850 = 0. Suppose -j + 88 = 3*u. Which is smaller: 10/51 or u?
10/51
Suppose 0 = 3*t, f + 5*f - 4*t - 4 = 2*f. Let k = -4181787/1106 + 3781. Is k less than f?
True
Suppose f - 279 = 32*f. Let x be 12/f*99/(-88). Is 3 >= x?
True
Let f(w) = 3*w**2 - 11*w + 6. Let j be f(3). Which is smaller: j or -646?
-646
Let f be -713*(-59)/(-5487) + 3*4. Let v(i) = i + 2. Let c be v(-3). Let y be 11/(-6) + 1 - c. Which is greater: y or f?
f
Let u = 69 + -84. Let p be 20/u*(-6)/340. Which is greater: 1 or p?
1
Suppose 0 = 114*p - 73*p - 86223. Is p <= 2103?
True
Suppose 7*v = 503 + 8. Let i be 3*((-49)/(-3))/7. Let j be v/i*1 - 9/21. Which is greater: j or 11?
11
Suppose 0 = 4*u + 4*k - 60, 3*u + 0*u - 2*k - 60 = 0. Suppose -u = x - 20. Let q = -464 + 2327/5. Which is bigger: x or q?
x
Suppose 0 = a - 4*l + 16, -11*l + 21 = 4*a - 10*l. Suppose w = -u - 26, 0*u + 107 = -a*u - w. Which is smaller: -2/7 or u?
u
Let m be (-402)/406 - (160 + -161). Is m smaller than -1/2?
False
Suppose -3*d = 0, -n - 21 = 2*n + 2*d. Let r(a) = 4420 - 2*a + 4435 - 8864. Let i be r(n). Is i >= 5?
True
Let h = -31.1 + 65. Let n = h + -57.9. Which is smaller: -0.1 or n?
n
Let s be (7 + (-333)/45)/(1/(-10)). Let y = 3 + -6. Let g be 5/(-350)*(30/s)/y. Which is bigger: g or 1?
1
Let y = 13101 + -14400. Is -1302 at most as big as y?
True
Let o = 414 - 786. Is o less than or equal to -373?
False
Let v = -5866/4537 - 32/349. Which is bigger: v or -31?
v
Let i be 2 + (-15)/3 + (2 - -89). Let v be (-14)/2 + (-376)/(-4)*1. Is v > i?
False
Let n(h) = 4*h**2 - 2*h - 2. Let l be n(4). Suppose 3*d - 7 = 7*d + 5*m, 2*d - 7 = m. Suppose d*v + 122 = 4*v - 3*z, v = -3*z + 43. Is l < v?
True
Let m = 2355803/285775 - 1/12425. Let t = m - -22/23. Is t smaller than 9?
False
Let n = 7 - -3. Let z = 14 - n. Let q be 3*(z + 0)/(-4) + 0. Which is smaller: q or -1?
q
Let m(t) = -t**2 + 8*t + 5. Let j be m(7). Let g be (-189)/(-12) - (-3)/j. Suppose 0 = 4*f - 8, -3*c + 4*f + 43 = 6. Which is smaller: g or c?
c
Let t = 16771 - 9854. Is -2/3 > t?
False
Let g(t) be the third derivative of t**5/60 + 19*t**4/24 + 16*t**3/3 - 12*t**2. Let k be g(-16). Let v = k + 73. Do 57 and v have different values?
False
Let a(t) = t**3 + 11*t**2 - 9*t + 15. Let j be a(-11). Let r be j*2/20 + 3/5. Let o be (0 + -3)*((-52)/r - -4). Are 1/4 and o equal?
False
Let n(f) = -f - 14. Let h be n(-5). Let i be h/(((-2)/4)/((-15)/(-2))). Let x be 3*(-9)/(i/50). Is -10 less than or equal to x?
True
Let i be (-124)/(-48) - 4/24*18/(-4). Let p = -4 - -8. Which is smaller: i or p?
i
Let k = 22.3 - 22.2. Let u = -0.3 + k. Which is smaller: -2/235 or u?
u
Let r(f) = -f**3 + 5*f**2 - f - 4