ast c?
True
Let v = 9453 + -12071479/1277. Let i = v - 29393/14047. Let p = i - -24/11. Is p <= 0?
False
Suppose 2*m - 10*t + 7*t = -42, 4*m - 4*t = -88. Are -11 and m equal?
False
Let u = -52 + 22. Let z = u - -29.9. Which is bigger: 2/9 or z?
2/9
Let d = -218 + 219. Which is greater: 7 or d?
7
Suppose -8*x - 2 = -6*x. Let b be 0/x + 9/(-45). Which is smaller: b or 0.4?
b
Let b = -29 + 36. Suppose -4*a - 2*y + 20 = 0, -5*y + 12 = 3*a - 2*y. Is a smaller than b?
True
Let l = -7974053/239657 + 1/21787. Which is smaller: l or -32?
l
Suppose 0 = -56*s + 63*s + 42. Which is greater: -4.2 or s?
-4.2
Let t = 262 + -636. Which is greater: t or -376?
t
Suppose 3*m - 14 = 4*b, 4*m + 4*b = -9 - 19. Does -44/19 = m?
False
Suppose 0 = o - 5*r + 24, 0 = 3*o - 0*o - 5*r + 22. Let j be 2 + o - 27/9. Is j >= 18?
False
Let y be ((-21)/(84/(-8)))/(10/(-26)). Is 0.1 != y?
True
Let m be -4*(210/72 - 3)*0. Which is smaller: -14/11 or m?
-14/11
Let m(f) = 2*f - 9. Let l be m(4). Which is smaller: l or 1/48?
l
Let k = 4816 + -4786.97. Let x = k + -29. Let p = 0.07 + x. Which is smaller: p or 15?
p
Let t(h) = h**3 + 48*h**2 + 51*h + 71. Let u be t(-47). Is u at most as big as -117?
True
Suppose x + 1 + 1 = 0. Suppose -6*p = 4*p + 40. Which is smaller: x or p?
p
Let s(h) = -4*h - 35. Let g be s(-11). Which is smaller: g or -11?
-11
Let i be 5 - ((-2 - -2) + 1). Suppose i*b - 3*b - 6 = 0. Suppose 2*q + b = -q. Which is bigger: 1/2 or q?
1/2
Let g = 32 - 33. Let u be (-18)/(-14) + g - (-5)/(-14). Which is bigger: u or -0.2?
u
Let w be (-72)/30*30/(-272). Which is smaller: 0 or w?
0
Let b = -9 + 15. Let f be -4*1/(4/b). Let r be f/(-13)*6/9. Which is smaller: 1 or r?
r
Let f = 0.03 + 0.97. Let i = 1 + f. Which is smaller: 1 or i?
1
Suppose -6 + 87 = -3*q. Suppose 0 = -7*k - 106 - 69. Let u = q - k. Is u != 1?
True
Let c = -1.787 + -2.213. Which is bigger: -208 or c?
c
Let u be 3 - (3/1 + -4). Suppose u*f + 3 = 7. Is 2 greater than f?
True
Let o = 504.28 + -505. Is 1/2 greater than or equal to o?
True
Let l(m) = -m + 29. Let x be -7*(-3)/84 + (-123)/(-4). Let v be l(x). Suppose 5*q - a - 3*a = -36, -a = 5*q + 16. Is q <= v?
True
Let d = -39 + 40. Let g = 0.07 + 0.93. Is g <= d?
True
Let g = -21 + 30. Let x = g - 13. Let w be ((-15)/(-25))/(x/(-15)). Is 2 less than w?
True
Suppose v = 6*v + 15. Let x be 20/6 + 4/v. Let r = 10 + -9. Which is bigger: x or r?
x
Suppose m - o - 2 = -7, -2*m + 20 = 4*o. Suppose m = -4*s + s. Suppose 4*a + 4*a + 56 = s. Does -7 = a?
True
Let o be (-428 + -177)*(-2)/(1*6). Which is smaller: 203 or o?
o
Let v be (-11)/((-88)/(-4526)) + 5/(-4). Is -568 at least as big as v?
False
Suppose 5*o = -4*w - 337 - 96, 4*o + 20 = 0. Let q = 87 + w. Are -15 and q non-equal?
False
Suppose 0 = 2*w + 4 + 4. Let q be 62/108 - 4/((-32)/w). Which is bigger: q or 0?
q
Let t be 3 + 1*(-6)/(-3). Suppose t*k + 8 = 3*i - 6*i, 2*i + 1 = k. Let c be 0/(1*(0 + k)). Which is smaller: c or 4/3?
c
Let c = -234 + 243. Which is smaller: 86/11 or c?
86/11
Suppose 0 = 4*q - 22*q + 2826. Is 156 bigger than q?
False
Let j(u) = -9*u + 39 + 10*u - 38. Let i(w) = -2*w + 1. Let o be i(1). Let c be j(o). Is c at most as big as 2?
True
Let q(i) = 26 - 2 + 7*i - 3*i. Let w be q(-6). Is w equal to -15?
False
Let b(u) = u**2 - 22*u + 19. Let q be b(20). Let x be (-387)/81 - 4/18. Let f be x/(-3) - (-7)/q. Is -3 < f?
True
Let t = -3.98 - 0.02. Let i = t + 3.8. Let a = -3 - -2.9. Is i less than or equal to a?
True
Let j = 37 - 42. Are 0 and j nonequal?
True
Let z = 18.3 + -11.3. Let i = 0.08 + -0.88. Let n = i - 0.2. Is n not equal to z?
True
Suppose -5*n - 3827 + 3562 = 0. Which is greater: -54 or n?
n
Let n be (24/24)/((-1435)/715 + 2). Is -145 > n?
False
Let u(z) = -4*z + 26. Let b be u(8). Are b and -1/13 equal?
False
Let b = -19/18 - -1. Suppose y + 2 = 3*y. Suppose -3*x = -4*x - y. Which is greater: x or b?
b
Let y = -105 - -105.09. Is y <= 0?
False
Let d(a) = -a**2 + 8*a + 1. Let i be d(8). Let j = -42.6 + 134.6. Which is bigger: i or j?
j
Let t be (18/24 - 2)/((-2)/4). Let b(m) = 8*m**2 + 5*m - 6. Let h(l) = l**2 + l - 1. Let n(d) = b(d) - 5*h(d). Let i be n(-1). Is t < i?
False
Let h = 2/341 + -95/341. Suppose -10 = -5*p - 0. Suppose -4*w - 20 = p*g, -g + 4*g + 5 = -w. Which is bigger: h or g?
g
Let b = 515.1 + -308.4. Let v = b - 189. Let x = v + -18. Which is smaller: -0.5 or x?
-0.5
Let x be -3*(4531/(-15) + (-60)/100). Is x not equal to 908?
False
Let u be 4/14 + (24240/112)/(-5). Which is smaller: -45 or u?
-45
Let y be (-22 - -21)*(11 + 0/(-3)). Is y greater than or equal to 2?
False
Let s = 5 + 6. Let p = -10 - -21. Suppose 0*l + l = p. Does l = s?
True
Let b(r) = r + r**3 + 13*r**2 - 2*r + 12 - 10*r - 2*r. Let n be b(-14). Let o be (1 + -2)/(n/2). Which is greater: o or -2/9?
o
Let x be ((-60)/(-18))/((-1)/3). Suppose -2*g - 2*g + 33 = -h, -3*h = -2*g + 19. Let k be g/130*x/4. Is -1 equal to k?
False
Let r = 0.12 - 12.12. Let a = r + 11.92. Let g = a + -0.02. Which is bigger: 2/15 or g?
2/15
Let o(w) = 3*w - 30. Let k be o(9). Let x(f) = -3*f**2 + 3*f + 1. Let g be x(k). Is -35 at most g?
True
Let g(r) = -r**3 - 12*r**2 - 13. Suppose 0 = 10*w - 5*w + 60. Let s be g(w). Which is smaller: -12 or s?
s
Let s = -48 + 45. Suppose -2*b + 4*b = -2. Which is smaller: b or s?
s
Let z(b) = 3*b**2 - 3*b + 2. Let l be z(1). Suppose l*q + 6 = -2. Is -21/4 <= q?
True
Let c = -9815/4 - -2439. Let d = c - -15. Is d at least -1?
True
Let t = -11 + -2. Let q(j) = -9*j - 40. Let l be q(-3). Is l <= t?
True
Suppose -5*a + 2*f - 3 = 6*f, 4*f = -2*a - 6. Let j = -2013/5 + 155041/385. Let o = 295/616 - j. Which is greater: o or a?
a
Let t = -131 + 130. Let d be (t + 0)*(-4 - 5 - -10). Does -10/7 = d?
False
Let p = -1264 - -1264.1. Is -73.3 bigger than p?
False
Let h = -31 - -32. Suppose 0 = 3*t + 4*r - h, -10 = 5*t - 7*r + 2*r. Which is bigger: t or 7?
7
Let a = -4092 - -4092.6. Let k = 0.03 + -2.03. Let u = k - -2. Is u less than a?
True
Suppose 6*a - 13 = 5. Suppose -3*r + x + x = 11, 4*x + a = r. Let m be 3/(-12) + 30/(-8). Which is smaller: r or m?
r
Let g(f) = -f**2 - 7*f + 4. Let p be g(-7). Suppose -2*y = -p*y - 2. Is -4/17 greater than y?
True
Let h be (-2*(-2)/(-8))/((-3)/144). Is h greater than 26?
False
Let m = -214.36 + 221. Let c = -6.7 + m. Which is smaller: -0.04 or c?
c
Let n = -0.394 - 0.606. Which is greater: n or 284?
284
Let y = -2 - -10. Suppose 0 = 5*h + y - 3. Let u be -3*1*h/3. Which is smaller: 1/15 or u?
1/15
Let y = -194 - -194.8. Which is smaller: y or 90?
y
Let p be (-8)/20 + 1168/20. Let s be p/7 + (5 - 8) - 1. Which is greater: 4 or s?
s
Let z = 28.5 - 28.1. Is z less than -7/10?
False
Let d = -40 + 75. Let j be (d + 1)/(-2) - -3. Is -14 smaller than j?
False
Let l = -0.3 + 0.5. Suppose 12*o - 13*o = -3. Let f be (-15)/((2 - o/2)*-3). Which is smaller: f or l?
l
Let x(t) = -3*t**2 - 10*t - 15. Let s be x(-2). Which is greater: s or 1/4?
1/4
Let p = 7.6 + -7.8. Is p > 117?
False
Let g be (-2 + 13)/11*(-2)/100. Let k be 0/(-1*(-1 - -2)). Is g at least as big as k?
False
Let m be (6384/396)/((-6)/9). Which is smaller: -25 or m?
-25
Let h be 76/(-18) + (-4)/(-18). Let a = h + 4. Is a at least -3/13?
True
Let k = -155 - -155.07. Is 12/11 equal to k?
False
Suppose n - 13 + 8 = k, 4*k - 52 = -5*n. Do n and 18 have the same value?
False
Let u = 54 - 43. Is u not equal to 10?
True
Let x = 1/14818 + -3600779/74090. Let p = -48 - x. Is p greater than or equal to 1?
False
Let d = 734 - 735. Is d < 8/85?
True
Let b(i) = 16*i**2 - i + 6. Let l(w) = -w**2 + 10*w - 11. Let c be l(9). Let y be b(c). Is y at most 73?
True
Let x be ((-34)/18)/((-2)/(-6)). Let r = -128 - -122. Which is bigger: r or x?
x
Let f = -163/206307 + -2/729. Which is greater: 0 or f?
0
Let t be (6/8)/(9306/528). Which is smaller: t or -1/5?
-1/5
Let z be 1/(((-27)/12)/9). Let h be (z/(-12))/((5/(-6))/5). Which is greater: h or -0.02?
-0.02
Let u(p) = -27*p - 7. Let t be u(1). Which is greater: t or -28?
-28
Suppose -4*r - 16 = 0, -3*i - r - 4*r = -19. Suppose -42 - 36 = -i*l. Are 3 and l equal?
False
Suppose 179 = -4*k + 195. Is 18 <= k?
False
Suppose -y - 8*y = 207. Is -47/2 at most as big as y?
True
Let p = 186 + -164. Is 2 < p?
True
Let b(t) = 12*t**2 - 4*t + 5. Let m be b(0). Which is bigger: m or 6.8?
6