aller: b or -105?
b
Let o(v) = -v**3 - 23*v**2 - 24*v - 49. Suppose -7*l + 536 = -136. Suppose 4*f = 2*x - l, 12*f - 2*x = 11*f - 30. Let z be o(f). Which is greater: z or -7?
z
Let d = -575314449 - -462552737195/804. Let m = d - -397/4. Is -1 smaller than m?
True
Suppose 0 = 10*v + 6*v - 320. Suppose 5*t - 703 = 2*a, a + 261 + v = 2*t. Is t >= 141?
True
Let t = 1106.7 + -1083.7. Which is bigger: -655 or t?
t
Let s be 69 + (6 - 54/9). Which is smaller: 123 or s?
s
Suppose -3*c - 4*d + 84 = 0, 2*c - 5*d + 9*d - 52 = 0. Suppose -39*b + c = -31*b. Which is smaller: 9 or b?
b
Let z be ((-14)/((-882)/(-7)))/((-6)/(-27)). Are 205 and z equal?
False
Let t(i) = 2*i + 8. Let l(h) = h - 1. Let k(c) = 3*l(c) - 3*t(c). Let d be k(-9). Suppose d = 3*j - 43 - 98. Is j < 48?
True
Let q = 392.5 + -393.5. Is q at least as big as 107?
False
Let i be 6/130*646 + -1. Let y = i - 141/5. Suppose 0 = -21*r + 3 + 39. Which is bigger: y or r?
r
Let d = -19984 + 379209/19. Is -25 smaller than d?
False
Let y = 0.889 + 0.111. Suppose 3*k + 8 = -k. Let b be ((-10)/(-125)*10)/(k/(-130)). Which is smaller: b or y?
y
Let o(j) = -j**2 - 5*j + 10. Let h = -154 + 154. Let y be o(h). Let i be 108/(-5)*1/(-2). Which is bigger: i or y?
i
Suppose 5*v - 40 = 195. Let i = -51 + v. Let y be (-1)/((-1)/(-3 - i)). Which is greater: y or -3/98?
y
Let q(b) = 9*b + 277. Let t be q(-32). Which is greater: -524 or t?
t
Let g(p) = -p + 7. Let n be g(8). Let l = -308 - -249. Is l at most n?
True
Suppose 5*l - 69 = 4*w, -l + 3*w = -2*w + 3. Let j be (-1754)/((-24)/1136*84/(-9)). Let u = -8877 - j. Which is greater: l or u?
u
Let q = 3160 - 3184. Which is smaller: q or 1/27?
q
Let k(q) = 1 + 3*q**2 - 4*q**2 + q**3 - 5 + 3*q. Let v be k(2). Suppose 0 = 2*t + 10, 34 = 3*s - 2*t - v. Which is greater: s or 13?
13
Suppose -6*d + 23 + 7 = 0. Let r be d/830*-2*-2. Does r = -1?
False
Suppose -4*i - 736 = 1060. Let x = i + 426. Which is smaller: -390/17 or x?
x
Let d = -308.11 + 307.9. Which is bigger: -45 or d?
d
Let w be 10/12*(-1 - 332/12). Which is smaller: -23 or w?
w
Suppose -4*n = 5*q - 61, 2*n - 4*q + q - 3 = 0. Let r be (n/27)/(2/36). Suppose 11*k = r*k. Is 2/193 greater than k?
True
Let z be ((-27858)/6964 + 4)*2. Which is bigger: 0.1 or z?
0.1
Suppose -w = 5*s - 34, 4*w = 2*s - 15 - 3. Suppose 0 = -2*i + s*i - 2*g - 18, i + 5*g + 18 = 0. Which is greater: 24/7 or i?
24/7
Suppose 92*i + 502591 = 173875. Which is smaller: i or -3579?
-3579
Let h(y) = -69*y - 4511. Let q be h(-62). Which is smaller: -234 or q?
-234
Let q be (0/(-1) - -1) + 0. Let g be ((-62)/65 + 1)*-120*15/(-1440). Is q less than g?
False
Suppose -10*k + 3238 - 2568 = 0. Which is smaller: 77 or k?
k
Suppose -97 + 361 = 8*k. Let u = k + -21. Suppose -u*g + 5*g - 14 = 0. Which is smaller: -9 or g?
-9
Let m(v) = v**2 - 8*v - 10. Let j be m(7). Let a = 13.23 - -54.67. Let i = a - 68. Which is greater: j or i?
i
Let h be 4/60*(2 + -1). Let a = h + 4/3. Let k be 6/9 + (-11)/12. Which is bigger: k or a?
a
Let i be 1/2 + ((-5123)/(-2) - 3). Suppose -2555*h + i*h + 2444 = 0. Are -610 and h equal?
False
Suppose 0*l - 4*l + 456 = 0. Suppose -1680 = -40129*c + 40114*c. Which is greater: c or l?
l
Let y be (-5 + 3)/(-1 - -3). Let u = -4313997/134 + 32194. Is y greater than or equal to u?
False
Suppose 3*h = -5*y + 22, 5 = 3*y - 1. Let m(z) = z + 0*z + h + 4 - 12*z. Let i be m(3). Is i smaller than -25?
False
Suppose 0*f - 11 = 3*f - 4*t, 3*t - 6 = 0. Let v = -391 + 4308/11. Let i = v - 46/55. Is f greater than i?
False
Let x be (-38)/18 - -2 - 9106/3744. Let i = -29/13 - x. Which is bigger: 0 or i?
i
Suppose 0 = 3*v + z - 1 - 16, 5*v = 4*z + 17. Suppose -v*u = -27*u - 242. Are u and -11 equal?
True
Let d = 234 - 192. Suppose -3*x = -4*l + 4, 2*l - 4*l = 4*x + d. Let w = -16 - -7. Is x greater than w?
True
Suppose 2*f - h = f + 295, 910 = 3*f + 2*h. Suppose 9*q - f = 5*q. Suppose -4*n - a - a + 46 = 0, 5*n - q = a. Does n = 14?
True
Suppose 46*f - 2303 = -785. Which is smaller: -12 or f?
-12
Let r(k) = 184*k - 1657. Let m be r(9). Do -22/937 and m have different values?
True
Let o = 3484 + -3487.3. Is -2/15 greater than o?
True
Let t(d) be the third derivative of d**6/120 - 11*d**5/60 - d**4/2 - d**3/6 - 110*d**2. Let z be t(12). Is -2.05 equal to z?
False
Let o(v) = -8*v + 22. Let n be o(-5). Let f = 68 - n. Suppose -7*q = -f*q + 42. Which is bigger: -43 or q?
q
Let z be (2/28)/(1/(-4)). Let p be (-1 + 3/5)*28/(1344/(-120)). Which is bigger: p or z?
p
Suppose v - 100 = -3*v. Let i(p) = p**2 - 7*p - 49. Let x be i(-10). Suppose 5*a = b + x, a = -3*a - b + 95. Which is greater: v or a?
v
Let f be 1/(-6)*(-36 - -42). Is f at most -5/5927?
True
Let z = -401 - -401.48. Let k be 24/(-15 - -7)*2/(-27). Are k and z unequal?
True
Suppose 6*w - 3*w - 30 = 0. Let d be w/(-3) + 3 + (-176)/12. Let i be 6/(-5*6/d). Which is smaller: i or 1/2?
1/2
Suppose -4*r = 109*t - 111*t - 22, 0 = t - r + 9. Is t smaller than -11/2?
True
Let c = -43.18 + 44. Let u = 250.3 - 251.3. Which is smaller: u or c?
u
Let q(c) = -c**3 + 8*c**2 - 4*c - 7. Let a be q(7). Let y be (a/(-21))/(6/9). Let t = -1158 + 33586/29. Which is smaller: t or y?
y
Let u = 41 - -16. Suppose -4*t = u - 69. Suppose -5*a + 217 = 3*p, 0 = 3*a + t*p + 13 - 142. Are 44 and a equal?
True
Suppose 0*f + 3*g + 97 = 5*f, 5*f - 101 = -g. Suppose -3*h = -4*h - 5*m - 27, -f = 4*m. Let k be (h/392)/(6 + 102/(-16)). Which is greater: k or 0?
k
Let q = -123 - -134. Let x be (-6)/q + 0/1. Is -1 at most as big as x?
True
Let p = -3219 + 3218. Are 2/21153 and p nonequal?
True
Let t(u) = 17*u - 3776. Let j be t(166). Is -962 less than or equal to j?
True
Suppose -300*h + 106*h = 6271050. Is -32325 not equal to h?
False
Let q(b) = 21 - 67 - b + 49 + 2*b**3. Let h be q(0). Which is bigger: 70/19 or h?
70/19
Let j(r) = -r**3 + 6*r**2 + r + 14. Let l be j(7). Let t = -27 - l. Let m be 135/(-168) + 15/35. Is m >= t?
False
Let g(q) = -12*q**2 + 74*q + 99. Let s be g(12). Which is greater: -739 or s?
-739
Let z be ((-108)/63 + 2)/(5/7). Which is smaller: -3/238 or z?
-3/238
Suppose -f - 62 = -5*q + 195, -f + 159 = 3*q. Let w be (-26)/q + 1/2. Is w greater than or equal to -1/32?
True
Suppose 25*x = 31*x - 18. Let y(o) = -o**2 - 4 + 2*o + 2*o + 1. Let t be y(x). Is -1 >= t?
False
Let j = 17760 + -17757. Which is greater: j or -68?
j
Let l = -11796 + 9413. Which is smaller: l or -2377?
l
Let n = -2 - -3. Let j be -3 + (-23137)/(-8959) + (-12)/(-34). Which is smaller: n or j?
j
Let z = 13 + -12. Let o = -87 - -87.4. Let c = o - z. Which is greater: c or 0?
0
Let r = 0.00983 - 0.30983. Is r at least as big as -40/51?
True
Let m be 140/21 - (14/12)/7. Which is smaller: -2/83 or m?
-2/83
Let o be (18/(-7))/(24/112). Let g be 64/2 - o/3. Suppose -40*m + g*m + 288 = 0. Are 72 and m non-equal?
False
Let q be ((-2)/2)/((-66945)/2790 + 24). Which is smaller: q or -560/3?
-560/3
Suppose 23 + 10 = z. Let h be 3/((-9)/z) - -1. Suppose 5*o = 20, -64*o + 59*o = g - 6. Which is smaller: h or g?
g
Suppose -8 = 2*i, 15 = c - 0*c - 3*i. Suppose 335 = -c*u + 59. Let r be (2/u)/(0 + 15/(-20)). Which is greater: r or 1?
1
Let c = -171.03 - -43.03. Is c greater than or equal to 0.3?
False
Suppose a = w - 4, -3*w + 4*a + 17 = 2*a. Suppose 0 = t + 1 - w. Let p be (32/22)/((-260)/(-1430)). Is p less than or equal to t?
True
Let p = -43042/28251117 + 8/12429. Is p at least as big as 1?
False
Suppose -4*c - c - 7*c = -9024. Is c < 750?
False
Let r = 1150 + -695. Let m = -473 + r. Which is bigger: m or -0.02?
-0.02
Suppose -17479 - 69628 = 4*k - 5*y, k - 5*y + 21743 = 0. Is -21787 less than or equal to k?
False
Let f = 16905 - 24146. Which is greater: -7242 or f?
f
Suppose -4*u + 15 = u - 5*i, -i - 5 = -2*u. Suppose -2*n - 2*t - 88 = 3*t, 2*n + u*t + 100 = 0. Which is greater: -58 or n?
n
Let c = -3367 - -4224. Which is greater: c or 856?
c
Let s = -661 - -953. Let j = -287 + s. Which is smaller: -8 or j?
-8
Let a(h) = -33*h**3 + h**2 - 90*h - 90. Let d be a(-1). Is -48 at least as big as d?
False
Let k(l) = 9*l + l**3 - 20*l - 48 - 2 - 18*l + 26*l**2. Let h be k(-27). Which is smaller: h or 5?
h
Suppose u + 2*r = 14, 4*r - 41 + 9 = -3*u. Suppose 4*g = 3*b + 206, -3*b + 142 = u*g - 52. Is g > 49?
True
Suppose -2126*r + 2135*r = 96831. Are r and 1