 c be x(8). Let g(a) = -a**2 + 4*a + 3. Suppose -4*q = -8*q + 16. Let k be g(q). Is k bigger than c?
False
Suppose 3*y + 152 = 5*y. Suppose 3*m + 62 = 2*a + 158, -2*a - 2*m = y. Let x = a + 171/4. Is x greater than or equal to 0.1?
True
Suppose 2*d = -5*u + 6, -5*u + 15 = 4*d + d. Which is greater: u or -6/13?
u
Let k = -4.25 - 0.75. Is k > 4/11?
False
Let n = 17 + -31. Let i be 2 - (-10)/n*(-28)/(-8). Which is bigger: i or -2?
i
Let n(v) = -3*v - 23. Suppose -5*x = 28 + 12. Let k be n(x). Let c = -466 - -8851/19. Which is smaller: c or k?
c
Let r be -178 + 170 - 8/(-1). Is r less than or equal to 1/135?
True
Let q = 352267/77 - 4575. Which is smaller: q or 0?
q
Let a be ((-52)/(-1183))/((-30)/(-21)). Which is smaller: -1 or a?
-1
Let m(p) = -p**3 + 12*p**2 - 5*p - 27. Let i be m(12). Which is smaller: 0.2 or i?
i
Let v(j) = 118*j - 69. Let y be v(-15). Is y less than or equal to -1839?
True
Let s be (-1310)/393 + (-109)/(-21). Are s and 2/3 unequal?
True
Let f = -35 - -52. Let n be (-2)/4 - f/(-34). Which is greater: n or 6/11?
6/11
Let v be 9/(-4) - (-1)/4. Let g be 69/v - (-3)/(-2). Let p be (2 + -3)*28 - (-60 + 67). Which is greater: p or g?
p
Let s be 8/18*(-117)/78. Which is greater: s or -6/23?
-6/23
Let i = -76 - -49. Let r = i - -28. Let u be 2 + r + (-35)/4. Is -5 at least u?
True
Let p = -451 + 451. Let r = -1/883 + -1695/62693. Which is greater: p or r?
p
Let w = -82 - 30. Let z = w - -121. Which is greater: z or 1?
z
Let s be (2/(-24))/((-1)/(-555)*-5). Let q = -103/12 + s. Let n be 2/6 + (-5)/(-3). Which is smaller: n or q?
q
Let d = 6.02 + -0.02. Let f = -5.89 + d. Let w = 1.11 - f. Is 0.01 less than w?
True
Let z be 19/(418/(-4)) + 114/22. Let a = -715/28 + 212/7. Is z greater than or equal to a?
True
Let k = -59 + 73. Let t be 96/32 - k/4. Let l = -1.3 - -0.3. Is l less than or equal to t?
True
Let p = 586 - 8201/14. Which is smaller: 0 or p?
0
Let x = 3 + -13. Which is smaller: x or -5?
x
Let x = 4 - -16. Suppose m = 5*m + x. Is -1 != m?
True
Let x be (5/(-3) - -2)*-9 - -6. Suppose 0 = -4*y + 4*n - 6*n - 56, -n - 40 = x*y. Is y smaller than -13?
False
Let l(w) = w**3 + 5*w**2 - 8*w - 3. Suppose -c = -5*t - 25, t + 26 = -c - 3*c. Let v be l(t). Suppose -2*q - 1 = -v. Is 4 bigger than q?
False
Let w = 1352 - 1403. Is -1/2 at most as big as w?
False
Let q be 8/14*(20/(-8) - -6). Let c be ((-4)/14)/((q + -6)/(-4)). Which is greater: 0.3 or c?
0.3
Let k = 1526 - 1555. Is k < -418/15?
True
Let s = 2 + 0. Let u be 6*1/6*9/(-3). Let z = u + 6. Which is bigger: s or z?
z
Let s = 2/1523 + 13687/15230. Is s smaller than 0?
False
Suppose 0 = -2*c - 72 - 888. Is -480 less than c?
False
Let s(p) = 7*p**2 - p - 2. Let r be s(-1). Let w(x) = x**2 + 8*x - 4. Let u be w(-8). Let f be 8 - 2/(-8)*u. Which is smaller: f or r?
r
Suppose -2*q - 2 = -4*q. Let p be 12*1/(-26)*q. Is p less than -1?
False
Let p = -272.23 - -273. Which is smaller: p or 0.2?
0.2
Let i = 8 + -7.72. Let a = i - 0.08. Let f = 0 + a. Which is smaller: f or 7?
f
Let i = 10315/16192 - 1/1472. Is 1 not equal to i?
True
Let t(d) = -21*d**2 - 13*d - 9. Let m(z) = -32*z**2 - 20*z - 14. Let c(i) = -5*m(i) + 8*t(i). Let l be c(-2). Let k = l + 29. Which is bigger: k or 4?
4
Let h = -8 + 10. Suppose g + v + 2 = 0, h*v - 3*v = -4*g - 33. Let c be (g + 4)/(6/4). Is c less than or equal to -3/4?
True
Let g be ((8/6)/(-2))/(1/(-90)). Suppose -36*u + g = -34*u. Which is smaller: u or 29?
29
Suppose 2*l - 12 = -2. Suppose l = -5*q + 2*d, -3*q + 3*d - 9 = 3. Let u be (-1)/2 + 5/6. Which is smaller: u or q?
u
Let o(j) = -23 + 9 - 3*j + 0*j + 10. Let y be o(-5). Suppose 39 = 3*c + 3*w, 0*w + 43 = 3*c + 5*w. Is c <= y?
True
Suppose -5*c + 4*c + 28 = 0. Let i = c + -29. Let s = 1267/27 - 47. Which is smaller: i or s?
i
Let f be (-1)/((-4)/16) + -8. Let i be f/10 + (-15316)/(-90). Let k = 170 - i. Is -1 >= k?
False
Let g be ((-72)/(-60))/(2/130). Suppose -2*u = -f + u - 23, -2*u - g = 2*f. Let q = -36 - f. Is 2/25 <= q?
False
Let q be (-12)/16 + 1/1. Let d be 3*6/(-3) + -4. Let k be d/(-50) + (-2)/10. Is k at most q?
True
Let p(z) = -4*z - 8. Let r(h) = h + 1. Let x(q) = -2*p(q) - 6*r(q). Let m be x(-6). Are -3 and m non-equal?
True
Let c(u) = -24*u - 12. Let h be c(-2). Is 36 <= h?
True
Let y = -17.1 + 16. Let d = -1 - y. Suppose 14*k - 18 = -4*k. Is d at least as big as k?
False
Let c be 97717/(-170772) + (-4)/(-7). Is c greater than 1?
False
Let l = 22.03 - 22. Which is smaller: 7 or l?
l
Let j(l) = -291*l + 2. Let m be j(-1). Suppose -5*g - 53 = 5*o - m, -g + 63 = 4*o. Suppose 4*v - 3*b = g, 1 = 3*v + 6*b - 2*b. Which is smaller: 8 or v?
v
Let a be 30 + -37 - (-366)/52. Which is smaller: 1 or a?
a
Suppose 0 = -3*r + 3*q, -r = 3*q + q + 25. Let c be 6/(-30)*r/13. Is c < 0?
False
Suppose 2*i = -5*b + 31, -4*i - 8 = -3*b - b. Let j = -13 + i. Which is bigger: j or -11?
j
Suppose 3*a - 23 = -8. Suppose -16 + 26 = a*q. Suppose 0 = 5*n - 5*z - 40, 4 = q*n - 0*n + 4*z. Are n and -1 nonequal?
True
Suppose 4*a - 13 = -4*p + 5*p, -2*a + 2*p = -8. Suppose -f - a*s + 19 = -8*s, -f - 2*s - 9 = 0. Let j = 0.4 - 0.3. Is j != f?
True
Suppose -3*k + 112*u = 111*u + 43, 4*u = 5*k + 74. Let q = 6 + -17. Which is bigger: k or q?
q
Let g = -65 + 29. Let p = g - -35. Which is smaller: 2/7 or p?
p
Let d = 58 - 63. Let i be -14*2/40*d. Is 5 at most as big as i?
False
Suppose -2*t = 2*s - 10, -t = -3*s + 2*t + 33. Which is bigger: 13 or s?
13
Let y be (-2)/5 - (-21)/(-35). Let a(f) = 4*f - 7. Let w(k) = 5*k - 6. Let n(j) = 3*a(j) - 2*w(j). Let u be n(5). Which is smaller: u or y?
y
Let c(p) = -3*p + 35. Suppose -3*n - 3 = 3*m + 9, 5*m - 5*n - 20 = 0. Let f be c(m). Which is smaller: f or -2?
-2
Let u = -37 - -147. Which is bigger: u or 109?
u
Suppose 32 = -12*q + 4*q. Let o be -9 + 7 - (2/q + 1). Is 0.1 at least as big as o?
True
Let a be (2/(-2))/(1008/78 - 13). Let k(o) = 16*o + 1. Let j be k(-1). Let t = 28 + j. Is a smaller than t?
False
Let p = -1 + 1.3. Let x = -0.25 - 2.95. Let f = 2.2 + x. Which is bigger: p or f?
p
Let i = -15 + 12.4. Let z = -2.6 - i. Suppose 6 = 3*g, 0*r + 4*r - 16 = -4*g. Is z less than or equal to r?
True
Suppose 2*s + 3 = -4*t - 79, 0 = 5*s - 4*t + 135. Do -36 and s have the same value?
False
Let t be -24 - (1 - (-12)/(-3)). Is -15 greater than or equal to t?
True
Suppose -2*l - 10 = -5*h + 14, h + 3 = 3*l. Let z be 0 + 3 + (4 - h). Suppose n + 1 - 4 = 0. Is n at least as big as z?
True
Let z be 2/(-2)*(-4)/16*0. Suppose 5*t + 2 = -z*t + m, -3*m + 6 = 3*t. Is t >= 44?
False
Suppose 0 = 5*f - 47 - 38. Let v be f/(-4 + 8 + 1). Is v greater than or equal to 4?
False
Let r(j) = 192*j + 123. Let s be r(-6). Is -1028 at least as big as s?
True
Let d = 887245602295/40946579304 + -573/15148568. Let w = 3/1802 - d. Is w >= -21?
False
Suppose -1 = t - 3*n + 7, -3*t + 5*n = 8. Let k be (t - -18 - -6) + -5 + 1. Which is bigger: 22 or k?
k
Let q = 1.4 - -3.8. Let f = q + -4. Let t = 1.3 - f. Is 1 less than or equal to t?
False
Let j = 33 - 42. Let h be j + 40/30*6/2. Which is smaller: -4 or h?
h
Let n(x) = -7*x**2 - 2*x - 2. Let g be n(0). Do -12/7 and g have the same value?
False
Suppose -n - 4*l + 20 = n, -n + l = -25. Which is smaller: 22 or n?
n
Let s be (-2)/7 + 34*(-9)/(-42). Suppose 6*v = s*v - 1. Which is greater: v or -1/4?
v
Let h be 8/(-15) + 14/70. Let p = -3 + 5. Let f = -3 + p. Which is smaller: h or f?
f
Let w be 0 + (-12 - -1)/1. Suppose -35 = -4*a + 17. Suppose 59 = -6*b - a. Which is bigger: b or w?
w
Let m be (-12)/(14/4*(-30)/(-70)). Let r be 8/26*((-28)/m + -4). Suppose -c - 2 + 1 = 0. Is r equal to c?
False
Suppose -b - b = -5*f - 20, 0 = b. Let q be (f - (2 - 6))*-1. Let k = -6 - 1. Which is bigger: q or k?
q
Suppose 5*y = 9*x - 13*x - 1223, -3*y - 611 = 2*x. Which is smaller: x or -306?
x
Let f(o) = 74*o + 6. Let v be f(3). Let j be v/231 - ((-6)/21)/1. Which is smaller: 1 or j?
1
Let o = -2 + 3. Suppose -g - o = -2. Let s(c) = 2*c**3 - 3*c**2 + 4*c - 12. Let i be s(2). Do g and i have the same value?
False
Let c = 0.05 + 4.55. Let n = c - 4.7. Is n < -62?
False
Let k be (3/(-5))/(-37 + 210). Is 1 less than k?
False
Suppose -2 = -4*x + 2. Let u(b) = 19*b**3 + 2*b**2 - 2*b + 1. Let z be u(x). Let r be 2/8 + z/(-16). Is 0 equal to r?
False
Let x = -15 - -12.4. Is x < -2/3