a
Suppose -3*d - 4*t + 9 = 0, -3*t + 5 = 4*d - 0*t. Let g(p) = -3*p - 5. Let w be g(d). Let x = -6 - -2. Is w != x?
True
Suppose 4*c = 5*c. Let x be (-2)/(-9) - (-301)/387. Is x <= c?
False
Let a = -33 + 36. Suppose 1 + a = 4*s. Which is greater: s or -2/7?
s
Let p(k) = -k**2 + 3*k - 1. Let m = -14 - -16. Let j be p(m). Let i be 28/16*j*8. Is i at most as big as 15?
True
Let a(f) = 2*f**3 + 2*f**2 + 2*f + 2. Let o be (-3)/(3/(-4)*-2). Let m be a(o). Let u be ((-2)/4)/(15/m). Is -0.1 equal to u?
False
Let l = 0.2 - 0.22. Let q = -0.94 + -0.04. Let i = q + l. Which is smaller: -2/13 or i?
i
Let b = 0.77 + -10.77. Does b = 0.1?
False
Let h be ((-7)/3)/(4/12). Let r(l) = -l**2 - 6*l + 6. Let i be r(h). Let m be i/((-9)/(-12)) - -1. Which is bigger: m or -9?
m
Suppose 5*a - 5*j - 9 = -4, 5*j + 11 = -a. Let p be (-12)/42 - 6/21. Is a at least as big as p?
False
Suppose 2891*c = 2890*c + 17. Let v = -0.1 + 0.3. Which is greater: c or v?
c
Let f = -762465992597609/719414139073 - 72/436272977. Let j = -1280/97 - f. Let g = j - 1047. Is 0 less than or equal to g?
False
Let r = 853 - 871. Which is bigger: r or -19?
r
Let r(c) = -7*c**2 - 10*c + 6. Let t(m) = m**2 + m - 1. Let o(d) = r(d) + 6*t(d). Let j be o(-5). Let v be 0/((-6)/15*j). Which is smaller: v or -2/45?
-2/45
Let l = 762 + -762. Which is smaller: 1.8 or l?
l
Let t be 32481/(-5418) - -3 - -3. Is t at most 1?
True
Let r be 6/(-3) - 3/(-3). Let s = 1 - r. Which is greater: s or -16?
s
Let l = 713.1 - 713. Which is bigger: -59 or l?
l
Suppose w - 4*w + 12 = 0. Suppose 72 = w*t + 4. Suppose 5*k + 3 = -t. Is -4 less than or equal to k?
True
Suppose 48 = 2*n - 0*n. Suppose -68 = 2*s - n. Let z = -112/5 - s. Which is bigger: z or 2?
2
Let m = 1.237 - 0.237. Is m smaller than -349?
False
Let q be -1*((-56073)/5097 + 11). Is q bigger than 0?
True
Let c = 3/10 + -1/2. Let t be ((-2)/6 + 0)*3. Let f be 3 - (t/(-3) - (-15)/9). Which is smaller: c or f?
c
Let a = 560 - 559.9. Are 2/495 and a unequal?
True
Suppose 22 = v - 29*b + 24*b, 3*b + 6 = -3*v. Suppose 2*s = -5*h - 14, -s - 4*s = 2*h - 7. Are h and v non-equal?
True
Let y(q) = q**3 + 18*q**2 - 14*q + 96. Let b be y(-19). Is b >= -2/627?
True
Suppose -5*x - 20 = 0, 0*x + 6 = -2*n - x. Is -1 equal to n?
True
Suppose -3*r = w - 39, 0*r = -4*w + 4*r + 92. Let i be (-788)/(-2) - (-4)/2. Let k be 8/(-28) - i/(-14). Is k at least w?
True
Let y = -11187/119 + 94. Is y bigger than -3/8?
True
Let v(z) = 2*z - 38. Let f(h) = h - 19. Let w(x) = 5*f(x) - 3*v(x). Let y be w(10). Are y and 9 nonequal?
False
Let m be 7 - ((-12383)/(-616) + -6) - -7. Is 0 bigger than m?
True
Let l = -0.436 + -7.044. Let z = 0.48 + l. Which is bigger: 2/19 or z?
2/19
Suppose 4*c - 8 = 3*c. Suppose c*v - 5*v = 60. Suppose 2*q + 2*q = v. Is 5 equal to q?
True
Let o be (0/((7 + -2)/5))/1. Is o < 2/817?
True
Let c = -156 - -156. Is 3/5 less than or equal to c?
False
Suppose -546*f = -527*f + 247. Let o = 2 + -2. Is o >= f?
True
Let m = -0.02 + -6.98. Let k = 1.25 - 8.35. Let w = k - m. Are w and -0.3 nonequal?
True
Let w = -4 + 8. Let d be ((-5)/1 + w)*-3. Suppose 7*x - 3*x + d*b - 1 = 0, -4*b - 28 = -2*x. Which is smaller: 1/4 or x?
1/4
Let q = 0.171 - 0.081. Let t be (-4)/(-8) + (-1)/(-6). Which is smaller: t or q?
q
Suppose 6*z = z + 2*z. Which is greater: z or -2/153?
z
Let d = 1.87 - -0.13. Let j = -2824/5137 - -2/467. Which is bigger: j or d?
d
Suppose 5*v - 10*v + 211 = -2*o, -o = -3*v + 108. Is o bigger than -94?
True
Let d be 3 + 14 + 2 + -2 + 0. Do 17 and d have the same value?
True
Let x = 0.296 - 24.396. Let t = -14.1 - x. Are 2 and t equal?
False
Suppose 9*x - 18 = 12*x. Let d be (-258)/(-9) + (-2)/x. Let p = d - 25. Is 1 at least as big as p?
False
Suppose 3*w + 2 = p, -3*p + p + 11 = w. Let q be (-13)/2 + (-1)/2. Let m = q + p. Is m less than or equal to -3?
False
Let q = -74 + -45. Let m = -1193/10 - q. Let x = -2 - -3. Which is smaller: m or x?
m
Let d be (-7 + 3)/24 + (-74)/420. Which is bigger: 0 or d?
0
Let d = -149 + 139.9. Let z = 8.6 + d. Which is smaller: 7 or z?
z
Let b = 0.2 + -2.7. Which is smaller: 1 or b?
b
Let l = -670 - -673. Which is smaller: l or 35?
l
Suppose 3*q + 4 - 16 = 0. Let u be q/(-6) - 47/(-3). Let h = -14 + u. Which is smaller: h or 0?
0
Suppose -7*f + 3*f = 0. Let g be ((-3)/(-6) + f)*-34. Which is smaller: -18 or g?
-18
Suppose 4*h - 20 + 4 = 0. Let d be 1/2 + 74/h. Is d > 19?
False
Let z be (-5)/40 - (-6)/((-1056)/(-46)). Is z bigger than 1?
False
Suppose 26*d + 4836 = 78*d. Do d and 96 have the same value?
False
Suppose -h = -4*k - 7, 3*h + 0*k = 2*k + 11. Let u(r) = -14*r**3 + 2*r**2 - 2*r + 1. Let g be u(1). Let p = g + 13. Which is greater: h or p?
h
Let y(r) = 4*r**2 + 35*r - 9. Let h be y(-9). Which is greater: h or 1/808?
1/808
Let q = 24.14 - 1.24. Let p = -24 + q. Is p <= 1?
True
Let z = -28/11 - -118/55. Which is smaller: z or -5.6?
-5.6
Suppose -4*b - 4*g - 40 = 0, b + 4*g + 5 - 4 = 0. Is b equal to 49?
False
Let q be (2/8)/(315/812). Let m = -22/9 + q. Is -1 bigger than m?
True
Let o(v) = 4*v - 12*v - 1 + 4*v. Let l be o(1). Let d = 3 + -8. Does d = l?
True
Suppose -4*s + 0*j = -2*j + 10, 4*s - 5 = -3*j. Let f be (s + 40/15)*-3. Which is greater: -21/5 or f?
-21/5
Let i = 0.045 - -0.045. Let u be 3 - 5 - 64/(-33). Let f = -29/66 + u. Which is bigger: i or f?
i
Let q(w) = 14*w + 84. Let r be q(-27). Does r = -294?
True
Let r be (3 + -1 - 2/(-1)) + -4. Which is smaller: 11/56 or r?
r
Let g be (-2 - 85)/(49 - 58). Let y be (-2)/(-10) - 196/(-20). Does y = g?
False
Let s be (-2)/11 + (-4251)/759 - -5. Which is bigger: -1 or s?
s
Suppose 3*r - 3*k + 5*k - 38 = 0, -2*k = 4*r - 48. Which is greater: r or 9?
r
Let s = 78 - 144. Let g be 1/(-5) - (-4 + s/5). Is g at least as big as 17?
True
Suppose 93 = 3*s - 3*u, -2*u + 78 = 3*s - 0. Suppose 2*a - 32 + s = 0. Which is smaller: a or 11/5?
a
Let t be (-4)/(-18) - (-4900)/63. Suppose 4*z = 0, 3*m + 3*z - z - t = 0. Let k = m - 276/11. Is 0 at most as big as k?
True
Let o be (-3 - 1)*54/(-4212). Is -1 less than o?
True
Let b = -635 + 633. Let c = -4 + 4.05. Let n = c - -10.95. Is n less than b?
False
Let k = -78 - -1015/13. Let s(u) = -u**3 - 7*u**2 + 60*u - 90. Let y be s(3). Which is greater: y or k?
k
Let p = 201 + -214. Is p equal to -13?
True
Let u = -5 - -1. Let s be 1 - (2/u - -2). Which is smaller: -12 or s?
-12
Let f = -1230.2 + 1231. Is f < -0.4?
False
Let p = 23090 - 4548740/197. Which is smaller: 0 or p?
p
Let l = -37.7 - -36.7. Let h = -3.07 - -3. Which is bigger: l or h?
h
Suppose 5*q - 6 = 9, 3*b + 2*q = 18. Suppose -3*l = 5*k + 18, -k + 3*l = -b*k - 6. Let p be 8/k*(-15)/(-10). Is p < -4?
False
Suppose -10 = r - 9. Let w be r + ((15/6)/(-5) - -1). Is 0.11 smaller than w?
False
Let b(f) = -f + 2. Let y be b(-4). Suppose y = -2*v - 10. Suppose -8*d = -20*d - 60. Which is smaller: d or v?
v
Let k(p) = -4*p**3 + p**2 + p - 1. Let l be k(1). Let o be 1/l + (-69)/9. Suppose -u + 5*d = 6, 3*u + 18 = -0*d - 4*d. Which is smaller: u or o?
o
Let l be (-7)/21 - 142/6. Let n be 33/1*(-16)/l. Is n at least as big as 23?
False
Let g = 94.917 - -0.083. Let j = 49 - g. Is 0.1 > j?
True
Let a = 904/63 - 102/7. Which is smaller: -1.77 or a?
-1.77
Suppose 4*t = 0, -2*v - t - 10 = -4*v. Suppose -v*s + 4*f = 106, -2*s - f = 2*s + 68. Do -17 and s have the same value?
False
Let a = 14 - 8. Suppose -a = -5*o + 4. Let n be 16/15 - o/5. Is n at least as big as 1?
False
Let y be (8/12)/(10/(-315)). Which is smaller: y or 1?
y
Let h = 35 - 35.2. Let j = -95.08 + 95. Which is smaller: h or j?
h
Let p(g) = -7*g + 133. Let t be p(18). Is 3 <= t?
True
Let r be ((-2)/5)/(23/(-920)). Let j be 31 + -29 - r/5. Is j smaller than -1?
True
Let b = -93 + 99. Let c be (4/b)/((-18)/(-27)). Is c > -2/101?
True
Suppose -2*x = 2*x + 4*p - 28, 2*x = 2*p + 34. Suppose 0 = -6*u + 41 + 37. Does x = u?
False
Let v(t) = -t**3 - 10*t**2 - 10*t + 3. Let n be v(-9). Let u = -5 + 13. Which is greater: u or n?
n
Let s be (-3)/(-75)*15/18. Let f = s + -7/10. Let g(b) = b**2 + 26*b. Let a be g(-26). Do f and a have the same value?
False
Suppose 3*p - 33 - 7 = 4*n, -p - n + 4 = 0. Suppose 0*h - 4*h + d + p = 0, 3*d - 12 = 0. Suppose -t - v = h, -3*v + 0*v - 9 = -2*t. Is 0 != t?
False
Let l be (-6)/(-15)*470/(-144). Let b = -5/4