ppose -2*j = 3*c + 4, c + 52 = -5*j + v*c. Is j < -7?
True
Let z(k) = -2*k**3 + 7*k**2 + 3*k + 3. Let x be z(4). Let b be x/(-5) + 113255/(-725). Let c = 156 + b. Which is smaller: -1 or c?
-1
Let n = 594 + -592. Suppose -4*u + n*z + 9 = -13, u = -5*z. Suppose 0 = -0*h + 2*h - 8. Is h <= u?
True
Suppose -3*b - 369 = -5*t, -2*b - t - 259 = -0*b. Let j = -440 - b. Which is bigger: -311 or j?
-311
Let s = 604747 - 2406059/4. Which is greater: 3232 or s?
s
Suppose -f + 3*c - 8*c - 128 = 0, 4*c = 3*f + 460. Let n be -4*(-3675)/200*-2. Are n and f nonequal?
True
Let u(z) = -z**2 - 25*z + 710. Let r be u(-42). Which is smaller: r or -13?
-13
Let v = 7277 + -7306. Is v greater than 34?
False
Let t(m) = m**3 + 11*m**2 - 14*m + 43. Let y be t(-13). Let g = -114 - y. Is -5/84 smaller than g?
False
Let b = -0.089 + 23.809. Let h = b + -22.3. Which is greater: h or 1/4?
h
Let v(c) = 107*c**3 - c**2 + 2*c + 7. Let p be v(3). Suppose -16*i - p = -765. Are i and -131 unequal?
True
Let g = 260.78803 - -0.13197. Let j = g + -261. Is 0.2 >= j?
True
Let w = 218 - 199. Suppose w = -i - 16. Is -36 at most i?
True
Let w = -0.52 - -4.82. Let f = 16.2 - 12. Let t = f - w. Is t not equal to -0.058?
True
Suppose -4*a - 1128 = -3124. Let w be ((-1300)/39*(-108)/24)/(6/20). Which is greater: a or w?
w
Let j be 1*4 + -12*611/2106 + 8/(-18). Suppose 0*p = -4*p + 52. Is p at least j?
True
Let w = 15103 - 15391. Which is smaller: w or -286?
w
Let y be (28/(-42))/(-4 - 26/(-6)). Does -0.742 = y?
False
Let y be (356/(-10))/(11/55). Let p = 713/4 + y. Which is smaller: 9 or p?
p
Suppose 3*t + s = 3, -5*s + 15 = -6*t + t. Let j = -8774309/1425798 + 54/7201. Let w = -37/6 - j. Is w less than or equal to t?
True
Let c(r) = -8*r - 9 + 4 + 14*r - r**2. Let p be c(4). Suppose t + 4*o - 13 = 0, 0 = p*o - 8*o + 15. Which is smaller: t or -1/12?
-1/12
Suppose 0*v - 30 = 4*v - 2*b, v = 4*b - 4. Let n = -656 - -631. Let j be -5 + 5/(-4 + n/(-5)). Which is bigger: v or j?
j
Let b be (-2)/(-15) + -8 + 2124/270. Which is smaller: b or -15.96?
-15.96
Let x = 4351 - 4351. Is x equal to -2/15?
False
Let p = -1361/80 + 86/5. Let b be (1/4)/((-1)/(-44)). Let z = b + -12. Which is smaller: p or z?
z
Let a be (8/(-128))/((-7)/(-210)). Which is greater: -63 or a?
a
Suppose -3*g - 3*w + 33 = 0, 4*w = -8*g + 3*g + 55. Let t = g - 1. Let d be 1026/1485 - (-4)/t. Which is smaller: 1 or d?
1
Let w = -85 - -74. Let g = w + 57. Suppose -g + 8 = 2*v. Is v not equal to -20?
True
Let p = -2405 - -1977. Which is smaller: 2 or p?
p
Let q be (92/(-8) + 1)*96/(-28). Let p be 1*(-1)/(-4) + 27/q. Let x(w) = -29*w**3 - 2*w**2 + w + 1. Let t be x(p). Are 0 and t non-equal?
True
Let c(u) = -12*u + 35 + 16*u - 24 - 12*u**2 - u**3. Let n be c(-10). Let k = -320 - n. Which is bigger: k or -92?
k
Suppose 7*q + 19*q + 26 = 286. Which is smaller: -36 or q?
-36
Let v be 2/(-9) + (6339/(-27) - -1). Let l = -244 - v. Which is greater: -29 or l?
l
Let r = -516 + 520. Let z be (-24 - -21) + 0 + r. Do 3/44 and z have the same value?
False
Suppose 0 = 4*s - 4*h + 24, -5*s - 3*h = -24 - 10. Let n(q) = -q**3 + 6*q**2 - 7*q + 7. Let r be n(5). Is r <= s?
True
Let g = -2.805 - -39.805. Which is smaller: 1.4 or g?
1.4
Let c be 0 - 4479/9 - (-38)/57. Let k = 5461/11 + c. Is k less than or equal to -1?
False
Let o(c) = -c**2 + 36*c - 33. Let n be o(27). Suppose -n = w + w. Let k = 105 + w. Which is smaller: -19 or k?
-19
Suppose -5*y + 295 + 30 = 0. Suppose -5*s = -2*b - 495, -s + 4*b + y = -52. Is 96 at least s?
False
Let z = 46 + -42. Suppose -4*h = -4 + z. Let w be (84/51)/7*(-1 - -3). Which is greater: w or h?
w
Suppose -5*t - 105 = 5*q, 3*q + 5*t = q - 39. Let l(i) = -5*i + 60. Let m be l(14). Let d be (-88)/m - (-44 + 53). Which is bigger: d or q?
d
Suppose -34*l + 91 = -45. Let z be 2/(l - 6) - (-10)/6. Which is bigger: z or 14?
14
Let s = 58 - 59. Let w(n) = 418*n - 4. Let b be w(-2). Let u be 12/b - (-4)/(-14). Is u bigger than s?
True
Suppose -1 - 11 = -6*q. Suppose 4 = -w + q*w. Suppose -i + 2*k + 52 = w*i, 5*i + 5*k = 45. Which is bigger: 9 or i?
i
Suppose 1 + 5 = 2*s. Suppose 0 = h - s*h - 10. Let k = -158 + 151. Which is greater: k or h?
h
Let f = -10.6 + 2.3. Let s = 7.3 + f. Is s != -161?
True
Let y = -8 - -2. Let h(k) = -5*k - 1. Let b be h(y). Let z = 111627 - 111600. Is z != b?
True
Let r be -4*(3 + 1/(-1)). Let v be 20/(-8)*1*r/4. Suppose v*p + 282 = -4*m, -5*m + p - 330 = -4*p. Which is smaller: -69 or m?
-69
Let d(n) = 2*n**3 - 15*n**2 + 32*n - 80. Let m be d(6). Which is greater: -122 or m?
m
Let z be 41/(3 + (-8)/4). Let q be 1/((-14)/(-8)) + (-7893)/(-189). Which is smaller: q or z?
z
Let w = 1829/5 - 364. Let p(n) = n**2 - 22. Suppose i + 5*q + 26 - 1 = 0, -2*i + 2 = -3*q. Let v be p(i). Which is smaller: v or w?
w
Let t be 1343/51 + (-1)/3. Suppose 56*v = 50*v + 156. Is v less than t?
False
Let t = 1660 - 948. Let u = -4261/6 + t. Let d(g) = -g + 2. Let k be d(1). Which is smaller: u or k?
k
Suppose 43 - 40 = -3*o, -3*c + o - 35369 = 0. Which is smaller: c or -11789?
c
Let q = 2 - 2. Let m = 2091 - 161006/77. Which is smaller: q or m?
q
Suppose -8483 = -29*b + 12492 - 37. Is 721 <= b?
True
Suppose 19*o + 32750 = -16137. Is o less than or equal to -2575?
False
Let u = 15.2 - 5.5. Let y = 10 - u. Let p = -0.176 - -1.176. Is p less than y?
False
Let i = 485 - 476. Let m be 630/84*2*i. Which is greater: m or 133?
m
Let z = 4.05 + -4. Let w = -10844.8 + 10845. Is z smaller than w?
True
Let j = -0.91 + 1.1. Let p = j - -2.31. Let n = -2.5 + p. Which is smaller: n or 0.17?
n
Let n = -5371 - -5370.7447. Let r = n + -0.0447. Is r greater than or equal to 51?
False
Let g = 1174750946/749 - 1568427. Let j = 3/107 + g. Let z = j + 10/21. Does 2/9 = z?
False
Let r = 13.4 + 1.6. Let s = 5.91 + 9.09. Let p = s - r. Is p bigger than -3/8?
True
Let n(g) = -g**2 + 11*g + 14. Let i be n(12). Let k be ((-36)/3 + 2)*1/(-2). Suppose k*y - 33 = -s, 3*y - 4*y = -2*s + 11. Which is smaller: i or s?
i
Suppose -11204 = f + 3*h, f - 3*h - 6718 = -17934. Is f smaller than -11211?
False
Suppose 4*v = -5*o - 586 - 1686, 895 = -2*o + 3*v. Which is smaller: o or -453?
-453
Suppose 3*f = -2*q + 3, 29*q = 27*q + 4*f - 18. Let a = 5 - 1. Let j = -4 + a. Which is smaller: j or q?
q
Let n(d) = -25*d - 596. Let s be n(-22). Which is bigger: -25 or s?
-25
Suppose -8*w + 227 = -221. Suppose -37*b = -9*b + w. Which is smaller: -5/6 or b?
b
Let n = -46 - -50. Suppose -3*q + 2*s = -19, -7*q + n*q + 22 = s. Let g(f) = -f**2 + 5*f + 12. Let k be g(q). Is -8 at least as big as k?
False
Let f be ((-198)/132)/((-1)/((-160)/(-6))). Let o be (1/(-20))/(4 - 168/f). Which is smaller: 60 or o?
o
Let h be (1 - 3)/((-4)/(-88)). Let o be (8 - -2)*(-12)/(-20) - 51. Is o >= h?
False
Let b = 284857/166 + -1716. Let x(j) = -3*j - 18. Let i be x(-6). Is b smaller than i?
False
Let s = 161.92 - -2.08. Let v = -165 + s. Which is bigger: 10.3 or v?
10.3
Suppose 40 = 5*y + 4*w, -47*w - 17 = 2*y - 52*w. Is y less than 262/93?
False
Suppose 16480 = -5*r + 5*n, -r - 21*n - 3326 = -16*n. Is -3300 at most r?
False
Suppose 4*s + 5*v + 29 = 0, v - 3 = -2*s - 10. Let g be 1/(-1 + 0)*(s + 3). Let y be 1*(1 + g)*(-99)/(-3). Does -0.1 = y?
False
Suppose 3*y = 4*l - 2, -y - 2*l = -4*y + 2. Suppose 0 = -s - y*s. Let t = -120 + 118. Which is greater: t or s?
s
Suppose 21 = 14*o - 7. Let h be o/12 + (-2 - (-101)/6). Is 14 at most as big as h?
True
Let b = -3479 - -3472.64. Are b and 0.1 nonequal?
True
Let u = 18 + -18.09. Suppose -l + 41 = -2*x + 106, 3*x + l = 85. Let v be 35/28*(-12)/x. Are u and v unequal?
True
Let u be 14/6 + 1/(-3). Let f be 32245/40 - (-15)/6. Let j = -807 + f. Which is bigger: u or j?
u
Suppose -52*z = 162*z - 64628. Which is bigger: z or 313?
313
Suppose -122 = 7*u - 129. Let z be u*(-1 - ((-200)/15)/4). Which is smaller: z or -6/5?
-6/5
Let y = 0.9081 + -0.948. Let f = 0.0399 + y. Which is bigger: -27/29 or f?
f
Suppose -h - 3 = 15. Let z be 1/(5 + h/3). Let k = -1/634 - -687/33602. Which is smaller: k or z?
z
Let c be ((-1692)/399 - -6)/((-10)/140). Which is greater: -25 or c?
c
Let y be (3/6)/(2/(-24)) - (-2639 - 12). Is y at most as big as 2644?
False
Let g be ((0 - 1) + 1)/(-46 + 48). Suppose -k + 4*q + 49 = 0, 0 = -2*k - g*q + 3*q + 73. Let u be k/(-102) -