1498 = l?
False
Let q = 220 + -239. Is q at least as big as -18?
False
Let g be (8 - 1392/176)*(-4)/298. Let s = 1645/4917 + g. Which is smaller: -77 or s?
-77
Let s = 1924 + -2759. Is -832 > s?
True
Let k = 23465 - 23465. Let t = 14 + -3. Which is bigger: k or t?
t
Suppose -3*y - 5*m = -1345, 428 = 3*y + 2*m - 929. Suppose y = -24*h + 143. Are -93/7 and h equal?
False
Let s = -762 + -422. Let c = s - -843. Let v = c + 242. Is v < -1/2?
True
Let r(v) = 4*v**3 - 8*v**2 - 16*v + 16. Let h be r(15). Let t = -57148/5 + h. Let l = t - 48. Which is smaller: l or -1?
l
Let t(q) = 5*q + 73. Let s be -5*3/(-15)*23. Suppose -3*l - 33 = 3*r, 3*l = -r + 2*r + s. Let i be t(r). Which is bigger: i or -2/5?
i
Let u(n) = -5*n - 6. Let i = 17 + -23. Let w(o) = 4*o + 5. Let a(p) = i*w(p) - 5*u(p). Let d be a(0). Which is smaller: 2/5 or d?
d
Let w(y) = -y + 17. Let i be w(15). Suppose -2*l + 30 = 2*o - 40, 3*l = -i*o + 66. Which is smaller: o or 7?
7
Let y = -31 + 195. Let f be y/42*(-5 - -11). Let c = 3929/168 - f. Which is smaller: c or 0?
c
Let u = -2111.921 + 2236.8749. Let r = u - -0.0461. Which is smaller: -0.1 or r?
-0.1
Suppose 6*s = -4*a + s + 305, -3*s = -15. Suppose -5*b + 91 = t, t - 4*b - 39 = 16. Which is greater: t or a?
t
Let z = 16661 - 7980615/479. Which is smaller: z or 0?
0
Let q be (-4)/26 - (410/(-130) + 1). Suppose q*p + 341 - 97 = 0. Is -122 greater than p?
False
Suppose 2*n = -n + 5*o + 64, 5*o = 20. Let w(x) = -40*x + 457. Let y be w(12). Let t = n + y. Which is greater: 4 or t?
t
Let p = -4084 - -6397. Suppose 19*f - 7453 = p. Which is greater: f or 515?
515
Let t = -259 - 189. Let l be -2*(-135)/t + 40/70. Which is smaller: l or 0.1?
l
Suppose 0*o + 1 = -5*o + 4*i, 5*o + 4*i = 31. Suppose -3*d = -o*n, -2*n + 4*n = d + 1. Suppose -2*h = 2*l - 8, h + 6 = 4*h. Which is smaller: d or l?
d
Let o = -7396 + 3522. Which is smaller: o or -3873?
o
Let q be (6 - 0)*(-6 - 221/(-34)). Which is smaller: 65/24 or q?
65/24
Let f(n) = -12*n + 39. Let v be f(3). Suppose 2*t + 156 = -2*d, -2 - 4 = -v*d. Is t less than -79?
True
Let o = 0.0057 + -60.8057. Let u = -60.9 - o. Which is bigger: u or -44?
u
Let h = 4786 + -4786. Which is smaller: h or -4/2655?
-4/2655
Let s(i) = -2*i**3 - 8*i**2 - i - 125. Let t be s(-10). Which is smaller: 1084 or t?
1084
Suppose -4 = r - 0*m - 3*m, -4*m + 3 = r. Let w be r*13/(39/(-12)). Are w and 0.23 equal?
False
Let n be 1 - 60/8*4*9/162. Let j = 73 - 127. Which is greater: n or j?
n
Let n(i) = 7*i**3 - 2*i**2 + 2*i - 1. Let y be n(1). Let b be 2/y*(-3)/(-9)*9. Let w be (6/(-4))/(21/6). Which is smaller: b or w?
w
Let j = -40.77 + 38. Let z = 2.47 + j. Is z bigger than 16?
False
Let w be ((-276)/(-2576)*(-2)/3)/(1 - 0). Which is greater: -0.3 or w?
w
Let c = 0.0417 + -0.0128. Let h = 10.9711 + c. Which is bigger: -6 or h?
h
Let g = -2.95 + 0.85. Let r = 640757/9 + -71317. Let w = 122 + r. Which is smaller: g or w?
g
Let q = 871.9 + -19.9. Let v = 671 - q. Is v less than -2/5?
True
Suppose -1058 = -3*c + c. Let p = c + -448. Which is bigger: p or 82?
82
Let w = -1743939/19270 - -2/9635. Is w at most as big as 0.7?
True
Suppose 9*k - 38 = 8*k. Is 50 >= k?
True
Let f(q) = 44*q + 3. Let t be f(-2). Suppose 97*u - 21*u = -2*u - 6708. Is u > t?
False
Let i = -41.4 + 23.3. Let q = 79.1 + i. Is q at least -2/7?
True
Let s be ((-700)/30)/(((-4)/(-21))/(-2)). Let w be (-1456)/s + (3 - -3). Suppose 2*i - 1 = i. Is w greater than i?
False
Let j be (-1131665)/955 + 2 + -3. Let z(q) = q**3 + 12*q**2 - q - 86. Let a be z(8). Let x = a + j. Is x >= -1?
True
Let n = 1126 + -1128. Is n < -0.0567?
True
Let o(w) = -w - 12. Let s be o(0). Suppose 16 = -4*j, -4*g - 4*j + 3 = -9. Suppose 4*u + 15*y - 14*y = g, -23 = -u + 4*y. Is u greater than or equal to s?
True
Let p = 160 - 286. Let g be 400/p + -4*2/(-28). Is g smaller than -3?
False
Suppose 0 = -50*v + 45*v + 2*z + 369, 2*v = 5*z + 156. Do 71 and v have the same value?
False
Suppose -3*k = -10*k + 21. Let h be k - (-1)/((-14)/(-286)). Is 22 smaller than h?
True
Let r = 527327/18 - 29304. Which is smaller: -8 or r?
r
Suppose 2*x = -4*h + 10, -2*h + 7 = -4*x - 3. Suppose h = -5*a + 8. Let p be (2 - -1)/((-105)/(-175)) + (-10)/(-2). Do p and a have different values?
True
Let u = 233.8 - 234. Which is smaller: -0.1345 or u?
u
Let l be (7 - 13) + (2270/392 - 2/(-8)). Is l at most as big as 10?
True
Suppose -d = -2*s - 3*d + 10, 5 = -3*s + d. Let m = 46 + s. Suppose 4*b + m + 26 = 3*a, -3*b - 54 = -2*a. Is 0 smaller than b?
False
Let x be (6/10 - (-60)/150) + 2 + -19. Let q = 10 - 26. Is q greater than x?
False
Suppose a - 323 = 2*f + 303, 4*a = 3*f + 939. Is f <= -332?
False
Let c be ((-15)/6)/((-290)/116). Let r be 43/(-78) + (-8)/(-48). Which is smaller: c or r?
r
Suppose 2*h - t = 4*t + 137, 2*h + t - 155 = 0. Let a be 374/6 - 6/(-9). Let r = h - a. Is r > 47/4?
True
Let c(p) = -p**3 - 16*p**2 - 24*p - 29. Let s be c(-13). Let o(u) = -4*u**2 - 18*u - 4. Let f be o(-10). Is s bigger than f?
False
Let o = -4223 - -4223. Which is smaller: o or 27/68?
o
Suppose -3*f + 0*f - s + 14 = 0, -5*s + 6 = -f. Let i be ((40/6)/f + -2)*39. Which is smaller: -4 or i?
i
Let c be -19*((-3)/(-18) - 665/30). Let i = -443 + c. Which is smaller: -123/5 or i?
i
Let r = -40.6 + 46. Let d = r + -12.4. Which is smaller: 9 or d?
d
Let p = -16229 - -19496. Is p > 3266?
True
Let d(c) = -c**3 - 8*c**2 + 5*c - 7. Let r = 21 + -29. Let v be d(r). Let w = v - -48. Which is bigger: w or -2/83?
w
Let k = 261736/11 + -23794. Is k not equal to -1/281?
True
Let l be 4 - (0 + 3) - (10 + (-69759)/7682). Is 0 at least l?
False
Let s be (2 + -3)/((-5)/140*2). Let g be -7 + (-7 + s - 0). Is 190 not equal to g?
True
Let y = -1914 + 130147/68. Let m be 4 - 5 - ((9 - 7) + 2 - 5). Is m at most as big as y?
False
Let h = -0.32667 - -0.22667. Which is smaller: 7285 or h?
h
Let h be (15/(-9))/(2/(216/(-15))). Suppose 0 = -7*y + 13*y + 6. Is y greater than h?
False
Let n be (-135)/(-243)*(-9102)/185. Let h(u) = -u**3 - 6*u**2 - 2. Let j be h(-5). Is n at most j?
True
Let j be (0 - (-6)/(-4))/(86/(-3956)). Is 61 bigger than j?
False
Let t = -33245 - -18955. Is t smaller than -14291?
False
Suppose -34*d - 2990 + 48547 = -4389. Which is smaller: 1474 or d?
d
Let n(i) = 1389*i**2 - 2781*i**2 + 181*i + 1387*i**2 - 9. Let k be n(37). Which is bigger: -158 or k?
k
Let q(j) = -j**3 - 10*j**2 - 30*j - 25. Let l be q(-4). Is l at least as big as 13/165?
False
Suppose 221 = -4*g + 2*p + 3*p, 0 = -4*g + p - 217. Is g < -55?
False
Suppose -7*c = 5*n - 3*c + 27, 0 = 4*c - 8. Which is bigger: 12 or n?
12
Suppose -2*m = -5*j - 13, 9391*m + 3*j = 9386*m - 14. Let l be (-4)/(-1315)*(-10)/(-4). Which is smaller: m or l?
m
Let a = 114 + -76. Let u = a - 117. Is u > -2?
False
Let v be (-15)/(180/12)*4. Is v at most as big as -210/47?
False
Let u(h) = -3032*h**3 - h - 1. Let f be u(-1). Let p be (4/9)/2 - f/36. Let y be (-3)/p*16/(-20). Which is smaller: 0 or y?
y
Suppose 5*z = -53 - 67. Let n be 2*(-92)/24*-6 + -3. Let v = z + n. Is v > 20?
False
Suppose 0 = -3*h - 3 - 12, 0 = m - 4*h - 20. Let c be (-2)/22*17 - (m + -2). Suppose 5 = x, 0 = -v + 2*x - 11 + 1. Which is bigger: c or v?
c
Let m(w) = -12*w + 51. Let d be m(4). Suppose 0 = -d*l - 459 + 456. Which is smaller: -1/416 or l?
l
Let c = 987 - 631. Let g = c - 347. Which is smaller: g or 12?
g
Suppose 6*k = 2*k - 5*u + 46495, 0 = -k - 2*u + 11620. Let f = k - 12827888/1103. Is -1 less than or equal to f?
True
Let h be (-20)/70 + (100/(-28))/5. Is h smaller than 2/24235?
True
Suppose -172 - 941 = -21*o. Is 28 at least o?
False
Let t = -1.83 - 1.29. Let v = -2.32 - t. Which is greater: 9 or v?
9
Let h = 2370 - 2375. Let j(i) = i**3 - 5*i**2 - 6. Let a = 10 - 5. Let x be j(a). Do h and x have different values?
True
Suppose 60*a - 72*a = -12. Suppose -5*x + 2*x - 17 = -4*t, 0 = -4*x + t - a. Which is greater: -22.6 or x?
x
Suppose -m = 4*m - 20. Let k be (m - 0) + -26 + 20. Let t be (k + 38 + -2)*5/(-10). Which is greater: -18 or t?
t
Let w be (-132)/27*9/1695*10. Is -2 >= w?
False
Let v be (10/(-6))/(12/3789)*-4. Is 2105 at least v?
True
Let h = 102 + -73. Suppose -h*x - 1377 - 247 = 0. Does -55 = x?
False
Let c be (-44)/32*(-33)/(3993/110). Let i(m) = -2*m**3 + 6*m**2 - 2*m + 1. Let k be i(4). Is c sma