y or 139?
139
Let u(y) = y**3 + 10*y**2 + 6*y - 46. Let n be u(-9). Which is smaller: -204/11 or n?
n
Let a be (-4)/(-6) + (-51)/(-585). Let q = -3/65 - a. Does q = -2?
False
Let v = -101 + 101.1. Is -0.224 at most as big as v?
True
Let y = 5 - 10. Suppose -s = -2*s - 5. Is y less than s?
False
Let n = 150983/4485 + 4/1495. Which is greater: n or 34?
34
Let x(p) = -81*p - 585. Let y be x(-8). Let w(a) = -13*a. Let g be w(-5). Which is greater: g or y?
g
Let m(q) = -q**2 + 27*q - 88. Let a be m(15). Which is greater: 94 or a?
94
Let x(a) = a**3 + 24*a**2 + 24*a + 6. Let h be x(-23). Let k = h + 22. Is k bigger than 23/6?
True
Let p = -172 + 346. Is p greater than 174?
False
Suppose 5*w = -4*m - 30, -5*m - w + 0*w - 27 = 0. Let a = -7 - m. Let k(b) = -b**3 - b**2 - 1. Let u be k(a). Which is smaller: 4 or u?
u
Let z = 1864 - 1864. Which is bigger: 3/134 or z?
3/134
Suppose -3*q + 20 = 2*q. Suppose 5*o = -2*d + 25, -4*o - 9 = -5*d + q. Let i be (-1 - (-14 + o))/(-1). Which is bigger: -0.1 or i?
-0.1
Let u = 0.7 - -0.3. Let n = 2.5 - u. Let a = -1.4 + n. Is a less than or equal to -2?
False
Let l be 104/12 - (-1)/3. Suppose 5*d - 7 - 28 = 0. Is d less than l?
True
Let d = -1490195/395824 - 51/2768. Let a = d - -48/13. Which is bigger: a or 0?
0
Suppose 0 = -4*a - 4*p - 140, -2*a - 20 = 4*p + 60. Let o = a - -30. Is o greater than 3/8?
False
Let t(f) = 0*f - 1 - 2*f + f - 5 - f**2. Let n be t(0). Let p(g) = -g**3 - 6*g**2 - g - 5. Let w be p(n). Which is bigger: w or 0?
w
Let u = 1313 - 1314.5. Let q be (1/(-2))/(2/(-4)). Are u and q equal?
False
Let r = -7.2 + 8.2. Which is greater: r or -16.5?
r
Let r(o) = -o**2 + 2*o + 7. Let u be r(-6). Is u at least -41?
True
Let x be (-2)/(-15*5/2). Let o = 91/300 - x. Which is smaller: 2 or o?
o
Let k = 597 - 598. Which is smaller: k or -2/595?
k
Let a = -0.81 + 0.7. Let g = 122.11 - 120. Let r = g + a. Are -0.2 and r equal?
False
Let v = 10054931/1830 + -10989/2. Is v != -1?
True
Let p = -4423/6 + 6155/6. Let i = -288 + p. Suppose 2*n - 5*n = 0. Is n less than or equal to i?
True
Let x be (-162)/(-21) + -8 + (-184)/(-476). Which is bigger: 1 or x?
1
Let n = -199 - -105.6. Let c = -93 - n. Which is smaller: -9 or c?
-9
Suppose -3*m + 2*b = 7*b - 3, 0 = b. Do m and -2/325 have the same value?
False
Let f = -27 + -22. Let b = -51 - f. Let l = 1/6 - -1/3. Which is smaller: b or l?
b
Let v be (-10)/(-28)*344/215. Let a be 0 - -1 - 21/23. Which is greater: v or a?
v
Let y(q) = 2*q - 37. Let i be y(19). Do -71 and i have the same value?
False
Let v = -293647/12 + 24485. Let h = -41/3 + v. Which is greater: h or 2?
2
Let v = -257/22 - -182/33. Are -6 and v nonequal?
True
Let l(c) = 2*c**3 + 56*c**2 + 62*c + 58. Let o be l(-28). Is -1677 greater than or equal to o?
True
Suppose -q + 122 = 4*n, -33 = -2*n + 2*q + 23. Which is greater: 23 or n?
n
Suppose -2*d + 4*i - 10 = 0, -3*d - i = -4 + 5. Let b = 19 + -19. Which is smaller: b or d?
d
Let u = -1 - -0.8. Let s = u + 0.3. Which is smaller: 18 or s?
s
Suppose -5*k - 5*u + 65 = 0, 0 = 3*k - 0*k + 2*u - 43. Let z be k + (1 - (2 + -3)). Suppose -5*l = 3*m - z, m + 11 = 4*l + 2*m. Is 0.4 at most l?
True
Let r(m) = -3*m + 5. Let q(h) = 6*h - 9. Let n(w) = 3*q(w) + 5*r(w). Let k be n(2). Suppose -4*j = 3*i + 1 - k, -4*i - 5*j + 5 = 0. Which is smaller: i or 0?
0
Suppose 0 = -14*z + 66 - 220. Do z and -13 have the same value?
False
Let t be (-3)/(1*(8 - 7)). Let c(v) = -v**2 + 5*v - 4. Let b be c(5). Which is greater: b or t?
t
Let z be (8/(-12))/(-3 - -7)*-1506. Does 251 = z?
True
Let r = -9 - -9. Suppose r = -i + 1 + 4. Suppose -4*k + i*x = -33, -3*x - x + 36 = 2*k. Which is smaller: 11 or k?
11
Let q be (0 - 106/3)/(208/(-2119)). Let o = q + -360. Let k(x) = x**3 - x - 1. Let j be k(-1). Which is smaller: o or j?
j
Let g = 123 - 138. Is -11 at least as big as g?
True
Let b(v) = -6*v + 12. Let m be b(-25). Let y be 4/18 + -1203*(-3)/m. Which is greater: 24 or y?
24
Let w be -3 + 2 + (-10)/(-9). Let u be 51/108*(24/4)/(-3). Let h = w + u. Is h < -2?
False
Suppose 3*d + 6*a = 9*a + 237, -4*a + 308 = 4*d. Is d smaller than 2/11?
False
Suppose 2*f - 3*d - 3 = 0, f = -2*f + 3*d + 6. Suppose 0 = -f*r + 4*o + 2, 0*r + 3 = -r + 5*o. Is r at most as big as 9/4?
True
Let o be (-52)/(-14) - (-6)/21. Suppose 0 = 5*v + 14 + 1, -o*r = -v + 253. Which is greater: -66 or r?
r
Let p = 62 + -60. Suppose 0 = -2*t - 5*s + 27, -p*t - 2*s = -9 - 3. Is 2/25 at most as big as t?
True
Let o = 73/22 - 20/11. Let j = -91 + 545/6. Is o greater than j?
True
Let y = -149.9 + 150. Which is smaller: y or -50?
-50
Let y be ((-6)/57 - 1998/513) + -26. Suppose -4*p = q - 6*q - 156, 4*q + 5*p + 133 = 0. Which is bigger: y or q?
y
Suppose -3 = 4*w + 5. Let p = -4480 - -4478. Is p smaller than w?
False
Suppose 0*f - 648 = -8*f. Let v = -88 + f. Which is bigger: -11 or v?
v
Let n = -3 - -3. Suppose o - 5 = -n. Suppose -o*l = 3 + 12. Is l not equal to -4?
True
Suppose 23 = 12*h + 167. Which is bigger: -105/8 or h?
h
Suppose 4*j - 8 = 0, 4*j = -4*s - 0*s + 24. Let b = -3 + 8. Which is bigger: b or s?
b
Let z(j) = -j**2 - 4*j + 1. Let y be z(-3). Suppose 3*g - 6 = 0, 0*b - 5*g = y*b - 18. Is b at least as big as 4?
False
Let m be -5 + -2*(-5)/20*154. Which is bigger: 0.01 or m?
m
Let o be (1/2)/(-2 + 34/16). Let n be (o/(-10))/(16/(-20)). Is n smaller than 2?
True
Let u be -590 + -2 - (-28)/(-7). Which is greater: u or -595?
-595
Let q be 2/3*(-1 - -10). Let v = 91 + -82. Suppose w + 3*o = -v, 4*o = w - 20 - 6. Do q and w have the same value?
True
Let b be (-4)/10 + (29772/(-45) - 1). Is -664 less than b?
True
Let g = 25/9 + -710/207. Which is greater: 0 or g?
0
Suppose 15*n - 4*x + 716 = 13*n, -3*n - 5*x = 1063. Is -356 at most n?
True
Let h be (-1)/((-10)/15 + 23/39). Let s = h - 13. Which is bigger: 1/31 or s?
1/31
Let b be 207/(-92) - 15/(-12). Which is smaller: -3/8 or b?
b
Let u = 344 + -318. Is 2 smaller than u?
True
Suppose 3*u = u - 52. Let j = -9 - u. Let f(k) = 18*k**2 + 38*k - 38. Let w be f(1). Is w at least j?
True
Let q = 516 + -518. Let m(n) = -n**2 - 3*n + 8. Let s be m(-8). Let h be (6/s - 0)*6. Which is bigger: h or q?
h
Let u(b) = -b**2 - 8*b + 4. Let a be (-8)/(7 + -3 - 3). Let k be u(a). Suppose 0 = k*h - 5*l - 7, 2*l + 2 = h + 1. Which is smaller: 5 or h?
h
Let c = 1313 + -1142. Is 174 <= c?
False
Let q = -375 - -494. Are q and 119 non-equal?
False
Let b = 417 + -392.1. Let g = 33 - b. Let c = g - 8. Which is greater: c or 2?
2
Suppose 0 = 3*p + 39 - 3. Let q = 3566 - 3566. Are p and q non-equal?
True
Let z(a) = 37*a + 592. Let v be z(-16). Is -3/1099 > v?
False
Suppose 3*y + 20 = 5*y + 4*h, -12 = 4*y - 5*h. Suppose -3*x = -2*f - 27, 4*x + 14 = y*f + 50. Which is greater: x or -5?
x
Let d = 0.1 - -0.1. Let i = -6.3 + 41.1. Let k = i + -35. Is d not equal to k?
True
Suppose 6*z + 19 = 25*z. Which is smaller: -6/55 or z?
-6/55
Let f = -295 - -295. Which is greater: -7/54 or f?
f
Let s = 53660/99 - 542. Let n = -20/99 + s. Is n less than or equal to -1?
False
Let d be ((-6)/2100)/(12/10). Which is greater: d or 0?
0
Suppose 0 = 5*m - 394 + 384. Let f be (-3)/(10/6 + -2). Suppose -5*w + p = f, 4*w + p = -0*p. Which is greater: w or m?
m
Let f = 1 + -5. Let x = -7.0925 + 0.0925. Which is smaller: x or f?
x
Suppose -2*y - o = -184, 0 = 55*y - 52*y - 4*o - 265. Which is smaller: 90 or y?
90
Let m(i) = 5*i - 17. Let w = 20 - 23. Let l be (-78)/(-12) + w/2. Let k be m(l). Is k >= 4?
True
Let v = -23 + 26. Let d be (-20)/15 - v/(-9). Is d bigger than -2/21?
False
Let n be 12/66 - 212/132*-3. Is 69/13 >= n?
True
Let o(u) = u - 1. Let h be o(-2). Let w = 38 - 33. Suppose w*k - c + 6*c + 10 = 0, 4*c - 13 = 3*k. Does k = h?
True
Let v(g) = -6*g - 39. Let f be v(-10). Suppose -9*b = -6*b - f. Is 1 < b?
True
Let g be (-42)/(-18) - 15/5. Which is bigger: g or -2?
g
Let t(u) = 13*u**3 - u**2 + 3*u + 4. Let a be t(-1). Which is smaller: a or -5?
a
Suppose 0 = -2*i - 2*i - q + 1, -q + 10 = -5*i. Let v be 28/7*i/(-2). Which is bigger: v or 5/3?
v
Suppose 22 - 21 = b, 3*m + 393 = -3*b. Is -127 smaller than m?
False
Let s be 8/(-84)*7/((-7)/3). Is 0.179 at most s?
True
Suppose 20*f + 3585 = 25*f. Suppose -9*o = -390 - f. Is o at least as big as 123?
True
Let i = 8.5 - 8.442. Let p = i - -1.942. Is p greater 