er: v or j?
j
Let z(h) be the third derivative of 9*h**4/8 - 5*h**3/3 + 3*h**2 - 3*h. Let k be z(16). Do k and 422 have different values?
False
Let j = 72 + -62. Suppose -4*c + j*b + 334 = 8*b, -c - 4*b = -97. Is c at least 84?
True
Let p = 23807 + -21571. Is p greater than 7?
True
Suppose 0 = -c, -5*c - 931 - 1553 = 3*t. Let d = t + 761. Which is bigger: d or 1/2?
1/2
Let s(j) = -9*j + 13. Let o be s(1). Suppose z - 14 = -0*z - 4*x, -o = -x. Which is smaller: z or -13/5?
-13/5
Suppose 3*j - 4*w = 15, 4*j + w + 2 = 3. Let b be 197772/(-23724) + 7 + (-4)/(-3). Does b = j?
False
Let w = 62.45 + -52. Let c = -8.15 + w. Let s = -0.4 + 0.3. Which is greater: c or s?
c
Let c be (110/(-25))/(5 - 4*49/40). Let l(m) = -13*m - 4. Let y(p) = 12*p + 3. Let t(r) = 5*l(r) + 6*y(r). Let x be t(-6). Is x at most as big as c?
True
Let k = 0.48 - 0.28. Let j = 22 + -23.1. Let i = 8.1 + j. Which is smaller: k or i?
k
Let i be (-69 + 80)/((-1)/(-1)). Let y be (-3 - -1)*(-1)/(-26). Which is smaller: y or i?
y
Let w be ((-2)/(-4))/(49/63994) - (-1 - 6). Do w and 667 have the same value?
False
Let m be (-171)/532*(-1 - -21). Which is smaller: m or 2/7?
m
Let m be (6/(-10))/((-6)/30). Let f be (m - -2)/(1/(-1)). Let o be -4 - 0/5*-1. Which is bigger: o or f?
o
Let g = -0.03 - -3.03. Let n = 0.397 + 366.603. Let s = -351 + n. Are s and g non-equal?
True
Suppose p = -120 - 72. Let h be -2 - (5044/p)/13. Which is smaller: h or -1?
-1
Suppose -v - 2294 = h, -3*v = h - 360 + 2660. Is h at least as big as -2292?
True
Let u be (-1)/(-130)*4*-5. Let k = -0.35348 + -1.64652. Do u and k have the same value?
False
Let l(u) = 133*u - 12. Let f be l(-6). Let s be -3 + -1 + f/(-225). Suppose 0*t - 5 = 5*t. Is t smaller than s?
True
Let d(i) = i**2 - 4*i - 15. Let h be d(-15). Let n = 282 - h. Is n greater than 11?
True
Suppose -3*g = 4*m + 589, 835*g - 3*m = 834*g - 192. Are -190 and g non-equal?
True
Let x = -317 + 316. Are 5/279 and x non-equal?
True
Let z be 46/(-4) + (-20)/(-8). Let i be z*(-3)/36 - (-279)/(-4). Is i greater than or equal to -68?
False
Suppose -4*l - 19*l = 47*l - 43610. Which is smaller: l or 4?
4
Suppose 4*r - v + 106 = 0, -179*r - v = -176*r + 83. Which is smaller: r or -28?
-28
Let x = -31 + 54. Let l = x - 23. Let t = 806 + -42720/53. Which is bigger: t or l?
l
Suppose 153*o - 404629 = 14*o. Are o and 2910 equal?
False
Let y(i) = i**3 + 36*i**2 + 186*i - 99. Let w be y(-31). Is -3176/3 less than w?
False
Let s = 104355711098/773954675 - 5396636/38785. Let i = -2/7675 - s. Do i and 3 have different values?
True
Suppose 4*i - 20*y = -23*y + 1549, i - 386 = -y. Is 385 less than i?
True
Let f = -5480.809 + 5481. Are f and -3.2 equal?
False
Let j = 24 + -40. Let w be 4/j - ((-531)/(-196) + -3). Which is greater: w or -1?
w
Suppose -4*l - 3*p + 8 + 1285 = 0, -4*l + p + 1297 = 0. Suppose 0 = 12*t - 16*t - l. Let r = t + 88. Is 4 < r?
True
Let x be 614/(-4)*(-29)/(-348)*8. Which is smaller: -101 or x?
x
Let c be (0 - -2) + 5 + -11. Which is smaller: c or 94?
c
Let f(y) = 47*y**3 + 6*y**2 + 8*y - 23. Let z be f(4). Which is greater: 3114 or z?
3114
Let f be -5 + 44096/(-40) - (-6)/15. Do f and -1108 have different values?
True
Let l be (-5)/(-5)*477/27 + 2/(-3). Let v be (40/12)/((-2)/(-6)). Which is smaller: v or l?
v
Let u be (0 + 2)/(-92)*6. Let v(q) = 3*q**2 + 4*q. Let f be v(3). Let r = 39 - f. Which is smaller: u or r?
u
Let p(m) = 3*m**3 + 30*m**2 - 103*m + 55. Let c be p(7). Is c != -1?
True
Let c be 1060/410 + (-1 - -3)*-1. Let n = 25 - 23. Which is smaller: c or n?
c
Let p = -2160/37 + 36271/518. Let w = 122/21 - p. Suppose 4*m - 97 = -3*d - 92, 3*m = -10 + 25. Which is smaller: w or d?
w
Let r = -171 - -307. Suppose -7*h + r = -4*j - 2*h, h - 149 = 5*j. Is j bigger than -30?
True
Let s(o) = o - 2. Let b be s(-7). Let r = -9 + 9. Suppose -m - 25 = n + 4*m, r = n - 3*m + 1. Is n greater than b?
False
Suppose -2 = 2*w - 4. Let j be (-90)/9774*(-30)/(-175). Is w less than j?
False
Suppose -z = -4*j + 11, 3*z - 8*j = -5*j - 6. Let u be -2 + 38 - -4 - (-1 + 4). Let b = u + -50. Which is smaller: z or b?
b
Let r be -3*183/(-597) + -1. Let d = 5437/79998 + r. Let h = -141/4154 - d. Which is bigger: h or -1?
h
Let g = 109118/115455 - 204/215. Let w = -14 + 15. Which is smaller: g or w?
g
Suppose 0 = -2*r + 77*f - 76*f - 1014, -4*r + 5*f = 2040. Which is greater: -502 or r?
-502
Let v = 9846 + -1309542/133. Let a = v - -1090/6251. Which is smaller: 1 or a?
a
Let v = -19.7279 + 19.8279. Suppose 2*q + 149 = 3*q - 5*a, q + 3*a - 141 = 0. Which is smaller: v or q?
v
Let s = -2546.875 - -2547. Let j = 11/10 - 8/5. Which is greater: j or s?
s
Let m = -3230/13 + 151459/611. Which is smaller: -5 or m?
-5
Let x(u) = -u**3 + 33*u**2 - 10*u + 166. Let j be x(33). Are -161 and j unequal?
True
Let z = 14 - 15. Let c be -2*(-3 - z*20). Let g = c - -31. Are g and -6 nonequal?
True
Let x = -455/27 - -17. Let z(f) = f**2 - 7*f - 9. Let j be z(-4). Let r = j + -35. Is r smaller than x?
True
Let i be (-8)/(-12) - (-4)/(-6). Let a(c) = -c**2 - 1. Let b(v) = -7*v**2 - 2*v - 24. Let q(j) = 6*a(j) - b(j). Let w be q(i). Is w at least 18?
True
Let r = -195.01 + 232.01. Are r and -3/28 equal?
False
Suppose -4*x = x. Suppose 3*h = -3*c - 12, h + x*h = 3*c + 16. Let r = 12561 - 12559. Is h less than or equal to r?
True
Suppose -154*d + 108 = -160*d. Suppose 32 - 2 = -3*l. Are l and d non-equal?
True
Suppose 210 = 5*n + n. Let j(z) = -2*z - 10. Let l be j(-8). Let h be l/(4 - n/(-10)). Which is bigger: h or 1?
1
Let q = 11363 + -11362. Which is greater: q or -1/5212?
q
Let b = 3 - -7. Let l = 814 - 808. Let d be ((-273)/42)/((-3)/l). Are b and d equal?
False
Let n = 931/4 + -230. Let t = -102 - -201. Let w = t - 100. Which is greater: n or w?
n
Let h be (-2 + -1)/(1/29). Suppose 4*y - 100 + 36 = 0. Let q be h/(-2)*(y/(-6) - -4). Is q <= 57?
False
Let s be -1 - 5*(7 - 8). Let d be s - ((-5)/(20/(-12)) + 0). Is 1/467 bigger than d?
False
Suppose 0 = -5*l - 4*i, -l = -3*i - 0*i. Suppose 21*r - 24*r - 177 = l. Let m(g) = 9*g + 12. Let n be m(-8). Is r at most as big as n?
False
Suppose -5*a = 3*i - 385, 103 = a + 4*i + 26. Let k = -57 + a. Let p be (k/70)/((-9)/7). Is -12 at most as big as p?
True
Let k = 2 + -6. Let w = 85.1604 + -1.1604. Is w at most k?
False
Let c be (((-10320)/150)/86)/(-1 - (-22)/10). Let g be (-4)/(-20) + (-9)/(-5). Let j be 2/(-1) + (g - 3). Which is greater: j or c?
c
Let k be (-1032)/(-20) + -1 + 0. Suppose 15236 = -45*n + 235*n + 103*n. Which is bigger: n or k?
n
Let z = -0.11377 - -21.11377. Which is bigger: -1/304 or z?
z
Suppose 6 = -2*b - 2*g, -5*g - 16 = -4*b + 8. Suppose -3*a = -w - b, -5*a = 7*w - 4*w + 59. Let j(z) = -z - 7. Let v be j(7). Which is smaller: w or v?
v
Let n be 1/(3/(-12) - 0)*420. Let f be 8236/(-42) - 160/n. Which is bigger: f or -197?
f
Let x(f) = -f**3 - f + 22. Let y be x(0). Let d = -122 + 141. Let k = d - y. Which is greater: -1 or k?
-1
Let w = -305952.9 + 305953. Let h = 10733/60 + -3467039/19140. Let m = h - -66/29. Which is greater: w or m?
w
Let g be (806940/290)/((-2)/(-562)). Let o = g - 781974. Let d = 77 + o. Is 0 at most d?
True
Let n be 2 - (-36)/(-15) - (-9)/(-15). Let y be -55 + n - (18 + -13). Which is greater: y or -123/2?
y
Let n = -1866/3241 - -2/463. Let i = 23.13 - 2.53. Let c = i + -19.6. Which is greater: n or c?
c
Let n(q) be the third derivative of q**5/60 + q**4/12 - q**3 + 17*q**2. Let k be n(3). Suppose 3*s + k = 0, -3*a + 6*s - 9 = s. Is a at most -20/3?
True
Let o be 1260/60*((-138)/(-42) + -2). Which is smaller: -283 or o?
-283
Let t be 675/(-12) - 4 - (-6)/24. Suppose 5*a + 1 = 21. Let l be 13*a/t + 1. Which is greater: -0.3 or l?
l
Let v = -11677 + 11676. Are -1/8749 and v equal?
False
Let y = -6/2231 + 3210475/24541. Let t = y + -131. Which is bigger: t or -34?
t
Let q be ((-35)/60 + 4/6)/(8 + -63). Which is bigger: -0.1 or q?
q
Let a = -5434311817 + 2657381421317/489. Let b = a - 6018. Is 1 at least as big as b?
True
Let q be (9/(-6))/(((-3975)/3350)/53). Let u be (-1 + 3)*(-69)/(-2). Which is greater: u or q?
u
Let a = -443 + 107. Let v = -295 - a. Is 41 < v?
False
Suppose 2*w - 3*s = -0*s + 7, 5*w + 2 = s. Let z = 56545/2 - 35227539/1246. Is w <= z?
True
Let s be 2 - -25 - ((-3)/1 - -1). Let q = s +