aller: j or -989?
j
Let j(c) = 546*c**3 + 4*c**2 + 9*c + 5. Let m be j(-1). Is m >= -546?
True
Suppose 0 = -2*t + 5*t + 120. Let y be (8 - 1)*(-48)/t. Let z = 99/10 - y. Which is bigger: z or 2?
2
Suppose 0*d = -3*c - d + 5, -5*c = 5*d - 15. Let y = 2061415 - 5565820309/2700. Let a = y + 1/108. Is c greater than a?
True
Let w(p) = 25*p + 46. Let m be w(-2). Is m at least as big as -0.3?
False
Let f(a) = a**2 + a + 4. Let x be f(-4). Let h = x + -21. Which is greater: h or -6?
h
Let b = 601 - 602. Is b < 4/77?
True
Suppose -4 = -10*h - 84. Which is smaller: -5 or h?
h
Suppose -f + 100 = -3*q + 2*q, -q = -2*f + 99. Let i be (-4)/(-22) - q/(-11). Let t = -8 - i. Does 2/9 = t?
False
Suppose 14 = -48*u + 34*u. Which is bigger: u or 3/112?
3/112
Suppose -455 = 14*a - 147. Let w be a/(-88) + (-22)/(-8). Let t(o) = o + 1. Let b be t(0). Is b greater than w?
False
Let z be (-305)/(-875) - 39/91. Are -1 and z nonequal?
True
Let z = -491/10 + 49. Suppose 12 + 4 = 4*o. Suppose 6*u = -o - 2. Which is smaller: u or z?
u
Suppose -18*q + 4 = -16*q. Let b(y) = -9*y + 1. Let c be b(-3). Suppose c = -q*k + 6. Is k > -11?
False
Let c(r) = -45*r - 19. Let g be c(6). Let n = g + 5781/20. Which is greater: n or 1?
1
Suppose 0*a = -4*a + 12. Let r = -2292533/7 + 326587. Let m = -916 - r. Is m equal to a?
False
Let x(a) = -4*a**2 + 8*a + 28. Let b be x(-23). Let j = b - -361250/159. Which is smaller: -1 or j?
-1
Let h = -1.2 + -2.2. Let i = -3.1 - h. Let c = -2.9 + i. Is 0 smaller than c?
False
Suppose -182 = -7*f + 336. Is f != 74?
False
Let y = -800/23673 - -82504477/1988532. Let g = -535/12 + y. Let x = g + 32/9. Which is bigger: x or -2?
x
Let q be 288/44*(-15)/45. Which is smaller: q or -1?
q
Suppose -4*g + 633 = -1355. Is g equal to 499?
False
Let f = 2711 + -2719. Let v = -3 - -7. Which is smaller: f or v?
f
Let c be 9/(-12) + 6/8. Suppose -2*w + 0 + 11 = 5*l, -l = w - 1. Let n be (-3)/l + 4 + 0. Is n not equal to c?
True
Let t(f) = -2*f**3 + 8*f**2 - 8*f + 10. Let o be t(5). Is o > -80?
False
Let p = 33.027 - 0.027. Let f = -33.1 + p. Let v be ((-12)/(-16))/(1/(-4)). Is v less than f?
True
Let x = -319.9 + 320. Which is greater: x or 30.1?
30.1
Let o(u) = -15*u + 19. Let f(v) = 7*v - 9. Let n(g) = -13*f(g) - 6*o(g). Let s be n(-6). Let h be (-2)/(2/(-3)) - s. Which is greater: -4 or h?
-4
Let r = 0.142 + -0.142. Suppose -4*p = p + 120. Which is smaller: r or p?
p
Let u be ((-1)/(-5))/(8/20). Let t = 0 + u. Is 2 bigger than t?
True
Suppose -2*l + 25 = 27. Which is smaller: l or -1/411?
l
Let p be 2 - ((-8454)/(-2112) - 2). Which is greater: 0 or p?
0
Let f be (-8)/24 + (-1914)/(-18). Are 106 and f unequal?
False
Suppose 107 = -20*f - 53. Let l(x) = 8*x + 1. Let w be l(-1). Which is smaller: w or f?
f
Let q(y) = y**3 - 4*y**2 + 4*y - 3. Let s be q(5). Suppose 7 = 5*v + s. Let o = 260 - 265. Which is smaller: o or v?
v
Suppose -y - 4 = -2*u, -2*u = 2*y + 5 - 15. Suppose 4*p = 5*m - 56, -m + y*p = 7*p - 17. Let l = 24 - m. Is 11 smaller than l?
True
Let m be (1*67/(-2))/((-1)/2). Suppose 25 = -7*t + m. Is t at most 7?
True
Let w(o) = -o**3 + 7*o**2 - 4*o - 11. Let n be w(6). Suppose 3*i - 1 = -4*s - 0, -i - 6 = -5*s. Are s and n unequal?
False
Let m be -3 - -22 - -2*2. Suppose 0 = 2*t + y - 11, y - m = -3*t - 4. Suppose -5*x - t = -x. Which is smaller: -3 or x?
-3
Suppose -8*a + 86 = -94*a. Is -8.02 != a?
True
Suppose 2*s = 6*s - 36. Let h be s/(-36) + (-71)/(-28). Let o = -11/14 + h. Which is bigger: o or 3?
3
Let d be 3/(-10)*(-8)/(-6). Let r = 633 + -633.4. Do d and r have the same value?
True
Let a(w) = -3*w**2 - 59*w - 3. Let o be a(-19). Which is bigger: o or 36?
36
Let i = -245 - -215. Which is greater: -27 or i?
-27
Let z = 482 - 485. Is z bigger than -3?
False
Let j = 34.2 - 36. Let r = -0.2 + 0.2. Which is smaller: j or r?
j
Let a be ((-4)/10)/((-138)/(-250)). Is -2 != a?
True
Let x(m) = m**2 - 9*m - 44. Let r be x(-5). Which is smaller: -0.6 or r?
-0.6
Suppose 7*b + 8 + 13 = 0. Suppose w - 6 = 4*w. Is b greater than w?
False
Let n(b) = -9*b + 48. Let a be n(3). Let r(h) = 21*h**2 + h - 1. Let s be r(1). Is a not equal to s?
False
Let o be 262/26 + 2 + (5 - 4). Which is smaller: 13 or o?
13
Let d = -1/251333 + 6917689503/2764663. Let v = -2504 + d. Do -3 and v have different values?
True
Let p be ((-3)/6)/((72/(-12))/(-12)). Let k be (-19)/12 + 1/3. Is k at least as big as p?
False
Suppose -a = -0*a. Let s be a/(1/(5/5)). Which is greater: -96 or s?
s
Let f(r) be the third derivative of r**5/60 - 5*r**4/6 + 11*r**3/3 - 3*r**2. Let k be f(19). Suppose 28 = 5*w - 2*x, w + 7 = -k*x - 1. Is 7/2 bigger than w?
False
Suppose -2*a = -v + 1749, -3*a - 8*v + 10*v = 2623. Is -875 at most as big as a?
True
Let h be 2 - 1 - (-2 - -4). Let f be 8/4 + ((-56)/203)/(4/28). Is h smaller than f?
True
Let a = -11.6 + 1.6. Let w = -13.8 + 25.8. Let k = a + w. Is k smaller than 4/3?
False
Suppose 0 = -3*c + 5*p - 14, 4*c + 2*p = -10. Which is greater: -15/4 or c?
c
Let h = 0.064 + -0.064. Let a = -1.53 + -14.87. Let c = a + 15. Is h less than c?
False
Let k = 248/3 - 83. Which is bigger: 4/21 or k?
4/21
Let a = 11 + -10. Let y = 0.26 + -0.16. Let u = 2.9 + y. Do u and a have the same value?
False
Let x = -23 + 17.5. Let c be 15/(360/(-16))*-1. Which is smaller: c or x?
x
Suppose t - 3*o = 1 + 3, 10 = -5*o. Suppose 0 = 3*y + 5*l - 26, -2*l = -4*y - 0*l. Suppose -21 + 25 = y*d. Which is bigger: d or t?
d
Let m(n) = n**3 - 17*n**2 + 14*n + 28. Let h be m(16). Suppose -y - y = 604. Let f be y/70 - (-2)/(-7). Is h bigger than f?
True
Suppose -5 = -2*u + 7. Suppose u - 2 = 4*y. Which is smaller: y or -2/35?
-2/35
Let x be (-4)/(-6)*-3*-1. Suppose x*s = -0 + 8. Let m = 74 - 70. Is s smaller than m?
False
Let u = 1356 - 1594. Does -236 = u?
False
Let j(d) = 2*d + 6. Let z be j(0). Let r be ((-8)/z)/(34/153). Let m(w) = 3*w - 1. Let f be m(-2). Which is bigger: r or f?
r
Suppose 650 = 5*j + 3*d, 2*d + 130 = -2*j + 3*j. Let l be (j/15)/(2/(-1)). Is -5 greater than l?
False
Let l = 4 - 2. Suppose 0 = -3*m + m + 2. Suppose 4*t - m = n, 2 = 3*t - 2*n - 0. Is t bigger than l?
False
Let u = -192 + 222. Is u bigger than 115/4?
True
Let x = -16231/628 - -15/157. Let v = x - -128/5. Which is greater: v or 1?
1
Let n be -2*1/(-2)*(-2 - 1). Let h be n/((-66)/(-14)) - -1. Which is smaller: h or 0?
0
Suppose -2*g + 3*g - 16 = 0. Let c be 200/(-24)*g/(-33). Let w = 38/9 - c. Which is greater: -3 or w?
w
Let a(c) = -2*c + 16. Let j be a(6). Suppose 2*v = -v + j*q + 25, 3 = -3*q. Does 6 = v?
False
Let i = 6/23 - -11/46. Let t = -760/4301 + -2/391. Which is bigger: i or t?
i
Let o = 194346/13 - 14942. Which is smaller: 9 or o?
o
Let m = -0.505 - -0.51. Which is greater: m or -2/5?
m
Let i be 1/1*77/7*-1. Let f = 12 - 23. Is f at most i?
True
Let t = -30 + 27. Let c be (2/6)/(30/9 + t). Which is smaller: c or -6/35?
-6/35
Let i be ((-29 - -4)/(-5))/1. Suppose -i*f + l = 49, 3*f = -2*l - 17 - 15. Which is smaller: -9 or f?
f
Suppose 0 = -5*p - 2*a + 10, -3*a - 4 = -8*p + 6*p. Which is smaller: p or 7?
p
Let d(w) = -w**2 + 9*w + 4. Let u be d(3). Suppose -u + 14 = -2*i. Is 3 smaller than i?
True
Suppose -2*l + 8 = -2*h - 56, 0 = -3*l - 12. Which is smaller: -109/3 or h?
-109/3
Let p = 164/495 - 6/55. Let f = p - 7/72. Which is smaller: -1 or f?
-1
Suppose 11*j = 3*j - 24. Let m = -9 + 14. Suppose m*o - 3 = -3*u, 5*u - 5*o + 20 = -15. Which is smaller: j or u?
u
Let c = 51 - 116. Is c at least -64?
False
Let z be 16/100 - 6/45. Let c = 3 - 2. Which is bigger: z or c?
c
Let m be 722/(-273) - 1*-3. Let s = m - 2/91. Suppose 39*u + 7 = 46*u. Which is greater: s or u?
u
Let o be (3/4)/((-27)/1620). Which is greater: o or -139/3?
o
Let t be 75/(-36) - -6 - -1. Are t and 6 nonequal?
True
Let h be -3 - ((-9)/(-3) + 0/(-3)). Let v be (-1)/h - ((-525)/(-198))/(-7). Is 0 <= v?
True
Suppose -x = -2*x. Suppose x = 5*i + 6 - 1. Let t be 1 - ((-56)/(-12))/7. Is t at least as big as i?
True
Suppose 155*y - 64 = 123*y. Is y > -4?
True
Let l = -122 - -121.83. Are l and -5 equal?
False
Let p = -987.9 + 949. Let i = p - -3.9. Which is smaller: -0.1 or i?
i
Let a(u) = u**3 + 10*u**2 - 8*u + 32. Let g be a(-11). Is g smaller than 0.258?
True
Let h(f) = 3*f + 53. Let w(r) = 1. Let c(l) = -h(l) - w(l). Let v be c(-21). Wh