= 1 + 3.5. Let f = p + -3.5. Are 88 and f nonequal?
True
Let g = 180 + -5939/33. Let c = 307 + -305. Suppose 0 = -3*j - 2*h + 3, c*j - 4*h - 27 + 41 = 0. Is g <= j?
False
Let o = 16329 + -19402. Which is bigger: o or -2/9?
-2/9
Let p = 1689 - 1823. Let q = 160 + -157. Does q = p?
False
Let g(o) = -9*o + 53. Let r = -127 - -133. Let n be g(r). Is n greater than 3/10?
False
Let h = -5/2661 + 2852617/13305. Is h at least as big as 215?
False
Let p be (-78)/(-4)*(14/35 + (-4)/(-15)). Let g(v) = -3*v**2 - 15*v + 9. Let i(w) = w**2. Let h(x) = -g(x) - 4*i(x). Let n be h(p). Which is smaller: 18 or n?
n
Suppose -4*x + 20 = 5*g, -227 = 3*g - 5*x - 202. Which is greater: 2/2495 or g?
2/2495
Let h be (-5)/3*(186 - -1575). Is h greater than -2935?
False
Let i be (-6)/((-8)/(-2180)*5). Let z be 6 + (-208)/34 - i/34. Suppose 0*l = 5*l - 45. Is z < l?
False
Suppose -a = 4*u - 7*u + 20, -20 = -2*u - a. Which is smaller: u or 5?
5
Let y be (-26)/34 + (-1 - -2). Let v = -510 + 513. Let n(i) = i**3 - 6*i**2 + 10*i - 4. Let a be n(v). Is a not equal to y?
True
Let c = -5 - 2. Let y = 2/1923 + -18163/1282. Let b = y - -23/3. Which is smaller: c or b?
c
Let j be ((-296)/(-60))/(10/15). Let r = 269/35 - j. Which is smaller: -62/3 or r?
-62/3
Suppose -252 = -2*p + 6*p. Let q be (2/(-7))/(9/p). Let x be q + -6 + (3 - -1). Is x < 5/22?
True
Let q(o) = o**2 - 3*o + 7. Let k be q(5). Suppose 50 = 3*w + k. Suppose 823*g - 5125 - 2354 = -8*g. Which is smaller: w or g?
g
Let v = 3.5 + -9.3. Let g = v + 3.2. Let d = -78452/5 - -15690. Which is smaller: g or d?
g
Let j be (-32)/144 + (-164)/234 + 2. Let o(i) = -7*i**2 + 0*i**2 + 7 - 3*i**3 - 5*i - 2*i**3 + 4*i**3. Let z be o(-6). Which is smaller: j or z?
z
Suppose 3*u = 5*l + 65, -7*u = -4*u. Let a(g) = -2*g**2 - 24*g + 29. Let h be a(l). Which is smaller: -2 or h?
-2
Let m(o) = 588*o**2 - 20*o + 21. Let k be m(1). Is 588 at most k?
True
Let n = 36.062 - 36. Let p = -0.062 + n. Let v = -94 + 464/5. Which is bigger: p or v?
p
Let v = -603 - -614. Suppose v = -20*i + 31*i. Which is smaller: 470 or i?
i
Let z = -12 - -16. Suppose 1 = z*p + 1. Suppose -3*j = 2*j + 2*u + 56, 2*u + 6 = p. Which is smaller: -11 or j?
-11
Suppose -6 = -9*s + 6*s. Suppose -12*j - s = -11*j. Let v be (11/(-4))/(j/4). Are v and 7 nonequal?
True
Let a(y) = 6*y - 2. Let z be a(6). Let r = -236373 + 236408. Does z = r?
False
Let n(a) = -a**2 + 5*a + 6. Let d be n(6). Suppose d = -8*x + 2*x + 6. Let h = 145 + -575/4. Which is smaller: h or x?
x
Suppose 0 = -219*f + 222*f - 3*w + 9, 0 = -2*f - 4*w + 6. Is f less than or equal to -31/601?
True
Suppose -164*d - 12*d = 157*d - 666. Is d != 182/115?
True
Suppose -2 = x, 3*x - 201 = -4*h - 3471. Which is smaller: h or -815?
h
Let f(x) = x**3 - 4*x**2 - 6*x + 8. Let i be f(5). Suppose i*q = 4*q. Suppose 0 = -2*h + 4*z + 4, -h + 3 = -3*z - q. Is 1 at least as big as h?
True
Let o be -68 + 61 + (-824)/(-122). Is o at most as big as -1?
False
Let r = -0.14 + -1.66. Let m = r - -2.2. Let s = 1 + m. Is s at least 2?
False
Suppose 5*t = -2*x - 53 - 55, 80 = -5*t + 5*x. Let y = 721 - 722. Which is smaller: y or t?
t
Let m be 10/(-30)*(-1 - 197). Let x be 2/(-10) + m/300. Which is smaller: 0 or x?
0
Let x = 221/284 - 2/71. Let v be 6/(-8) - (-6)/6. Which is smaller: x or v?
v
Let z be (2 - 6) + 8 - 4. Let h = -1703 - -90262/53. Is z bigger than h?
False
Let p be (-1)/2*(-2)/1. Let g(u) = -2*u - 1. Let a be g(-2). Let f be (-2)/8 + a + (-455)/160. Which is smaller: f or p?
f
Let d = 265 - 275. Let o be (-51)/(-2) - d/4. Which is smaller: 27 or o?
27
Let b = 854298307/1691 + -505203. Is b less than or equal to 0?
False
Let y = 73 - 233. Let t = y + 95. Which is bigger: t or 0?
0
Let p be -1 - (-8340)/18 - 16/(-24). Let l = -440 + p. Suppose -2*z - 3*r + 51 = 0, -3*r + 75 = 3*z - 0*z. Is z less than l?
False
Let n = 29 - 23. Let y be (-127)/n + -6 + 8. Let h = y + 1931/102. Which is smaller: h or 0?
h
Suppose -3*s - 2*d - 326 = 0, 0 = -3*s - 6*d + 7*d - 314. Let w = s - -150. Suppose 36 = -3*g - 5*p, -5*g - w + 0 = 3*p. Which is bigger: 2 or g?
2
Let j be (2 - 3 - 0)*(156 - -10). Let z = 165 + j. Is -1/16 bigger than z?
True
Let p = 164 + -197. Let d(j) = -2*j**3 - 66*j**2 - j - 31. Let l be d(p). Is 51 less than l?
False
Let s = 38 - 26. Let k be 15/(-7) + s/(-12). Let j = k + 37/14. Are -0.1 and j nonequal?
True
Let r be 1604 + -11 - (-6 - 6). Is r at least as big as 1605?
True
Let i be (7 + -5 + -3)*7. Let p = -48/731 - -18/43. Is p equal to i?
False
Suppose 2*w + 3*i = 4*w, 2*w + i + 16 = 0. Let k be w - -5 - 30/3. Let x be -1 + 5 - 220/k. Does x = 23?
False
Let z = 79 + -78.59. Let p = 0.51 - z. Let m = 19 - 16. Is p greater than m?
False
Let l = 11332 + -3648. Is l at most as big as -1?
False
Let m be 41697/(-1017) - -1*77. Let v = -16 - -7. Which is bigger: v or m?
m
Suppose -297 = -b - 0*y + 2*y, 2*b + 3*y = 573. Let n = 11867/2 + -6230. Let v = b + n. Is v equal to -5?
False
Suppose -7*v + 3*v = -9*v. Suppose v = 11*u - 4 + 15. Is -1/12 smaller than u?
False
Let n = 0.662 + 659.338. Let i = n + -661. Which is smaller: i or -11?
-11
Suppose -234 = -5*a + 4*s, -3*a + 4*s = 36 - 170. Let p = a - 805/16. Suppose 45*h - 49*h = -4. Is h less than p?
False
Let f = -8177 + -234. Which is bigger: -8410 or f?
-8410
Let j = 0.166 + -363.166. Which is smaller: j or -3?
j
Let b(z) = 9*z + 17. Let t(l) = 9*l + 17. Let c(x) = 3*b(x) - 4*t(x). Let u be c(-1). Which is greater: u or -9?
u
Let f = -81 + 84.7. Let r = 13992.9 - 13993. Which is greater: r or f?
f
Let k = -141 + 138. Let a be (28/(-252))/((-166)/k). Which is smaller: a or 0.1?
a
Let a = -2 + 4. Let j be (-5)/(-3 - (a - 4)). Let l = -17763 - -17775. Is j > l?
False
Let f(w) = 92*w**2 + 90*w**2 - 181*w**2 - 2. Let a be f(-2). Let b be 51/135 - 2/(-5). Which is greater: b or a?
a
Suppose -45056 = 34*d + 9*d + 45*d. Are -509 and d equal?
False
Let f = -20016 - -19958. Is -22 less than f?
False
Suppose -3*z + 105 = 4*d, -d + 44 = -z + 9. Let a be ((-6)/(-4))/(d/160). Let n = -58 - -176/3. Which is greater: n or a?
a
Let g be 90/(2 + -8 - -5). Let v = g - -90. Let i be -1*(-4 + (v - -1)). Does i = 3/2?
False
Suppose 32*m + 140 = 39*m. Suppose 0 = 5*l + 25, 5*t - 13 - 17 = 2*l. Suppose -t*d + 2*v + 37 = -41, 3*d + 2*v = 69. Which is smaller: d or m?
m
Suppose 3*b + 59 + 6 = 5*t, -t - 665 = 22*b. Let a = 58 + -84. Is a at most b?
False
Suppose -5*b = -b + 2*b. Suppose 9*n - 24*n + 1200 = b. Let i be 10/(-25) + (-804)/(-10). Is n equal to i?
True
Let r = 563/1868 - 24/467. Suppose -10 = -0*g - 2*g. Suppose o + g*w = 11, -5*w + 13 = o + 2*o. Which is smaller: o or r?
r
Let d = -2037 + 2010. Is d greater than 156?
False
Let f(z) = -z**2 - 7*z + 170. Let s be f(10). Let y = -1678 - -85582/51. Which is bigger: s or y?
y
Let g be (-4)/(-8) - 3/(-6). Let z be g + (-160)/(-162)*-3 - -2. Let l = -20/189 - z. Which is smaller: 0 or l?
l
Let s be (-41013)/11284 + 9/(-78). Suppose -2*a - 5*d + 34 = 0, 0 = 2*a + 2*d - 0*d - 22. Let h = a + -10. Which is smaller: h or s?
s
Let x(a) = 2*a**3 + 6*a**2 + 213*a - 2460. Let l be x(12). Is l at most 22082/5?
True
Suppose 9*b = 10*b - r - 24, -5*b = 2*r - 134. Suppose 5*m + 47 = -63. Let c = m + b. Which is smaller: -4/7 or c?
-4/7
Let h = 127/12975 + -4/173. Let u = 14346/11 - 1075609/825. Let o = u + h. Which is bigger: -14 or o?
o
Suppose 5940 = 8*k + 10*k. Let l = k - 338. Which is bigger: -11 or l?
l
Let d(j) = -j**3 - 4*j**2 - 6*j + 3. Let x be d(-3). Let w = -17 - x. Suppose 5*u - 72 = y + 2*y, -2*y - u - 61 = 0. Is y < w?
False
Suppose -21 = -2*f - 13. Let u be f/5 - (-858)/(-1185). Which is greater: u or 0?
u
Let z(d) = 12*d + 2444. Let y be z(35). Are 2865 and y equal?
False
Let l(a) = -a. Let d(w) = -2*w**2 - 13*w + 11. Let s(z) = d(z) + 6*l(z). Let v be s(-10). Which is greater: v or 2/531?
v
Let x = 820861/11780 - 1324/19. Let v = -2219/606980 - x. Which is greater: v or 1?
1
Let o(v) = 25*v + 64. Let p be o(-2). Suppose 0 = 2*s - 8, -5*n - 9*s + p = -8*s. Is n at least as big as -77?
True
Let s(z) = -18*z - 11 - 14*z + 29*z. Let d be s(-4). Let g = 582/13 - 29656/663. Which is greater: g or d?
d
Let u be (-3 - 728/16)/(2/(-8)). Let c = -168 + u. Is 27 greater than c?
True
Let r be 16/72*-3*3 + 2. Which is greater: r or -23/127?