Is g >= a?
False
Let u = 417209 - 417209. Let g = -21/5 + 77/10. Is g greater than u?
True
Let q = 40127/2051 + -137/7. Which is bigger: -6/25 or q?
q
Let g = 48 - 45. Suppose -o - o - g*r = -6, -3*o = 4*r - 9. Suppose 27 = 3*d - o*q, -5*d + 3*q + 21 = 4*q. Which is bigger: 3 or d?
d
Let p = 1009763/9458023665 + -3/475015. Is p less than or equal to -1?
False
Let u be ((-2)/8*0)/(4/2). Suppose u = -18*s + 17*s. Suppose -5*i + 4 = y - 6, 5*y - 5*i - 80 = s. Which is smaller: 46/3 or y?
y
Let v = 0.623 + -0.696. Let i = 5.073 + v. Let p = 0.5 + -0.3. Are i and p nonequal?
True
Let l = 59/17 - -1626/85. Let q = 1361/60 - l. Let w = -5 + 5. Which is bigger: q or w?
q
Let l = 102.32 + -1.32. Let s = l + -143. Let x = -42 - s. Which is smaller: x or -0.08?
-0.08
Let o be 14 - 8/(-14)*(-28)/(-8). Let a(x) = x**2 - 6*x - 110. Let t be a(o). Which is smaller: 54 or t?
t
Suppose -10*i + 408 = 14*i. Suppose -3*j = 2*n - 2*j - i, 0 = -5*n - 2*j + 45. Is n at least -1?
True
Suppose -5*n + 3 = 2*l - 1, 2 = -3*n + l. Let r be 216/56 + n + -3. Let j be ((7 + -7)/(-4))/(0 + 4). Which is smaller: j or r?
j
Let y be ((-20)/(-16))/(7/((-448)/(-40))). Which is bigger: 47/64 or y?
y
Let b be 1*3 + 34*(-5)/60. Let z = 28 - 10. Let m = z + -17. Which is smaller: m or b?
b
Suppose 4*r - 7952 = -7956. Which is smaller: 2/3551 or r?
r
Let d be (7/84)/((-10)/7446). Let t = d - -62. Do 0.8 and t have different values?
True
Let x = 338 - -1094. Which is smaller: x or 2?
2
Let s = 7606 - 7536. Which is smaller: -1.56 or s?
-1.56
Let b(h) = 2*h**2 - 2*h - 12. Let i = 3 - 0. Let t be b(i). Suppose t*g - f - 24 = -3*g, -3*g + 6 = 5*f. Which is bigger: -2/21 or g?
g
Let c = 6440.08757 - 0.08757. Is -1/4 >= c?
False
Let h(v) = -3*v**3 - 5*v**2 - 2*v + 6. Let l be h(-3). Suppose 4*i + 44 = l. Let f be i*246*(-4)/(-8) + -3. Are 120 and f equal?
True
Let y = -2142 + 19276/9. Is y != -17.79?
True
Let j(r) = -3*r**2 - 2*r - 1. Let y be j(-1). Let f be y/((-3)/(-114)*-2). Suppose -x + 37 = k, 2*k + 3*x - 36 = 36. Is f bigger than k?
False
Suppose -14*t - 5497 - 126403 = -64*t. Is 2637 > t?
False
Suppose 3*x + 9 = 0, -x - 85 - 50 = -4*c. Suppose -128 = -4*a + 4*q, -64 = -2*a - 0*a + q. Which is greater: c or a?
c
Let y(j) = 8*j**2 - 4*j - 27. Let o be y(-5). Let r = 1543/8 - o. Is -14 at most as big as r?
True
Let l be 4*2/(-732) - (-42)/252. Which is bigger: -1 or l?
l
Let c = 134943/26 - 5190. Is c > -1?
True
Let d = -7578 - -1257913/166. Which is bigger: -1 or d?
d
Let t = -2007.8 + 2008. Are -48 and t equal?
False
Let p(o) = 10*o**2 - 3*o + 28. Let r be p(5). Let m = r + -261. Which is greater: m or -4?
m
Let v be (2 - -1)/(-3) + -1. Let g be 3535/(-1400) + 6/15. Which is greater: v or g?
v
Let h be ((-6)/11 + (-13430)/(-11594))*6. Which is greater: h or 5?
5
Suppose -b = -3*s - 63, 3*s + 84 = -s + 4*b. Let j be -3 + 1/(165/(-54) - -3). Do s and j have the same value?
True
Let u = -12512/3 + 62554/15. Is -21282 equal to u?
False
Let d = 18 + -15. Suppose t - 5 = -p, 3 + 2 = -2*p + d*t. Suppose 0 = 9*y + p - 2. Is y greater than or equal to 1/68?
False
Let w = 586957/19 + -30879. Which is smaller: 14 or w?
w
Let p = 2010 + 3910. Let u be (-1)/(-3)*1 + p/240. Which is smaller: u or 27?
u
Suppose 24*p = -4*x + 20*p + 220, -4*p + 118 = 2*x. Let w be 6 - (-4 - -3 - 1). Let q = w - -43. Is q bigger than x?
False
Let q = -315 - -212. Which is bigger: -1/6 or q?
-1/6
Let a = -22604 + 22603.88355. Is a not equal to -1?
True
Let f = -179 + 178.9433. Which is smaller: -4/9 or f?
-4/9
Let a(b) = -10*b - 133. Let i be a(-14). Let h be 7/6*(176/28 - 1). Which is smaller: h or i?
h
Let k = -285 + 507. Let r = k + -223. Which is smaller: -0.95 or r?
r
Let m = -111987 + 111982. Let o = -119/29 - 344/319. Which is smaller: o or m?
o
Let h(m) = 49*m + 205. Let k be h(-4). Let a be (-4)/((-4)/(-7)) + 3. Let y be 1 + (-2 - a) - 2. Is k != y?
True
Let g(q) be the third derivative of -q**6/120 + q**5/6 - 5*q**4/8 - 2*q**3/3 + 20*q**2. Let i be g(8). Suppose 2*l = -i*l + 144. Is l less than 1?
False
Let h be (-15)/5 - 878/(-298). Which is greater: h or 0?
0
Let b be (-14)/84 + (5 - 668/24). Which is smaller: 137 or b?
b
Let s = 157.2 + -14.2. Let i = -143.1 + s. Which is greater: i or 51/2?
51/2
Let d = 8 + -19. Let f = -199 - -339. Let h = f + -151. Is d greater than or equal to h?
True
Let i = 1258197/370 - 6801/2. Is -1 equal to i?
False
Let t be (2/4)/((-9)/(-138)). Suppose -151*a + 16 = -143*a. Suppose -p + 28 - 2 = 3*d, -26 = -a*d - 5*p. Are t and d unequal?
True
Let y(a) = 8*a - 1. Let z be y(4). Let b = -1617 - -1648. Is b greater than or equal to z?
True
Let u = -67.78 - -67.6. Let q = -0.004 + -3.996. Are u and q nonequal?
True
Let v = 1364263042827/7852 - 173747204. Let a = v + -3/604. Let z be (-24 - (-3440)/140)/(-5 + (-2 - -5)). Which is smaller: z or a?
a
Let c = 225 - 135. Suppose 0 = 80*a - c*a - 10. Which is bigger: a or -14/115?
-14/115
Suppose -3*j + 33 = 2*b, 0 = 3*b - 4*j - 0*j - 92. Let i be 1*b/(-5) - -2. Let d be (-2)/(-3) - 22/6. Is d != i?
True
Let p = -870309/2828 + 1231/4. Let k = p - -1340/26159. Suppose -40 = -2083*j + 2043*j. Which is greater: j or k?
j
Suppose 2*a + 4*t + 0*t = 278, -4*t = a - 143. Let m = a - 134. Let k be (-4)/(-3)*3/2. Is k >= m?
True
Suppose 2*d + 626 = 2*x, 0 = 3*d - 2*d - 2*x + 308. Let l be ((-1)/(-5)*-2)/((-4)/d). Let h = 7488/235 + l. Is h equal to 0?
False
Let x be (-6)/9 - 68/(-12). Suppose -x*c - 2 = -3*c. Let s = 1/1334 - 5377/54694. Is c smaller than s?
True
Suppose -12 = 4*a - a. Let f be (5/510)/((-1)/a). Let b = 239.3 - 239.2. Are b and f unequal?
True
Let y be 3*8/(-12)*(-5 - -3). Let a be (1*y/10)/((-21)/(-7)). Which is bigger: -11 or a?
a
Suppose 11*t - 12*t - 1 = 0. Which is bigger: t or -9/17?
-9/17
Suppose 21*y - 24*y - 9 = 0, 4*m - 4*y - 192 = 0. Which is smaller: m or 0.69?
0.69
Let n(i) = -i**3 + 2*i**2 - 7*i + 7. Let u be n(2). Which is bigger: u or -3?
-3
Let u = -47253/533 + 1143/13. Let v = 3739/5166 + u. Is 0 at least as big as v?
True
Let v be 80/24 - 16/36*3. Which is bigger: 4 or v?
4
Let s be (-69)/(-115) + 1 + 7/5. Suppose 0 = -3*k + 3, -4*i + s*i = -5*k - 4. Let r be (-77)/(-14) + 1 + 1. Is i less than r?
False
Suppose 62*t + 558 = 310. Suppose -20 = -4*y - y. Is y smaller than t?
False
Let v(y) = -y**2 - 12*y - 44. Let k be v(-8). Let u be 37/(1*3/k). Is -147 > u?
True
Suppose 64 = -2*t + 174. Let x be (-143)/t + 2 - 2653/(-4430). Which is bigger: x or 0?
0
Let p = 62 - 2. Suppose -p = -21*o + 24*o. Which is greater: -61/3 or o?
o
Let w = -9 - 16. Let g = 5.76 + -32.06. Let p = g - w. Which is bigger: -2 or p?
p
Let d = -739 - -591. Which is smaller: -156 or d?
-156
Let w = 105183252/3461 - 30391. Which is smaller: 0 or w?
0
Let m = -10.95548 + -0.04452. Let f = 0.8 + -0.5. Is m greater than f?
False
Suppose -5 - 4 = -3*d. Suppose -50*f = -63*f - 2145. Let x be ((f/18)/11)/((-13)/78). Is d != x?
True
Let g = -11 - -15. Let j(k) = -k**2 - k - 2. Let t(f) = -f**3 + 5*f**2 + 12*f - 24. Let y(u) = j(u) + t(u). Let s be y(5). Is s >= g?
True
Let o = -50.917 - -51. Let z = 96.917 + o. Let m = z + -95. Which is smaller: -0.9 or m?
-0.9
Suppose t + 3*q - 17 = 0, 1 + 7 = 2*q. Let a(k) = 9*k - 44. Let d be a(t). Is -117 smaller than d?
True
Suppose 0 = l - 7 + 38. Let o = l + 33. Suppose o*i - 6 = -3*d, -6*d + 4*i = -4*d - 20. Is 38/11 >= d?
False
Let w be 5 - (8 - 5) - -48. Let r be (-1408)/42 - (2 + w/(-30)). Which is smaller: -33 or r?
r
Let p = 28246.8 + -28249. Is p at most as big as 7?
True
Let c = 49 + -49. Suppose 11*u = -c*u + 77. Which is bigger: u or -19?
u
Let i(k) = k**3 - 55*k**2 + 116*k - 335. Let p be i(53). Which is greater: 1 or p?
p
Suppose -114*l - 1 + 48 = -67. Is l < 93/104?
False
Let p = -14817 + 14425. Does p = -1180/3?
False
Let f be ((-3)/(-4))/((-9)/8). Let l(y) = 4*y**2 - 20*y + 7. Let z = 419 + -413. Let k be l(z). Does f = k?
False
Suppose 0 = 8*n - 33 + 1. Suppose 0 = u - 3, n*c - 5 = 2*u - 5*u. Which is smaller: c or -55?
-55
Let c(x) = -x**2 - 16*x. Let d be c(-16). Suppose d = -2*r - o + 65, 3*r = -r - o + 135. Suppose 7*s + 5*a = 4*s + 125, 2*a = -5*s + 183. Is s less than r?
False
Suppose -18 = -2*n + 2*j, n + n + 6 = -4*j. Suppose -n*b + 10 = 2*w - b, 20 = -5*w + 5*b. Let p = -2959/15 - 