alse
Let t be (-52)/(-6) - (-1)/3. Suppose 6*h = -6 + 24. Suppose -x = -5*v - t + 21, -3*v + 54 = h*x. Is 13 less than x?
False
Let y be (-13)/78 - (-7)/6. Which is smaller: 102 or y?
y
Suppose -8 = 5*o + 5*s - 3, 4*o - 4*s + 20 = 0. Is -37/13 equal to o?
False
Suppose -3*m + m = 3*n - 134, 106 = 3*n - 5*m. Let q be (-1)/4 - (3 - n/(-24)). Do q and -3 have the same value?
False
Let y = 82 - 90. Let b be (-231)/(-198) + y/(2/(-1)). Which is greater: 5 or b?
b
Suppose -4*f + 25 = -3. Suppose g + 32 = -f. Which is smaller: -40 or g?
-40
Let j = 113 + -160. Let q(t) = t**3 - 10*t**2 + 21*t - 28. Let z be q(6). Is z less than j?
False
Suppose 0*h - 6*h = 12. Let x be (42/(-35))/(h/5). Is x bigger than 27/11?
True
Suppose 0 = -g - 2, 4*g + 22 + 11 = -5*s. Let c(l) = l**2 + 6*l + 5. Let n be c(s). Let h be (-1 - 0 - n)*1. Which is bigger: h or -2?
h
Let w(z) = 5*z**2 + 38*z + 21. Let i be w(-7). Which is greater: i or -3/37?
i
Let i(x) = 6*x**3 - 6*x**2 - 20*x - 38. Let l be i(-3). Which is smaller: -195 or l?
-195
Let g(i) = i**2 - 10*i - 85. Let v be g(22). Do 180 and v have the same value?
False
Let g = 17 + -18. Let d = g + 3. Let i = d - 0. Is -1 not equal to i?
True
Let b be 7/(-14)*0/(-1). Let h(j) = j**2 + 5. Let p be h(0). Let a be 4/p + -4 + 3. Which is smaller: b or a?
a
Let s = 10231 - 644509/63. Let g = -855 + 53863/63. Let h = g + s. Is 1 at least as big as h?
True
Let q be 30 + 0 - (-6 + 6). Suppose -2*d - 2 = -12. Suppose r + 7 = -5*j + 1, j - q = d*r. Which is smaller: r or -5?
r
Suppose d - 16 = -d. Suppose 16 = -2*v + d. Let p(y) = y**2 + 7*y + 11. Let r be p(v). Is -8/5 < r?
True
Let o be 196/(-294)*-1*9. Let h(u) = -u**2 + u + 9. Let t be h(0). Which is smaller: o or t?
o
Let v(y) = 6*y**2 + 5*y + 9. Let p be v(-3). Let f = 32 - p. Which is smaller: f or -14?
f
Suppose 77*f - 59*f + 18 = 0. Is -2/487 at least f?
True
Let n = -119 - -132.5. Let j = 22.5 - n. Is j less than -3/2?
False
Let p be 15/12*(-8)/2. Let h(l) = -186*l + 554. Let t be h(3). Which is greater: p or t?
t
Let m = 2565 - 2559.6. Does m = 2/3?
False
Let q = 2.2 + -2.1. Let f = 1.6 - q. Let k = f + -5.5. Is k at most -3?
True
Let u be (-16)/136 + 160/(-85). Which is greater: -7 or u?
u
Suppose 0 = -2*k + 5*m - m + 12, -k + 1 = 3*m. Let d be ((-20)/(-24))/(k/(-18)). Is -4 <= d?
True
Suppose -4*g + 32 + 20 = 0. Suppose g*y - 14*y = 23. Does y = -23?
True
Suppose -6*k - 2353 = -7087. Which is greater: k or 790?
790
Let a be (-10)/(-14) - 4/(-14). Suppose 3*k + 23 = 2*z, 2*z = z + 2*k + 13. Let u be (-49)/42*a/z. Which is smaller: 0 or u?
u
Let f be ((-18)/(-20))/((864/90)/4). Are f and 3/5 non-equal?
True
Suppose 0 = 3*k + 2*l + 59, l + 97 = -4*k + 2*l. Let p = k - -20. Let m = -5 + 2. Do m and p have different values?
False
Let g be ((-21)/12 - 1) + -1. Let y(v) = -3*v + 10. Let n be y(5). Does g = n?
False
Let f = 21 + -20. Let q = 1 - f. Suppose q*s - 16 = -4*s. Which is smaller: s or 0?
0
Let d be 75/(-6)*(-16)/10. Let o(l) = l**3 - 19*l**2 + 18*l + 20. Let j = 80 + -62. Let u be o(j). Is u less than d?
False
Suppose 3*t = 2*r + 12, 0*t = 4*r - 2*t + 8. Suppose -k + 3*v + 8 = 0, 29 = 3*k - 5*v - 3. Suppose -4*f = o - 8, 4*f + 2 + k = 5*o. Which is smaller: r or f?
r
Suppose -4*w - 223 - 401 = 0. Is w less than or equal to -157?
False
Suppose -4*b + 5*p = -36, -10*b + p = -9*b - 8. Which is smaller: 33 or b?
b
Let i(n) be the third derivative of n**4/4 + 13*n**3/6 - 14*n**2. Let d be i(-3). Is d equal to 0?
False
Let v be 1225/(-95) + 3/((-114)/4). Suppose -2*t + 78 = -5*o, -5*o + 3*t - 42 - 40 = 0. Which is bigger: v or o?
v
Suppose 0 = 5*x + 59 + 36. Which is bigger: -20 or x?
x
Let k(i) = 2*i - 5. Let r be k(4). Suppose 2*t + 1 = -p, 3*t = -10 + 1. Suppose 0 = -p*y + r*y. Which is smaller: y or -2/15?
-2/15
Let l be (-636)/2268 + 2/7. Is -2 greater than l?
False
Let o be (480/70)/((-2)/(-14)). Suppose o*d - 46*d - 2 = 0. Which is smaller: -3/22 or d?
-3/22
Suppose -3 = b - 8. Suppose b*o + 5*z - 875 = 0, 3*o = -z - z + 522. Let u = -5505/32 + o. Is 0 at least as big as u?
True
Suppose -3*g + j + 15 = 4*j, 5*g = 4*j + 70. Is g at most 14?
True
Let f = 77 - 77. Which is smaller: f or -0.39?
-0.39
Let f(n) be the second derivative of n**4/12 - n**3 + 5*n**2/2 + 31*n. Let q be f(5). Are -1/29 and q non-equal?
True
Let b = -46.8 + 49. Let u = 4.2 - b. Which is bigger: u or -0.16?
u
Let f = 0.13 + 12.87. Let p = f + 0. Let o = p + -15. Is -2/3 at most o?
False
Suppose -3*i - 2*j - 45 = 0, 3*i + 83 = -i + 5*j. Let c = -25 - i. Let q be (-1 - -1) + (-2)/c. Which is bigger: -23 or q?
q
Suppose -58 = -5*y - 2*w, -4*y + 8*y + 4*w - 44 = 0. Let o = 659/15 + -133/3. Which is smaller: o or y?
o
Let f = 0.88 + 36.12. Let t = -36.8 + f. Which is greater: -4 or t?
t
Let i be (-11)/(66/(-6))*-702. Are -702 and i equal?
True
Let k = 1/19 + -148/285. Is -2 at most k?
True
Let w be ((-273)/(-4))/(-7)*8. Let p be (-4 - (-52)/12) + 20/w. Which is bigger: p or -1?
p
Let q = -0.412 + 0.912. Which is smaller: q or -0.47?
-0.47
Let p = -1749/8 + 390039/1784. Is p less than 1?
True
Let z(a) = -a**2 + 15*a - 9. Let q = -31 + 45. Let t be z(q). Let j be (12/18)/(2/t). Are j and 2 nonequal?
True
Let t(h) = 15*h - 140. Let u be t(49). Is u > 595?
False
Let s be ((3 - 3) + -3)*1/(-3). Which is greater: s or -286?
s
Let n = 20 + -14. Let m be n/(-15) + (-157)/(-5). Is m at least as big as 29?
True
Let b = -139 - -411. Which is bigger: b or 0?
b
Let u = 1107 + -5371/5. Let h = 33 - u. Suppose 0 = -i - 8 + 7. Is h less than i?
False
Let q be (-22816)/1344 - 2/12. Which is greater: q or -16?
-16
Let w(g) = -g**3 + 6*g**2 - 8*g - 2. Let v be w(4). Is v greater than -19/8?
True
Suppose -12*w - 20 + 20 = 0. Which is smaller: 7/152 or w?
w
Let s(h) = h**2 - 4*h + 1. Let p be s(3). Let j be (-20)/(-8)*4/10. Suppose 0 = -g - 5 + j. Are p and g equal?
False
Suppose 0 = -5*x + 3*z - 293, -252 = 21*x - 17*x + 2*z. Are -67 and x nonequal?
True
Let n = -521/248 - 3/124. Are -2 and n non-equal?
True
Let f be (-9 + 208/24)*1. Which is smaller: 0.076 or f?
f
Let a(v) = -v**3 + 18*v**2 + 2*v - 24. Let i(x) = 4*x - 26. Let h be i(11). Let u be a(h). Which is greater: u or 10?
u
Suppose -20 = -4*r + 4*i, -7*i = -3*r - 10*i - 9. Is r greater than or equal to 2/393?
True
Let v = 12/1525 + -298/425475. Suppose 8*i = 5*i - 3. Which is smaller: v or i?
i
Let o = -13.9 - -31.3. Let x = o + -17. Let r = x + -0.4. Is 1/12 greater than r?
True
Let x = -1148 - -1152. Let q be (1/2)/(1/16). Let r = 13 - q. Is r <= x?
False
Let d(g) = -4*g**2 - 7*g. Let t be d(-5). Let c be (t/2)/((-7)/(-3)). Let w = c - -14. Is -1 >= w?
False
Let d = -444 - -444. Which is bigger: 28/37 or d?
28/37
Suppose 7 = -y - 1. Suppose 5*a - h = 2*a - 18, 4*a = -2*h - 14. Are y and a unequal?
True
Suppose -1925 = -4*j - 7*j. Which is smaller: 174 or j?
174
Let j(h) be the first derivative of h**2 - 3*h - 9. Let g be j(1). Is g less than 4/13?
True
Suppose -17*k + 12*k + b + 56 = 0, k - 5*b - 16 = 0. Which is bigger: 1 or k?
k
Suppose -z - 3*i = -4*z + 129, -4*i + 53 = z. Suppose 41 = 2*w + z. Let b be (2*(-1)/(-1))/2. Which is bigger: w or b?
b
Let a = 286 - 270.9. Let s = 15 - a. Is s bigger than -15?
True
Let x be 2/(-5) - (-14)/10. Let w be ((-6)/(-18))/(6/(-15273)*-3). Let n = w + -281. Which is bigger: x or n?
n
Suppose 13*j - 18*j + 5 = 0. Let f be 572/564 - (j + 0). Which is smaller: -1 or f?
-1
Let k be (2/4)/(2/(-16)). Let v = 4037 + -4045. Which is smaller: k or v?
v
Suppose 2 + 9 = -2*k - 3*j, 8 = -2*k - 4*j. Suppose -5*p + 16 + 19 = 0. Let b be (-10)/35 - 68/p. Is b <= k?
True
Let a = 711/29341 + 12/481. Is a <= 0.2?
True
Let x = -843 + 860. Is x at most 18?
True
Suppose 16*f + 5*f - 63 = 0. Is f < 11?
True
Let z be (9/(-12))/((-2)/8). Suppose 3*n = w + 26, -47 = 2*w + n - 2*n. Is w != z?
True
Let h be 2 + -3 - (-19 + 2). Suppose -2*o - 4*c + h = c, -2*c + 32 = 4*o. Let n(i) = 8*i**2 + i. Let w be n(1). Does o = w?
False
Let j = -41.35 - -43. Let g = j + -1.7. Let u = -1.05 + g. Which is smaller: u or 1?
u
Let c = 3759/20 + -188. Are c and -0.07 equal?
False
Let a be -3 + 10 + -1 - 1. Suppose -a*k = -7*k. Is -1/54 > k?
False
Suppose m + m - 4 = -4*t, 0 = m - 5*t - 2. Suppose 0 = -m*d - 3*d + 160. Which is bigger: d or 33?
33
Suppose 5*q