u and 1/267 unequal?
True
Let g = -174 + 173.684. Let m = g - -0.116. Do m and 37 have the same value?
False
Let a be ((-12)/8 - 0 - -2)*(-5 + 7). Are a and -1/20522 non-equal?
True
Let m be (0 + -27 + -2)*(4 - 0). Let x = -140 - m. Let f = -65 - x. Do -40 and f have the same value?
False
Let w = 92 + -164. Suppose -4*g - 426 = -3*r, -g + 2*g + 581 = 4*r. Suppose -45*f - r = -43*f. Which is smaller: f or w?
f
Let b = 192 + -198. Let z be ((-58)/(-783))/((-28)/b). Is z less than or equal to 1?
True
Let i = 17034 - 19972. Does i = -2938?
True
Let m(f) = 3*f**2 - 30*f - 5. Let h be m(8). Let n be h/(-2)*-4*1/2. Which is smaller: n or -54?
-54
Suppose -4*x + 61 = 13. Let b = x - 47. Let h be ((-248)/b)/(-8) - 3/(-5). Which is greater: 5/3 or h?
5/3
Let s = 423.143 - 0.143. Let i = s - 413. Is i less than or equal to 4.1?
False
Let u = -4/61349 - -223003631/245396. Is 909 less than u?
False
Suppose 2*n = 3*n - 67. Let u = n + -60. Let l be (0 + (-1)/2)*6/u. Does l = 1?
False
Let l = 20 - 6. Let r = -1809 - -1811. Is r equal to l?
False
Let g be ((-1)/(-3))/(6/36). Suppose 2*f + g = -0. Let r be ((-15)/(-20)*-2)/(81/4). Which is greater: r or f?
r
Let j(v) = -8*v - 3. Let z be j(-2). Suppose -z*u = -12*u - 2. Suppose -4*r = -m - 20, 5*r + 3 = -u*m + 2. Is -11 <= m?
True
Let f = 4.08 + -1.51. Let u = 35.57 - f. Is u at least as big as -0.4?
True
Let k = -3959 + 3974. Which is smaller: 695 or k?
k
Let l be (-63704)/3352 + 17 + (2 - 0). Is 1/8 at least l?
True
Suppose -c = 4 - 5. Suppose 5*l - y + 53 - 18 = 0, -4*y = -20. Let j be (-2)/l*7/105. Which is bigger: j or c?
c
Suppose 2*t + 5*r + 11542 = 0, 4485 = 3*t - 5*r + 21898. Which is smaller: -5789 or t?
t
Let s(l) = 44*l + 60. Let k be s(11). Suppose 0 = -14*f + k + 226. Suppose -53*g + f*g - 182 = 0. Is 92 greater than g?
True
Let z be (30/75)/(2/180). Let w = 40 - z. Let o be -4 - (3 + (-16)/w). Which is smaller: o or -7?
-7
Suppose 4*u - 3*k - 5 = 0, 4*u - 3*k = -4*k + 9. Suppose 3*m - 4*q = -u*q - 277, 0 = -5*m - 3*q - 430. Let c = m + 96. Is 7 at most c?
True
Suppose j - 181 = -3*r, 5*r - 3*j = 309 - 12. Let f be 45/r*8/(-12). Which is smaller: f or -5/2?
-5/2
Let w be ((-55)/25)/(-1)*-2*(-15)/24. Which is greater: -51 or w?
w
Let x = -177.5 + 184.5. Which is smaller: 2/7 or x?
2/7
Suppose 150*w = 179*w + 116. Suppose -2*s - 99 = s. Let h be (-4)/(-12) - (-95)/s. Which is bigger: h or w?
h
Let j(s) = -50*s**2 - 46*s**2 - 51*s**2 - 12 - 2 + 156*s**2 - 3*s. Let q be j(0). Is 3 bigger than q?
True
Let z = -45.14 + 45.64. Is -0.0375 > z?
False
Let s be (-4 - -3)*8526/357. Is s > -24?
True
Suppose -3*b - 4 = -2*d, -4*b + 5 + 3 = 0. Let y be (d/15*0)/1. Is -2 less than y?
True
Let w be 2/(-91 - 3)*(-1585396)/(-12). Let k = w + 2811. Is 1 bigger than k?
True
Let h be (-5)/((-15)/63) - (0 + 2). Suppose -4*n - h = -2*i + 61, -4*i - n = -205. Is i bigger than 3?
True
Let b = 8834082507/40121 + -220186. Which is greater: b or -1?
b
Let k be 637/(-40950)*8/4298. Which is smaller: k or 1?
k
Let t be (12/4 - -3)*(-7)/(-21). Suppose 316 = -3*k + t*k - 5*a, -3*k = -3*a + 1038. Is k smaller than -341?
False
Let t be 65/12*12/9. Let a = 18009 - 18001. Which is smaller: t or a?
t
Let w(l) = -1480*l**2 + 94*l - 4. Let j be w(-2). Is j not equal to -6112?
False
Let y be (-5)/(-2289)*((-2892)/(-360) + -8)*4. Are 1 and y non-equal?
True
Let a = 199.87 + -200. Let f = 16.07 - 16. Is f < a?
False
Let i(o) = -6*o + 64. Let c(a) = -3*a + 64. Let r(p) = -4*c(p) + 5*i(p). Let m be r(0). Is 67 smaller than m?
False
Suppose -1839 = 39*y + 501. Let p(t) = 11*t + 49. Let d be p(-10). Do d and y have different values?
True
Suppose o + 4*o + 2*l - 38 = 0, 28 = 4*o + l. Let j be (-45)/((-9)/o + 0). Let t be (-3 - j/(-16))/3*28. Which is smaller: t or -12?
-12
Let u be 2 + ((-32)/(-64))/(2/(-1196)). Let n be u/(-37) + (-64)/8. Suppose j - f - 4 = 0, -11 - 4 = 3*f. Is j at least as big as n?
False
Suppose -5*j + g = -4*g + 10, 5*j + g + 34 = 0. Let i be (4*j/16)/((-1)/(-10)). Is -14 smaller than i?
False
Let o = 341 - -99. Let w = 440.5 - o. Let h = 0 + 2. Which is smaller: h or w?
w
Let y be ((-7)/(-28)*-1)/(1/4). Let r be 4*(-4)/((-2688)/9). Which is smaller: y or r?
y
Suppose -9*l + 8*l = 0. Suppose -2*h + l*h = -110. Let b be (-3 - -2)*1 + 145/h. Which is smaller: 2 or b?
b
Let i(s) be the first derivative of -3*s**2/2 + 44*s + 211. Let o be i(18). Which is smaller: o or -5?
o
Let b = -933/33733 - -1/427. Suppose 0 - 6 = w. Let l be w/14 + 16/(-28). Which is bigger: b or l?
b
Let a(n) = -53*n - 15. Let d be a(-3). Let j = d + -1874/13. Which is smaller: -2 or j?
-2
Let k be (-2)/4*0/1. Let l be 11565/23140*8 - (-25 + 29). Is k > l?
True
Let v be (-1 + 9/27)*(-699)/(-2). Let j = 16775/72 + v. Is j not equal to 1?
True
Suppose 0*z = 2*b - 4*z - 100, -3*b = -z - 125. Let d(o) = -o**3 + 7*o**2 - 2*o + 14. Let c be d(7). Suppose c = -39*t + 43*t - 164. Which is bigger: b or t?
t
Suppose 4*h - 5*h = 2*c + 605, 0 = -4*c + 2*h - 1230. Let t = c + 305. Which is greater: t or 8/31?
8/31
Suppose -378 = -5*w - 2*w. Suppose j + w = -2*j. Let f = j + 33. Is 15 < f?
False
Let n = 1.22 + 183.78. Let a = n + -185.056. Which is smaller: 0.2 or a?
a
Let g be -5 + 6 - (1 - (22 + -1)). Suppose 0 = -8*o + 133 - g. Suppose -10 = o*x - 13*x. Which is smaller: -80/7 or x?
-80/7
Let m = 0.52 + -217.52. Let x = m - -204. Which is smaller: -0.07 or x?
x
Let l = 16.76 - 333.76. Which is bigger: l or -0.03?
-0.03
Let i be (8/22)/(-4)*-5. Let t be (-6)/5 + (-608)/(-640). Which is greater: t or i?
i
Let u = -835786/1141751 - 6/16081. Which is smaller: u or -2?
-2
Let x = -211 - -199. Let b(y) be the third derivative of -y**6/120 - 11*y**5/60 + y**4/2 - 2*y**3/3 - 6*y**2. Let p be b(x). Which is bigger: -21/5 or p?
p
Let p be ((-4)/8)/(28/98672). Is p < -5290/3?
False
Let q(y) = 2*y**2 - 2*y - 3. Let j be q(-3). Suppose 33*m - 654 = 633. Suppose 0 = -w + 3*n + 2*n + m, w = -n + j. Is w > 24?
False
Let z be (-1)/4 - (48750/104 + 26). Is -497 > z?
False
Let t = 2635 - 2786. Which is bigger: t or -1066/7?
t
Let m(z) = -z**3 + 2*z**2 + 4*z - 2. Let c be m(3). Let t be (6/1)/(4 - (-4713)/(-1194)). Let i = t + -114. Which is smaller: c or i?
i
Let h = -24.02411 + 0.01411. Let o = 174 - 150. Let g = h + o. Which is bigger: -1/4 or g?
g
Let n = -0.0269 - -0.1269. Which is smaller: 913/9 or n?
n
Let f be (357 + 6 - 1)/((-1)/(-2)). Let y = -720 + f. Which is smaller: -17 or y?
-17
Suppose -z + 4 = m + 13, -2*z = m + 6. Let t(q) = q**3 + 6*q**2 - 54*q - 7. Let c be t(m). Which is smaller: -224 or c?
-224
Let l be 6577/30 + 10/(-30). Let s = l - 216. Which is smaller: s or 2?
2
Suppose 3*i + 4*h = i, -2*i + 3*h = -28. Suppose -i*r + 7575 = -23*r. Let t be r/(-5)*1 + 0. Which is bigger: 102 or t?
102
Let s be (-3)/(-15)*(-205)/3. Let v = s - -167/12. Is v less than or equal to 1.5?
True
Let f = -405.636 + 406. Let o = 4.636 + f. Is -10 less than o?
True
Suppose -2*a - 4*g = 48, -4*a - 106 = 3*g + 15. Let p be a/3*3/6. Suppose 47*q - 3 = 52*q + 2*d, q - 2*d = -27. Is p at least as big as q?
False
Suppose -4*r = -3*p - 25, -p + 5*r = 4 + 19. Let w be 22/5 + 9/p. Suppose -42*l + 2*z = -37*l + 1, -l = -3*z + 8. Is w <= l?
False
Let a(t) = -15*t + 6*t**2 - t**2 + 6*t + 15*t + 6. Let l be a(-2). Does 30 = l?
False
Let p be -3 - ((-41)/(-8))/(6 + (-75)/10). Let k(u) = -u**3 - u. Let q be k(0). Let n = -1 + q. Are p and n equal?
False
Let n = -467/66 + -13/22. Let d(q) = -9*q**2 + 31*q - 26. Let w(g) = 5*g**2 - 16*g + 15. Let x(v) = -3*d(v) - 5*w(v). Let i be x(1). Is i equal to n?
False
Suppose 5*n = h + 108, -3*h + 29*n = 34*n + 284. Let c = 6 + -2. Let u be (-6)/4 + (h/c)/(-7). Which is smaller: u or 8/7?
8/7
Let k = 120.057 + -120. Let o = -3.543 - k. Let v = o + -57.4. Is -1 at most as big as v?
False
Let j(z) = -7*z**2 - 4*z - 3. Let u be j(-2). Let r = -200 + 194. Let m be -5*(12/(-10) - r). Which is smaller: m or u?
m
Let o = -14162.2 - -14162. Is 3784 equal to o?
False
Let l(m) = m**3 - 21*m**2 - m + 72. Let r be l(0). Are 502/7 and r nonequal?
True
Suppose 5*g - 551 = -281. Suppose 0 = -12*a + 18 - g. Is -2 greater than or equal to a?
True
Let b = -17914/7 - -525176/203. Which is smaller: b or 27?
27
Let m(q) = -6*q + 37*q + 18 - 6*q - 12*q - 14*q. Let a be m(19). W