 5. Is -1 greater than v?
True
Let d be 3/(-8)*(-12)/(-126). Is -86/7 != d?
True
Let z be (-10)/(-4)*30/(-25) + 706 + 31. Is z < 735?
True
Let y = 12465 + -12453. Which is greater: y or 468/35?
468/35
Let p = -42 - -49. Suppose p = 2*u - 3*b - 45, 2*u + b = 52. Suppose y - 5 = -2*h, 2*h = -4*y + u - 6. Is h equal to 3/14?
False
Let h = 4877 - 5779. Which is smaller: h or 1?
h
Let h be 10/(-4)*2/20. Let v = -352687/1026 - -6533/19. Is h at most v?
True
Let u be (-6)/15 - ((-13)/(-5) - 1). Let w be (-315)/(-1377) - 3/(-54)*u. Suppose -4*c = -3*q, -2*q - 5*c + 2*c = 0. Which is bigger: w or q?
w
Let m be (-8)/(-9)*-1*(-9)/54. Is -13 >= m?
False
Suppose 7*x - 6105 + 1835 = -7*x. Which is bigger: 4 or x?
x
Let m be ((-1497)/(-90) - (-2)/(-15))*(-68)/(-1479). Which is smaller: 1 or m?
m
Let a(k) = -k**3 + k**2 - k - 2. Let f(j) = -7*j**3 + 6*j**2 - 4*j - 12. Let r(y) = 6*a(y) - f(y). Let v be r(1). Is -1/362 at most v?
False
Suppose -36*v + 17*v = -456. Suppose v*u + 18*u = 11*u. Which is smaller: u or -2/137?
-2/137
Let s = -67/9 + 47/9. Suppose -5*k + 2*j = -4, -5*k - 1 = -3*j - 2. Let q = 1 - k. Is s > q?
False
Let b = -51 + 47.5. Let v = -32.7 + 32.9. Is b at least as big as v?
False
Suppose 13*q - 8*q - 4*r - 33 = 0, 5*q = 5*r + 30. Which is greater: q or -6?
q
Let a(m) = -m**3 + 7*m**2 - 5*m - 17. Let o be (-8 - 0)/(16/(-72)). Suppose -o + 18 = -3*g. Let z be a(g). Is -11 > z?
False
Suppose -n - 4*i = -306, 0 = -4*n - 6*i + 2*i + 1176. Let u be 2/13 - n/(-312). Is u > 1?
True
Let f be (-20)/4*2 - 2. Let a be 1410/240*f/(-1). Is a greater than or equal to 71?
False
Suppose 0 = z - 2*z + 8. Suppose 0 = 4*l + 12 + z. Let p be l/(-105)*69 - (-2)/(-7). Is -1 at most as big as p?
True
Suppose -3*u + 192 = 4*f - 7*f, 94 = u + 5*f. Suppose -11020*x - 9165 = -11161*x. Is x less than u?
True
Let l = -457 + 1307. Suppose -5*a - l = 475. Is a greater than -264?
False
Let l = -53359 - -94498792/1771. Is 1 > l?
True
Suppose 2 = -10*r + 8*r, 0 = o - 2*r - 146. Let i be (-1714)/(-390) - o/312. Is 4 at least i?
True
Let y = -27 + 32. Suppose 2*q - u - 2490 = y*q, 0 = u. Let f be -3 + 2/8 + q/(-296). Is 1 at least as big as f?
True
Let q = -2987.3 - -2986.3. Which is smaller: 376.7 or q?
q
Let n(i) = i**2 + 8. Let m be n(-13). Suppose -m = -3*s - 24. Suppose 5*c - 20 = d - 66, 3*c - 3 = 0. Is s greater than or equal to d?
True
Let i be 363/(-242)*(-2)/1770. Is i < -1?
False
Let v = 84.14 + -69.14. Does -58 = v?
False
Let f be (-8)/3*12/8. Let k(n) = 3*n - 36. Let v be k(13). Suppose 10*w - v*w = -42. Which is smaller: f or w?
w
Suppose -11734 - 8110 = -82*t. Suppose 219 = y - 23. Is y at least t?
True
Let c = 600726 - 267322959/445. Is 1 at most c?
False
Let q = -2 + 2. Let o be (-50)/518 - (-4 + 81/21). Let j = 2/185 + o. Is j < q?
False
Let f be (3/(-9))/(3/(-72)). Suppose 69*w + f = 61*w. Is w >= -13/16?
False
Suppose -53*a + 4328 = -57*a. Let h be 1 + 3 + a/8. Let o = -133 - h. Does o = -3?
False
Let j = -806401/546 + 1543/78. Which is bigger: -1456 or j?
-1456
Suppose 384 = -5*n + 2*d + 1811, 2*d - 568 = -2*n. Let f be (2/(-35))/(228/n). Which is smaller: f or 0?
f
Suppose -3*d + 47 = -4*y, -132*d + 17 = y - 127*d. Suppose -45 = 2*v - 5*v - 3*m, 10 = -v + 4*m. Suppose 0 = -2*g - 3*g - v. Is y smaller than g?
True
Let v = -4675 - -4611.855. Let w = 0.145 + v. Let y = w + 68. Which is smaller: 2/5 or y?
2/5
Suppose 0 = 3*w + 3*r + 9, -2*r + 0*r = 10. Let y(b) = -166*b - 60. Let c be y(4). Let n = c + 725. Is n <= w?
True
Let d(g) = 19*g**3 - g**2 + 70*g - 70. Let o be d(1). Let b be 161/444 - (-6)/(-9). Let w = b + 2/37. Which is smaller: o or w?
w
Let d = 75/871 + -204023/871. Let u = d + 234. Which is smaller: -6 or u?
-6
Let s = -355.2 - -332.7. Is -0.9 greater than or equal to s?
True
Let u(r) = 2*r + 29. Let x be u(-7). Suppose x*i = 4*i + 11. Let y = 2/1237 + 14834/6185. Is y greater than i?
True
Let x(m) = -m**3 - 14*m**2 + 14*m + 62. Let z(a) = a**2 - 1. Let c(n) = x(n) + 5*z(n). Let l be c(-10). Which is bigger: 84/5 or l?
l
Let i = 4.3 + 28.7. Let u = 2.377 + -5.377. Is u bigger than i?
False
Let p be -4 + 456/112 - 622/6356. Is p > 0?
False
Suppose 5*j = -878*o + 881*o + 37, -4*o - 5*j + 44 = 0. Which is greater: -1/727 or o?
o
Let h = -36.24 + 35.94. Is h > -0.0013?
False
Suppose h + 3 = -2, -2*s = -h + 7137. Let k = -1014163/284 - s. Which is smaller: k or 0?
0
Let t = -9033 + 9033. Let y be (-2)/12*(-1 - -3). Which is smaller: t or y?
y
Let k be (3124/88)/((2 + 0)/12). Suppose f + 107 = -2*t + 4*f, -4*t = -5*f + k. Which is greater: t or -0.2?
-0.2
Let f = 7539/52 + -145. Let h = 77 + -141. Let n = 65 + h. Is n smaller than f?
False
Let b = 1147.39 - 1146.4. Which is smaller: b or -8?
-8
Let y be 2*3/15*(1 - -9). Suppose -3 = -y*u - 27. Let i be -4 + 9 - (u + 1). Which is greater: i or 9?
i
Let n = -9.103 + 8.19. Let c = -0.087 + n. Which is bigger: c or -0.259?
-0.259
Suppose -78*h + 81*h + m = -8, -2*h - 4*m = 2. Which is smaller: h or -0.1191?
h
Let z be 67/10*65/(-1144). Let s = z + 3/176. Let h(v) = -v**3 - 3*v**2 - v - 3. Let i be h(-3). Which is smaller: i or s?
s
Suppose -5*j + 4*j = 0. Let o be ((j + 0)/2)/(-2). Let x = 680044 + -17001114/25. Are o and x equal?
False
Let s = 11 + 51. Let v = s + -36. Let h = v + -26. Is h < 0.07?
True
Let t be 4 + (-1)/((-328)/(-2228)). Let n = t - -6513/820. Let g = 27/5 - n. Are g and 0.01 unequal?
True
Let m(l) = l**2 - 12*l - 3. Let q be m(11). Let t be -15 - q - (0 + (-118)/(-4)). Which is smaller: -30 or t?
t
Let o be -135*(-3)/(3 - -6). Let n = 46 - o. Let x be (24/30)/((-4)/(-10)) + n. Is -4 < x?
True
Suppose -243 = -h + 2*o, 2*h - 481 = -0*h - o. Which is smaller: h or 239?
239
Let q(f) be the first derivative of f**3/3 + 3*f**2 - 30*f + 86. Let m be q(0). Suppose 2*w = -2, -3*w = 5*p - w + 147. Which is smaller: p or m?
m
Let y be (-10020)/18*756/(-105). Is y at least 4008?
True
Suppose -624*w - 3 = -36*w - 3. Which is greater: -2/22921 or w?
w
Let i = 2091 + -2090. Which is smaller: i or 4/3181?
4/3181
Let l be (-2)/7*25032/30. Which is greater: -239 or l?
l
Let f = -20269 - -20270. Is -15895 <= f?
True
Let j be -12*(32/24)/2 - -7. Which is smaller: j or -637?
-637
Suppose -83*q = 86*q - 166*q + 3. Let f be (6/7)/((-6)/4). Which is smaller: q or f?
q
Let d = 1/93284 - -551227/790768468. Which is greater: -1 or d?
d
Let x = 26.9 - 12. Let b = -14.726 + x. Let z = 0.026 + b. Which is bigger: 4.8 or z?
4.8
Let h = -0.059 + 0.659. Let f = h - 0.6. Which is smaller: f or 2.3?
f
Let c(v) = 19*v - 919. Let n be c(49). Let p = 2/4205 + 311156/29435. Is n > p?
True
Let g(m) = 59*m - 2. Let c be g(2). Suppose -3*j - c = 1. Suppose -9*b + 50 = -2*w - 6*b, 4*w + 2*b = -180. Is j less than or equal to w?
False
Suppose -112 = 6*u - 20*u. Suppose -3*r - 5*h = 27, 2*r + u*h + 18 = 3*h. Which is bigger: r or -14?
r
Let b = -16183.49 - -16180. Let s = -13 - -9.4. Let i = s - b. Do -1/3 and i have the same value?
False
Let r(d) = -2*d**3 + 22*d**2 - 65*d + 451. Let n be r(10). Is n > 1/12325?
True
Let r = -0.3988 + -22.0012. Which is smaller: 0.4 or r?
r
Let j be -1581*3*(-3)/9. Which is smaller: j or 1579?
1579
Let j = 3485 + -3613. Which is smaller: j or -132?
-132
Let l(f) be the first derivative of -4*f**3 + 9*f**2/2 + 9*f - 28. Let c be l(4). Is -147 <= c?
True
Let v = 2.408 + -2.3. Let u = v - 79.108. Let f = 77 + u. Is f at most as big as -18?
False
Let l = -7398 + 7349. Which is greater: -66 or l?
l
Let w be (1/(-4))/((-16)/2048). Let d be 6/(-16) - 180/w. Which is bigger: 10 or d?
10
Let h = -25 - -27. Suppose 34 + h = 3*o. Which is bigger: 6 or o?
o
Suppose 2*s + 197 = -u, 0 = 3*u - 3 + 12. Suppose -5*v + 4*j + 213 = -208, 4*v = 3*j + 337. Let i = s + v. Is -13 less than i?
True
Let g = 245 + -524. Suppose -4*d - a - 1607 = -486, 0 = 5*d - a + 1399. Is d greater than g?
False
Let m be ((20/6)/5)/((-11)/440). Let c = 112416 - 2360188/21. Let i = m + c. Which is smaller: 0 or i?
i
Let x(j) = j**3 - j**2 - j + 14. Let t(g) = -2*g + 5. Let i be t(1). Suppose i*n + n = -5*n. Let r be x(n). Is 14 at most r?
True
Let y = -0.1002 - -0.0402. Let m = 121 + -1209/10. Is y bigger than m?
False
Let v(t) = t**3 + 2*t**2 - 7*t + 9. Let x be v(-4). Suppose 3*h = -f, 5*h = 8*h - x*f. Which is smaller: -16 or h?
