4/6149 - -2356/43. Let s = 28/13 + r. Do s and -2 have different values?
True
Let g(y) = y - 12. Let m be -2 + 3 - (-1 - 0) - -14. Let w be g(m). Suppose w*u + 10*j - 11 = 5*j, -4*u = 2*j - 2. Which is smaller: -6 or u?
-6
Let o = -880 + 879.871. Let a = -53.151 + 53. Let k = o + a. Is -1/3 at least as big as k?
False
Let r be 9/(-18) + (0 - (-11036)/(-43856)*-2). Are r and 1 equal?
False
Let c be ((-2)/(-13)*(-247)/57)/((-2)/6). Is -339 bigger than c?
False
Let o = 22 + -40. Do -125/7 and o have the same value?
False
Let b be (1/13)/(1/94). Let i be (-3)/(-12) + (-972)/(-144). Is i at most b?
True
Let h = 14327/56 - 1790/7. Suppose -14 = -2*r + 4*o, r - o = 4*o + 16. Which is bigger: r or h?
r
Let l be (3 - 0)*128/(-48). Let v be 2/l*48/186. Suppose 2*x + 5*w + 15 = 0, 2*w - 9 = 3*x + 5*w. Which is smaller: v or x?
v
Let i be (76/(-6))/1*(-9)/30. Let a be 34/16 + ((-42)/48)/7. Suppose 5*n = -x - 3 + 30, -21 = -5*n + a*x. Which is smaller: i or n?
i
Let g = -38/11 + 173/66. Suppose -o + 2 = -4*y + 19, 3*o - 2*y = -11. Which is bigger: g or o?
g
Let v = -23414 - -23467. Is v less than or equal to 1247/24?
False
Let j be 80/6*2/596*(-225)/50. Is 1 at most j?
False
Let c = 12227/16 - 764. Let m = -24 - -28. Suppose 0 = -m*q - 4. Which is smaller: q or c?
q
Suppose 9722 = -45*n - 18493. Does -1251/2 = n?
False
Let j(d) = -12 - 33*d + 13*d + 5*d - 2*d + d**3 + 6*d**2. Let u be j(-8). Let o(f) = f**2 + 3*f - 3. Let c be o(u). Which is smaller: 15 or c?
c
Let l = -301 + 915. Let p = l + 41. Is 655 > p?
False
Let k(h) = -h**2 + 13*h - 26. Let n be k(3). Suppose 0 = 2*d + 3*i - i - 30, -n*d + 5*i = -51. Is 13 > d?
False
Let l = -244523/177338 - -5/3346. Is -2 greater than or equal to l?
False
Let x be (8 + -2 + 130/(-20))/(3/(-6)). Is 7/1703 not equal to x?
True
Suppose 27*w + 57889 - 60562 = 0. Let h(q) = q**3 + q**2 + q + 98. Let i be h(0). Which is greater: w or i?
w
Suppose -1 = -p - 1. Let k(v) = 2*v - 1. Let z be k(5). Let t be (32/z)/(-4)*3/(-2). Is t greater than or equal to p?
True
Let p be (-266728)/711616 + (-9)/(-24). Which is greater: p or -1?
p
Suppose -4*w + 107 = 4*y + 31, 44 = 2*y - w. Suppose -n + 14 = 2*h - 0*h, -5*h + 42 = 3*n. Let z be (-178)/(-6) - n/y. Which is greater: 1 or z?
z
Suppose 5*g - 8 = 2, 5*w - g = 83. Let o be -2 - (-1388)/100*w. Let y = o + -234. Does y = -1?
False
Let p be (-1)/(1677/84 - 20). Suppose -4*j = -2*a + 124, 0*j + 5*a + 110 = -4*j. Let t = j + 59. Is p != t?
True
Let g = -83 + -10. Let f = 56 + g. Are f and -4 equal?
False
Let h = 5.2 + -5. Let u = 112 + -111.5. Is h less than or equal to u?
True
Let m be 201 - 190 - 1373/(-2). Is m > 698?
False
Suppose 2*k - 2 = 3*k - 4*f, 3 = -k + 3*f. Let w be (120/(-18))/(4/k). Let b be 2/(9/(-7) + w/35). Is -28/9 equal to b?
False
Let c = -24620/33 - -746. Let s(z) = -3*z**3 + 10*z**2 + 28*z - 76. Let r be s(2). Is r < c?
True
Let w = 64 + 1. Let f = -65.26 + w. Let p = 0.35 + f. Is p >= 0.2?
False
Let c = 14005 + -9909. Do c and 4096 have the same value?
True
Let i be (-788)/18 + 4/(-18). Let r = 81 + i. Let m = r + -42. Is -6 > m?
False
Let s = 350 + 107. Let d = s + -457.1. Which is greater: 1.1 or d?
1.1
Let v = 89 + -88. Which is greater: 19/894 or v?
v
Let a be 434/(-6) + 3 + (-14)/3. Let z(f) = 46*f - 21. Let v be z(4). Suppose 5*g = -v - 212. Is a < g?
False
Let h = -1 + 1. Let m be (-5)/((-130)/(-12)) + 1516560/6942. Is h <= m?
True
Let v = -171277 + 1537045/9. Which is greater: -493 or v?
-493
Suppose 0 = -31*m + 6*m. Suppose 19*b - 31*b + 12 = m. Does b = -2/537?
False
Let m(i) = 102*i + 1171. Let c be m(-11). Which is smaller: c or 52?
c
Let s be -4*92*6/(-288)*-3. Suppose -3*b + 135 = -5*k, 2*k + 70 = -0*k - 2*b. Let d = 10 + k. Is s greater than or equal to d?
False
Suppose -z - 3*p - 3 = 8, 12 = -4*p. Let o be ((-1)/z)/(-15 - 165/(-10)). Which is smaller: o or -1/18?
-1/18
Let s = 2610 + -3181. Is -572 at most as big as s?
True
Let k(x) = 8*x**2 + 3*x - 34. Let m be k(8). Let r be (m/2136)/(-1) - 3/(-12). Which is bigger: r or 0?
r
Let k = -262 - -6023/23. Let a = k - -75/46. Let m = -11 - -7. Which is greater: a or m?
a
Suppose 2*x = 2*m - 538, 0 = -105*m + 100*m - 2*x + 1310. Is m equal to 269?
False
Let w = 111552 - 111551.888. Let l = 1 + -2. Which is bigger: l or w?
w
Let y(t) = t**2 - 12*t - 85. Let d be y(17). Suppose d = 5*h - 2*x + 11, -5*h + 4 = -0*x + 3*x. Is h > 4/91?
False
Suppose 47*y = -10*y - 10005 - 7266. Which is smaller: -287 or y?
y
Suppose -6*j + 4*j + 23 = 3*i, -3*i = -2*j + 41. Suppose c + c = -j. Let k be (2 - 6)*(18/c + 2). Which is smaller: k or -2?
-2
Let u = 204 + -387. Let n = u - -175. Which is greater: n or 6?
6
Let f be (38 + 333060/(-8762))*(2 - 722/360). Which is bigger: f or 1?
1
Let g be 24/5 + (-34)/(-170). Suppose 3*l - g*w + 23 = 0, -l + 4*w - 39 = -22. Are 2/383 and l nonequal?
True
Let z = -6.52 + 279.52. Let k = -257 + z. Which is smaller: -8 or k?
-8
Let m = 565.7 - 565.619. Is 11 <= m?
False
Suppose 5 - 1 = t, -2*i + 5*t = 16. Suppose 5*o - 598 = 2*n, 3*o + 3*n - 513 = -150. Let a be 158/o + 16/(-40). Which is greater: i or a?
i
Let n(t) = -347*t**3 + 3*t**2 + 4*t + 2. Let d be n(-1). Let z = d + -313. Let b(p) = -3*p**3 + 3*p**2 - 2. Let a be b(-2). Is z > a?
True
Let q = 141 + -250. Let z = -164 - q. Let d = z - -58. Which is bigger: d or -6?
d
Suppose 2*z + 6 = -2*y, 0*y - 2*y = 5*z + 18. Suppose 3*h + 2*g + 10 = 0, -2*h = -3*g + 27 - 3. Let f be 152/(-6) - (h + 40/6). Is y at least as big as f?
True
Let y be -1*6/10*(1 - -84). Suppose 3*f + f - 5*o = -203, 2*f + 103 = o. Is y smaller than f?
False
Let b(m) = 2*m**2 - 76*m + 7. Let x be b(38). Let r(w) = w**2 + w - 2. Let j be r(-5). Let f = j - 12. Is x bigger than f?
True
Suppose 39*f - 38*f = -3*d - 1, d - 3*f - 3 = 0. Is 6/545 less than d?
False
Let n = 14005 + -14005. Do -15/908 and n have the same value?
False
Suppose 3*u - 12165 = 5*w + 27, u + 7304 = -3*w. Let k = -616307/253 - w. Which is smaller: 1 or k?
k
Let g = -63/403 + 40503/181753. Is -1 <= g?
True
Let y = -6823 + 6786. Which is bigger: y or -69?
y
Let w be (2/18 + (-332)/(-36))*8481/22. Are 3599 and w equal?
False
Let j(m) = 2*m - 79. Let z be 0 + (59 - 7)/4. Let v be j(z). Is v != -52?
True
Let m = 0.02448 + -19.02448. Let w = 24 + -15. Which is smaller: m or w?
m
Suppose -t + 2*x = -4, 0 = 2*t - x - 2 - 3. Let m be (7 + -5)/(t - 1). Let f be (-188)/20 + m*3/15. Is -10 smaller than f?
True
Suppose -4*t + 13 = -m, -35*m + 32*m - 4 = -5*t. Are t and -80/3 equal?
False
Let q be (70/(-315))/((-2)/(-17104)). Let v = q - -1896. Is v less than -4?
True
Suppose -83*y + 615 = -42*y. Is y at most 397/25?
True
Let r(h) = h**2 - 6*h - 59. Let w be r(15). Let t be 39/w + (-8)/16. Suppose -5*q + 0*q = 0. Are q and t non-equal?
True
Suppose -538*k = 3032 + 5421 + 15219. Is k bigger than -81?
True
Let m(i) be the second derivative of 7*i**5/120 + i**4 - 20*i**3/3 + 19*i. Let q(r) be the second derivative of m(r). Let z be q(-4). Are -1 and z unequal?
True
Let o = 585422/23 + -25430. Is 24 >= o?
True
Let u(o) = 2*o**2 - 54*o + 334. Let z be u(13). Do -18 and z have the same value?
False
Let p(s) = 28*s - 86. Let i(v) = -14*v + 43. Let f(x) = -9*i(x) - 4*p(x). Let c be f(3). Which is smaller: c or -32?
-32
Suppose -4*b - 5*k = 48, 5*k = b - 6*b - 55. Let d be (4 + b - -1) + -5. Suppose -5*v = -j + 27, -j - 3*j - 7 = 3*v. Which is smaller: d or v?
d
Let f be (5/(-30))/(12/(-61704)). Which is smaller: f or 859?
f
Let t = -8985 + 9447. Is 1390/3 <= t?
False
Suppose 0 = 4*z - 3*o - 41, -z - 23 = -3*z - o. Suppose -2*t + 5*g - 57 = -13, t + 3*g = -z. Is -19 smaller than t?
True
Let c be ((-2)/4)/(3/(-6)). Suppose -5*u + 3*h + 1931 = 0, -2*u + 4*u + 3*h = 764. Let b = -408 + u. Which is smaller: c or b?
b
Let u = 3 - 4. Let y be 8970/(-1345) + (-4)/(-6) - (-112 - -106). Which is smaller: y or u?
u
Let l = 539.8 - 539.7. Is l not equal to 2056?
True
Let k be -42 + (-12)/(-2 - 2). Let o be (-356)/(-52) + (-6)/k. Let b = 22 - 14. Is b > o?
True
Suppose -5*r - t - t = -18, 2*t - 8 = 0. Suppose 0 = r*q - 7*q. Let n = 1/470 - -903/17390. Are q and n unequal?
True
Let c = 507 + -507.474. Let u = c - -0.474. Which is greater: u or -3/10?
u
Let w be -9 - (10/(-24) + (-6)/24)/((-5742)/71253). Let b(h) = h - 17. Let