-85?
True
Suppose -2421 = l + 33*v - 28*v, -4*v = l + 2414. Does -2386 = l?
True
Let b = 5982 + -5983. Let h = -6 - -4. Let z be ((-2)/b)/(h/(-3)). Which is smaller: z or -1?
-1
Let p = -21.817 - -0.288. Let r = -21.5 - p. Let b = 2/61 - -57/122. Which is smaller: b or r?
r
Suppose 0 - 3 = -3*o. Let w be (-1)/(-6)*-2 - 29536/96. Let k be w/(-258) - 12/9. Are k and o non-equal?
True
Let c be (-7)/(-2 + 3) - (-18)/(-9). Let l(i) = i**3 + 5*i**2 - i - 3. Let b be l(-5). Suppose 0 = b*f - 7 + 25. Is f less than or equal to c?
True
Let z be 2 + 0 + -3 + 3. Suppose -3*h = d + z, 2*d + h - 3 = -2*d. Let v = -6749/14872 - 1/1352. Which is smaller: d or v?
v
Let r = 1637/5 + -325. Let c = 63 - 85. Let v = -21 - c. Do v and r have the same value?
False
Let d = 16714 + -16736. Are -510/23 and d nonequal?
True
Suppose 5*h = 3*x + x - 59, -2*h = 5*x + 17. Let k = -56 + 61. Suppose -k*y = -61 + 106. Which is bigger: y or h?
y
Let c = 15478 - 12904. Which is greater: 2573 or c?
c
Suppose 0*w + 2*w + 7904 = 10*w. Which is bigger: 987 or w?
w
Let p be ((-120)/(-480))/(((-1058)/(-16))/1). Let s be (2/8)/(13/52). Which is smaller: s or p?
p
Let h(z) = -z**3 - 79*z**2 - 1007*z + 17. Let k be h(-16). Which is smaller: k or 17/60?
17/60
Let d be (8/(-250))/((-399)/95). Which is smaller: -1 or d?
-1
Let p = -8047 + 8049. Is 0.102 at most p?
True
Let m = 712.0295706 + -0.0295706. Let z = -148/5 + 30. Which is smaller: z or m?
z
Let m = 111 - 106. Let c = m - 4.967. Let s = c - -49.967. Is s <= 0.1?
False
Let h = -61 + 243/4. Let b = 2594.8 - 2906.8. Which is smaller: h or b?
b
Suppose 0 = 2*c + 37*c. Which is smaller: 18/23 or c?
c
Let o = 73.2 - 98.1. Let i = 52.9 + o. Let x = -1.9 - -2. Which is smaller: x or i?
x
Suppose -3*p = -y + 36 - 9, -4*y + 12 = 0. Let u = -3 + p. Suppose q - 2*x + 11 = -0*x, 5*q - 5*x = -55. Does u = q?
True
Suppose -373*o - 4*i + 28 = -374*o, 4*i = -3*o - 36. Suppose 0 = -5*n - 15, -2*n = -5*y + 2*n - 38. Is y != o?
True
Let y be 1384*((-33)/1144)/(3/50). Are y and -666 nonequal?
True
Let i be (17/((-680)/(-330)) + -8)/(1/(-2)). Which is smaller: i or 0.861?
i
Let c be (-12)/9 + 177/(-9). Let o be (2/114)/(c/189). Is o > 0.2?
False
Suppose -4*l = 3*v + 2231, -5*v + 1862 = -5*l - 988. Is -6195/11 smaller than l?
True
Let k = -1202/9 - -17291/117. Does 15 = k?
False
Let y = 25372/5 + -5074. Which is smaller: y or 1/165?
1/165
Let h(l) = -110*l**2 - 29*l + 31. Let x be h(-6). Is x > -3755?
False
Suppose 0 = 22*w - 1155 - 649. Suppose 90*q = w*q + 1000. Which is bigger: -2 or q?
q
Let w be (3 - 7)*8/((-128)/20). Suppose w*o = 5, 5*a - 96 = -2*o + 161. Is 103/2 < a?
False
Suppose 0 = 4*r + 5*j + 12, 5*r - 2*j - 8 - 10 = 0. Let x be r/372*(-540)/(-120). Which is bigger: x or -1?
x
Let l(u) = 10*u**3 - 47*u**2 + 4*u - 3. Let t be l(3). Which is greater: t or 22?
22
Let t = 82423/943 + -9632/41. Let v = -147 - t. Is v > 2?
False
Let h = -9417 - -9440. Which is bigger: 0 or h?
h
Let p be -1 - (5 + 8/(-4)). Let f = -782 + 5456/7. Is f less than or equal to p?
False
Suppose -5*s + 10 = 0, -4*s = -0*h + 4*h - 24. Let u be h/18*(-10 - -1). Are 0.6 and u non-equal?
True
Let g be (-3)/(194/364 - (-32)/(-56)). Let v = -91 + g. Which is smaller: v or -1?
v
Suppose -5*l + 4*o + 31 = 44, 5*o + 15 = 0. Let q be ((-33)/l)/(3/25). Let h = -36 + 90. Is h at least q?
False
Let y = -8409.1 + 8409. Is 11225 not equal to y?
True
Let k be 8/48*99/(-45). Let h be ((-1)/(-5))/((-2)/(-10)). Which is bigger: h or k?
h
Let z = -141 + 87. Let w be 1 - (z/(-5))/6. Which is greater: -2 or w?
w
Let r = -844 + 789. Which is smaller: -59 or r?
-59
Let z be (-65595)/(-16400) + (-3)/((-3)/(-4)). Are z and 1 unequal?
True
Let n = -1415/131 - -2472608/229119. Is 1 != n?
True
Suppose 384 = 24*s - 48. Let w be ((12/2)/(s/48))/(-1). Is -17 less than w?
True
Let g be (414/207)/(1/2952). Is 5903 at least as big as g?
False
Let p be (5 + 325/(-52))*1148. Which is bigger: -1434 or p?
-1434
Let f = -0.4336 + 40.0136. Let q = f + -40. Let z = 0.42 + q. Are z and -3/10 equal?
False
Let v = 16535/33 + -501. Let h = -243 + 242. Which is smaller: h or v?
h
Let f be -104*5/(-10)*1. Let x(v) = -v**3 - 6*v**2 + 2*v + 14. Let j be x(-6). Let d be -5 + j + (0 - -3*18). Is d bigger than f?
False
Suppose 0 = -0*o + 2*o - 56 + 58. Which is greater: -5/2761 or o?
-5/2761
Suppose 2*g = -2*b + 62 - 22, -3*g + 28 = b. Let p be -6*(-12)/(-27)*(-84)/b. Which is greater: 53/4 or p?
p
Let t(s) be the second derivative of -s**3/6 + 313*s**2/2 + 3*s - 26. Let f be t(35). Which is greater: f or 277?
f
Let t(q) = -4*q**2 + 15*q - 3. Let l be t(7). Let k = l - -78. Suppose j = 9 - 25. Is j smaller than k?
False
Let a be 3*1 - (-89640)/(-104). Let c = -858 - a. Let t(r) = r**3 + 4*r**2 + r - 1. Let b be t(-1). Is b < c?
False
Let w = 1 + 1. Suppose -w = j - 3*j. Let t = -2209/4991 + 10/713. Which is greater: j or t?
j
Let m be ((-2)/(-8))/((-4)/(-656)). Suppose -2015 = -m*o + 10*o. Which is greater: o or 66?
66
Let g(i) = -i**3 + 16*i**2 - 22*i + 21. Let p be g(14). Suppose 3*h + p = 5*c - 6*c, -210 = 2*c + h. Is c >= -106?
True
Suppose 2946437 = 180*d - 978283. Which is smaller: d or 21805?
d
Let s(m) = -639*m - 2518. Let h be s(6). Is h > -6351?
False
Let b = -16 - -17. Suppose -10*r + 41 = b. Let j be (-3)/(-1) - 5*r/20. Are j and 2 nonequal?
False
Suppose 13*q - 7*q = 168. Suppose -4*l - 28 = -o, 0*l = -4*l + 4*o - q. Is -7 equal to l?
True
Let p be (36714/(-207))/(6/(-9)). Let h = -266 + p. Let t be 1/(-2) + 27/18. Is h < t?
True
Let m be (-295)/51 + (-1479)/(-261). Suppose x = 3 - 2. Suppose 0*k - x = k. Which is bigger: k or m?
m
Let f(s) be the first derivative of -s**4/4 - 3*s**3 + 3*s**2 - 7*s - 82. Let g be f(-10). Which is bigger: 34 or g?
34
Let g = -466969 - -177447743/380. Let l = -21/19 - g. Let f(y) = -110*y - 23650. Let s be f(-215). Which is greater: l or s?
l
Let k = 2211 - 2871. Which is bigger: -658 or k?
-658
Let o(a) = 3*a**2 - 60*a + 128. Let f be o(18). Which is smaller: f or -2/177?
-2/177
Let m = 696053/252 + -19335/7. Suppose 0 = -5*x - 1 - 4. Is m <= x?
False
Let v be (-28)/385*90/(-36)*-7. Let b(w) = -w - 4. Let x be b(-4). Suppose x*s - 2*s = 4. Which is smaller: v or s?
s
Let q be -15*((-16)/(-6) - 3). Suppose s + 7 - 11 = 0. Suppose -j + l + s = 0, -j - q = -2*l - 9. Which is smaller: 3 or j?
3
Let g(w) = w**2 - 31*w - 1338. Let b be g(57). Is 131 > b?
False
Let r be ((8 - (-8 - -16))/2)/(-5). Are 7/134 and r non-equal?
True
Let w(m) = m**2 - 13*m + 16. Let s be w(12). Suppose 3*h = s*f + 17, 0 = -3*f - 2*f - 5*h - 30. Let b be -8 + ((-504)/(-45))/4. Which is smaller: b or f?
b
Let h be ((-1 - (-3 - -2)) + -1)*-3. Suppose -2*q + h*o + 33 = 3*q, 5*q = 5*o + 25. Is 11 greater than or equal to q?
True
Let w = 34.7 - 39.9. Let z = -3.2 - w. Which is greater: z or 0.054?
z
Let w = -2779.9241 + 2783. Let t = -0.0759 + w. Is t at most as big as 15?
True
Let w be (-13 - 0/(-2))/(60/(-120)). Are w and 302 equal?
False
Let u(s) = 42*s. Let t(v) = -v**2 + 4*v + 5. Let h be t(5). Let w be u(h). Which is greater: -6/47 or w?
w
Let o be ((-28)/105)/((10/75)/((-48)/(-36))). Which is greater: -447 or o?
o
Let z = 2.2996 - 2.0496. Is -12.3 < z?
True
Let d = -9.383 - -402.483. Let k = -393 + d. Which is smaller: k or -117?
-117
Let b(d) = -10*d - 80. Let n be b(-10). Let h(z) = z - 4. Let k be h(6). Let w be k/4*0 + (-8)/28. Which is greater: n or w?
n
Suppose 21 = j + 5*t, 255 = 5*j - t - 4*t. Let o = j + -94. Suppose -h = 2*s + 93, 0 = -5*s - 2*h - 98 - 136. Is s > o?
False
Suppose 2*a - 710 = -4*g, -529 = 5*g - 8*g + 2*a. Let o(p) = 2*p**2 - 11*p + 40. Let t be o(-6). Does g = t?
False
Let f = 7297/19152 - -5/1008. Let y = f - 1/19. Let h = -1.2 - -1.26. Is y less than h?
False
Let h be -1*(0 + (-2)/1). Let r = -77/598 - 2646807/4186. Let v = r + 633. Which is bigger: v or h?
h
Let s = -14552 + 10782. Which is smaller: -3774 or s?
-3774
Suppose 4*o - 122 = 2*i, -o - 204 = 3*i - 0*o. Which is bigger: -34 or i?
-34
Suppose -3512 = 81*v + 2563. Is -23 != v?
True
Suppose 1046 = -24*n - 2986. Let j(a) = a**3 - 13*a**2 + 16*a - 26. Let p be j(10). Which is bigger: p or n?
p
Let d(x) = -3*x - 27. Let v be d(-12). Let y = v - 6. Suppose -y*t = 4*t - 322. Do t and 46 have the same value?
True
Let i =