 (-268)/24). Is h bigger than -0.1?
True
Suppose -4*q - 24 = -12*q. Suppose 3*v = -0*v + 6, 0 = -5*g - q*v - 9. Let i(s) = -s**2 - 4*s - 3. Let j be i(-4). Is g less than j?
False
Suppose -s - 4*d - 7 = 0, -s + 6 + 2 = -d. Suppose -19 = -k - 5*w - 3, 4*k = 4*w - 8. Which is smaller: k or s?
k
Let x be (276/15)/(((-1)/(-5))/(-1)). Is x not equal to -92?
False
Let j(o) = o**2 + 5*o - 5. Let w be j(-5). Let v = 537/2 - 273. Which is greater: v or w?
v
Suppose 88 = -u - 116. Let d = 3878/19 + u. Is d at least as big as 0?
True
Let c be (-152)/180 - 20/(-45). Which is bigger: c or -2/11?
-2/11
Suppose 5*d - 4*j - 4 = d, -4*j = 5*d + 4. Let v = -7233/188734 - 1/7259. Are v and d non-equal?
True
Let j = 7 - 31. Let o be (574/(-36))/(8/12). Let c = j - o. Is 0 at least c?
True
Let r = 803 + -171. Which is greater: r or -0.1?
r
Let a be (-2)/(-8) - 12/(-16). Suppose 0 = 3*p - 32 - a. Suppose h + 1 = u - 10, -u = 2*h - 14. Is u greater than or equal to p?
True
Let k = 10 + -14. Let b be 3 - (-1 + 8 + k). Suppose 0*i - 6 = 5*a - 2*i, b = -2*a + 2*i. Is -13/5 <= a?
True
Suppose 5 = o, 0*o - 2*o = -2*q + 54. Suppose 4*d - 4*s = -3*s - 125, 123 = -4*d - s. Let z = q + d. Is z > 0?
True
Let q(g) = g**3 - 5*g**2 + 7*g - 5. Let d be q(4). Let a(c) = 6*c - 34. Let j be a(7). Is j smaller than d?
False
Let c = -847 + 20317/24. Is c <= 1?
True
Let n = 3/149 + -373/3725. Suppose 24*p - 22*p = 16. Let q(m) = m**3 - 9*m**2 + 8*m + 1. Let b be q(p). Which is smaller: n or b?
n
Let y(t) = -t**3 + t - 5. Suppose -p - 2*p = 0. Let w be y(p). Let b(l) = -l**2 - 6*l - 4. Let m be b(w). Which is bigger: -2/27 or m?
m
Suppose -y = -3*q - 8, 5*q + 0*q = -15. Let j = y + 33. Let b be j/(-232)*2/4. Are b and 1 equal?
False
Suppose 12*w + 28 = 76. Which is smaller: w or 75?
w
Let r(z) = -z**2 - 15*z - 9. Let m be r(-14). Suppose m*a - 7 = 4*y + 8, 3*a - y = 16. Which is greater: 13/2 or a?
a
Suppose k = -203 + 59. Let l be 6/15 + k/285. Which is bigger: l or -1?
l
Let z = -763/8 + 54129/568. Do z and 1 have the same value?
False
Let o be (-330)/42 + 4/(-28). Let g be (1/(-2))/((-3)/(-42)). Which is smaller: o or g?
o
Let y be (-1)/2*(-3)/5. Let m = -19849 + 19849. Is y greater than m?
True
Let w be 89/((3/1)/(-9)*-3). Suppose -2 = -p, -2*p + 18 = 5*k + w. Do -15 and k have different values?
False
Suppose 8*y - 3*y + 2 = 2*r, -4*y = 5*r + 28. Let j(t) = t**3 + 4*t**2 + 2*t + 1. Let b be j(-3). Suppose -a = b*a + 15. Which is greater: y or a?
y
Let w = 32 + -50. Let y be 5*w/(-165) + -1. Which is smaller: y or -1?
-1
Let y = 0.5 - 0.5. Let a = -1/38 - -14/171. Is a not equal to y?
True
Let v be (-175)/(-42) + 2/(-12). Suppose v*z = 2*i - 2, 4*i + 3*z - 2 = 2. Let m = -1/368 - -4053/1840. Which is greater: i or m?
m
Let x be (1 - (-35)/(-20)) + (-689)/(-892). Let f = 1957/2230 + x. Is f at least 1?
False
Suppose 5*p - 12 = 13. Suppose 8*h - 3 = p*h. Let v be (3 + -4)*(2 - h). Which is smaller: v or 1/6?
v
Let t be (-44)/330 - 28/15. Suppose -2*x + x = w - 4, -3*x = 5*w - 14. Is w smaller than t?
False
Suppose 0 = 4*f - f + 15. Let d(b) = 14*b**2 + b - 23. Let y(q) = -5*q**2 + 8. Let t(x) = -4*d(x) - 11*y(x). Let a be t(f). Are 2/9 and a equal?
False
Let s = 167 - 115. Let y = 89 + -88. Is s > y?
True
Let m be 62/159 + 4/(-12). Let i(o) = -o**3 - 53*o**2 - 197*o - 48. Let z be i(-49). Is m bigger than z?
False
Let h = 57 - 57.3. Let w = 1.29 + -0.09. Let a = w + h. Is -2/3 != a?
True
Suppose 0 = 2*i - 3 - 17. Suppose i = -s - 3*q, -4 + 15 = -2*s - 3*q. Which is smaller: -1/10 or s?
s
Let s be (-2)/(-4) - (-8284)/(-3800). Is -3 at least s?
False
Let a = 39 - 35.8. Let q = a - 3. Let o = 3494 + -3494. Is o != q?
True
Let l = -0.1 - -0.2. Let t = -499.587 - -501. Let y = 0.013 - t. Which is greater: l or y?
l
Suppose 0 = -3*t + 5*q - 13, -t + 3*q - 5 = 2*q. Let j = -709 + 674. Let a be 60/j*(t + -1). Which is bigger: a or 11?
a
Let k be (-76)/18 + (-8)/(-36). Let n be (1 - k/(-6))*(2 + -11). Let p be (-2)/(-8) + 51/(-12). Is n not equal to p?
True
Suppose -2 + 11 = -g. Let k(t) = 2*t + 6. Let i be k(-8). Which is smaller: i or g?
i
Suppose -2*j = q - 0*j + 11, 4*q + j + 9 = 0. Let g = 14.75 + 0.25. Is g less than q?
False
Suppose 5*o - 20 = 6*o - 5*v, 0 = 5*o + 4*v + 42. Let m = o - -12. Suppose -m*w + 0*w = -4. Is w at least 6/5?
True
Let c = -8.2 - -4.2. Is -1/2 at most as big as c?
False
Suppose 3*g + 2*r = -1, -5*g + 3*r + 7 = -4*g. Are -2/369 and g nonequal?
True
Let k = 219/22 + -10. Let a = -8320 - -8319. Which is bigger: k or a?
k
Let y = -25/304 + 3/16. Suppose 2*p + 8*p - 110 = 0. Suppose -2*a = 13 - p. Which is smaller: a or y?
a
Let z be (2 + -2)/(10/(-12 - -7)). Which is bigger: -12/19 or z?
z
Let w = 18 + 3. Let l(n) = -w*n - n**2 - 3 + 11*n + 12*n. Let o be l(3). Which is greater: 0 or o?
0
Let g = 192.258 + -192. Let s = -3.258 + g. Suppose 2*v + 3*v = -10. Which is bigger: s or v?
v
Let h = -11 - -7. Let m = 4.1 + h. Let s = 454 + -446. Which is bigger: s or m?
s
Let o = -1241 - -1266. Which is greater: o or -3/4?
o
Let y = -12 - -10. Let u be 27881/(-168) + y/3. Let z = 167 + u. Which is smaller: -2 or z?
-2
Let r(y) = 3*y - 22. Let v(a) = a - 7. Let d(t) = -2*r(t) + 7*v(t). Let q be d(9). Suppose 5*f - 63 = -0*f + 2*b, q*b = -f - 5. Which is greater: f or 10?
f
Let t(v) = -v**3 - 10*v**2 - 28*v - 132. Let g be t(-11). Which is bigger: 299 or g?
299
Let s be (1*3)/(135/30). Let c = 1/3 - s. Is 0.3 at least as big as c?
True
Let d(q) = -q**2 + q + 10. Let l be d(5). Let o = -15 - l. Which is greater: -19/4 or o?
-19/4
Let h(y) be the first derivative of -y**2/2 + 10*y + 20. Let x be h(-4). Which is greater: x or 10?
x
Suppose 3*c = -2*c - 35. Suppose 6*n - 11*n = 20. Is n not equal to c?
True
Let t be 2/(-19)*8 + 1. Suppose -40*d + 54*d - 14 = 0. Which is smaller: d or t?
t
Suppose 0 = 90*l - 38*l - 52. Let i be (-3)/12 + (-106)/(-360). Which is smaller: l or i?
i
Let j(s) = s**2 + 1. Let o be j(-2). Suppose -o*l = -0*l. Is -8 smaller than l?
True
Suppose -71 + 3 = -4*k. Let f be (-2)/k - (-22)/187. Which is smaller: 3 or f?
f
Let g(k) = -2*k**2 + 9. Let t be g(2). Is 6/245 less than t?
True
Let i = -6.42 + 6.72. Which is smaller: i or 196/3?
i
Let i be 738/84*6/9. Which is bigger: i or 6?
6
Suppose 8*v - 4*v - 12 = 0. Let u be (v + 9/(-3))/(-3). Which is bigger: 1/39 or u?
1/39
Suppose 0*q + 7*q = 0. Suppose -4 = -o - q. Which is smaller: -2 or o?
-2
Let v be ((-14)/2037)/((-1)/(-3) + -1). Which is smaller: -1 or v?
-1
Let j = -784 + 878. Is 87 != j?
True
Let f be -6 + 1 - (-3 - -1). Let b = f - -2. Let d = 28/3 - 37/4. Is b greater than d?
False
Suppose -4*t + 49 = -15. Suppose 7*q - t - 5 = 0. Which is smaller: 7 or q?
q
Let x = -1558 + 1558. Which is bigger: x or -66/79?
x
Let m be 6/(-14) + (-110)/(-77). Suppose -m = d, 0*d - d - 5 = -y. Suppose 5*a + 16 = y*n, 1 = a + 5. Is -1/6 at least as big as n?
True
Suppose 0 = 52*w - 148*w + 288. Let b = -1/35 + 8/35. Is w at most b?
False
Let k = -58 - -118. Let x = k - 38. Is 23 at least x?
True
Let a be (-6)/(-10) + 1584/385 + -5. Do 26/5 and a have the same value?
False
Let n = 7 - -3. Let a = n + -5. Are 5 and a unequal?
False
Let u(r) = 5*r + 27. Suppose 0 = -2*i + 2*x - 5*x + 5, 0 = -i + 4*x - 25. Let s be u(i). Do 32/11 and s have different values?
True
Let y = -0.128 + -8.872. Does y = -1?
False
Let i be (-6)/(-7) - ((-21474)/10080 - -3). Do i and -1 have different values?
True
Let r = 11 + -3. Suppose i = -4 + r. Let g(s) = s**2 - 2*s - 5. Let a be g(i). Are a and 1 unequal?
True
Let m be 6/(-2) + (21290/2370 - 6). Is 0 less than m?
False
Let o be (-4 - (-195)/30) + (-1906)/764. Which is bigger: 1 or o?
1
Let b(n) = n**2 - 3*n - 10. Let d be b(6). Let i be d/(-12) - (-3)/(-9). Let o = 143 + -717/5. Is i less than or equal to o?
True
Let o(v) = 10*v - 158. Let b be o(16). Do 2 and b have the same value?
True
Let z(i) = i + i + 3*i - i**2 - 5 + 2*i. Let p be z(6). Is p less than or equal to 2/11?
False
Let l = -68 - -70. Suppose -5*m + 20 = 0, l*h - 5*m = -0*h - 44. Is h > -15?
True
Let t(d) = -d**3 + 7*d**2 - 7*d + 2. Let q be t(6). Let c be 60/(3 - (-6)/q). Let w be ((-12)/c)/(1/(-2)). Is 1 less than w?
False
Let z(s) = 2*s**2 + 7*s + 3. Let w be z(-3). Let y be ((-1)/(-10))/1*(w + 4). Which is smaller: y o