False
Let u(w) = -4*w**2 - 27*w + 51. Let i be u(14). Let s = -21119/19 - i. Which is smaller: -1 or s?
-1
Let f = -45 + 47. Suppose -5*q + 9 = f*v - 2*q, 0 = -v + 3*q + 18. Suppose 3*u + 0 = -v, 5 = 2*j + 3*u. Is 6 greater than j?
False
Let a be (-110888)/(-12320) + -9 + -6 - (-5 - 1). Which is bigger: a or 1?
1
Let o(z) = z**3 + 5*z**2 + 2*z + 2. Let j be o(-4). Let r = j + -91. Let u = r + 565/7. Is u at least as big as -48?
True
Let y(f) = -f**3 - 6*f**2 + 7*f + 5. Let v be y(-6). Let q be (-2)/(24/9) + 735/4. Suppose -6*l = 33 + q. Which is smaller: v or l?
v
Let l(h) = -9*h - 1. Let d be l(-3). Let o be d/4 + ((-156)/8)/13. Let s be o/(-5 - 5) - (-6)/28. Which is greater: 1 or s?
1
Let q = 6 - 12. Let x(j) = 4124*j - 4123. Let c be x(1). Which is greater: q or c?
c
Let u be (-28)/((-28)/5) - (-1 + 29/14). Which is smaller: u or 8?
u
Let j = -91 + 1. Let w = -115 - j. Is -29 at least as big as w?
False
Let t be 5/10 + (-51)/42 - -2. Let g = -343 + 348. Is g <= t?
False
Let q = -5263 + 5262. Let t = 3/1397 - -153661/4191. Are q and t equal?
False
Let p(q) = 2*q**2 - 29*q + 255. Let c be p(13). Is c >= -16?
True
Let j(s) = -s**3 + 15*s**2 + 3*s + 3769. Let n be j(0). Which is smaller: n or 3768?
3768
Let g be 6*5/310*12/18. Let w = -3 + 8. Suppose -2*j = -w*a - j - 5, -2*j = -2*a - 2. Are a and g nonequal?
True
Let r be (258/(-1075))/(21/(-15) - -2). Let i be (1 - 2)/(2/(-6)). Suppose 2*s = i - 1. Is r > s?
False
Suppose 20*g - 84 = 16*g. Let w = -5 - g. Let c = -25 - w. Which is greater: c or 2/9?
c
Let i = 2893 - 2894. Which is bigger: i or 1/5152?
1/5152
Let u = -5583077/1865 - -13/1865. Let t = u + 3003. Which is greater: 8 or t?
t
Let n be (13/(-143) + (-69735)/(-66))/(-1). Which is bigger: -1056 or n?
-1056
Let i be ((-1)/2)/(-6 - 431/(-72)). Suppose 31*f = i*f - 25. Suppose -5*g + 10 = -f. Is g at least 2?
True
Let q(a) = a**2 + 3*a - 24. Let m be q(0). Let z(c) = 2*c**3 + 48*c**2 + 2*c - 30. Let n be z(m). Do n and 2/3 have the same value?
False
Let p be (-3)/(-9)*0/(-2). Let v(u) = 58*u - 2. Let g be v(-1). Let q be (-4)/(-15)*(425/g - -7). Is q < p?
True
Suppose 2*a + 38 = 2*d, a = -d - 0*d + 11. Suppose -16*x = -d*x - 7. Suppose 2*t = -5*s - 10, x*s = -t + 3*s - 8. Does t = 6?
False
Let k = -5 + 5.4. Let u = -60355 - -60355.9. Is k bigger than u?
False
Suppose j - h - 1 + 14 = 0, 4*j = 3*h - 55. Let x(y) = -y**3 - 15*y**2 + 15*y - 15. Let w be x(j). Let u be (0/w)/(5 - 7). Which is bigger: 10/47 or u?
10/47
Let b = 2.35 + -2.45. Let z = -1.6 + -0.5. Let u = z + 2.132. Are u and b equal?
False
Let q = -1/24427 - -1294634/73281. Which is smaller: 19 or q?
q
Let i(q) = q**3 - q**2 - 4*q + 1. Let k(r) = -5*r**3 + 4*r**2 + 53*r - 10. Let z(f) = -4*i(f) - k(f). Let p be z(6). Which is bigger: p or -4?
p
Let x(v) = 3*v - 14. Let h be x(6). Let w be h/10 + 4818/55. Let t = w - 87. Which is bigger: 3/26 or t?
t
Let i = 8/2159 + -1674/1617091. Let p = 1132/137067 + i. Are 1 and p non-equal?
True
Let s be 15/8*(800/16176)/25. Is -1 >= s?
False
Let s(h) = -2*h - 20. Suppose -3*o - 3*i + 22 = -2, 23 = 4*o + i. Suppose b + 30 = -o*n - 13, 4*n = b - 38. Let p be s(n). Which is smaller: 0 or p?
p
Let z be -1668*(-1 + 3 - 1) + -1. Which is bigger: z or -1668?
-1668
Let n(a) = 19*a**2 + 2*a + 3. Let d be n(6). Suppose d = 5*t + y + 194, -3*y = -4*t + 404. Is t less than -1/2?
False
Let z be (-14)/49 + 6/21. Let q = 218 - 9377/43. Let y = q - -118/1075. Is z < y?
True
Suppose -6*b + b = -830. Suppose -366 = 14*x + b. Suppose -n - 13 = 26. Which is smaller: n or x?
n
Let l = -277 + 186. Let b = l - -116. Suppose -3*r - 1 = -b. Which is smaller: r or 3?
3
Let f = -0.28369 + -0.11631. Is 296 < f?
False
Let u(t) = -t**3 - 5*t**2 - 7*t + 2. Let n be u(-4). Let j be (-3)/6 + 49/n. Suppose 3*b - 2*q = 33, -2*b - 18 = -5*b - j*q. Which is smaller: 10 or b?
b
Let w(q) = -10*q**2 - 4*q + 2 - 7*q**2 + 16*q**2. Let b be w(-6). Let d = -26 + 19. Is d at most b?
False
Let k = -59172 - -59172. Let v be -1*((-232)/(-233) - 1). Which is bigger: k or v?
v
Let a = -113.4 - -113.4849. Let c = a + 37.9151. Which is bigger: c or 1/2?
c
Suppose -5*t - 113 = -4*h, 3*t - 4 = -h + 20. Let y = -1496 - -1522. Are y and h equal?
False
Let p(g) = -19 - 11*g + 82*g**2 + 82*g**2 - 254*g**2 + 89*g**2. Let u be p(-8). Which is greater: u or -3?
u
Let z(a) = a**2 - 10*a - 6. Suppose -37 = -4*j + 7. Let p be z(j). Suppose p*l - 27 = -82. Do l and -9 have the same value?
False
Suppose 302*u + 76352 = -1262. Let k(a) = 257*a + 1. Let f be k(-1). Which is smaller: u or f?
u
Let u = -67/24 + 7195/2616. Are -1 and u nonequal?
True
Let n = -11820 - -3628749/307. Which is bigger: n or 0?
n
Suppose 109*i + 955 = 301. Is -195/37 at most as big as i?
False
Let d(w) = -w + 4. Let b be d(0). Let t = b - 1. Let v be (-1 - -3) + (-53)/((-4240)/(-192)). Is v <= t?
True
Let n = 57 - 58. Let d be 0 - 10/(-460) - (n + 1). Which is bigger: d or -1?
d
Let f be (-28)/(-280) - (-2838)/20. Suppose -3*h = -3*r - 5*h + 187, 3*h = 2*r - f. Is r >= 65?
True
Let l = 22071.6 + -22071. Is l greater than -157.3?
True
Let q be (-5)/20 + 66/968. Let o = -17 + 20. Which is bigger: q or o?
o
Suppose 11*a = -7*a + 72. Let y be 630/84 + 2/a. Which is bigger: -1 or y?
y
Let b be (-1 - 1)/(-39 - -37). Let z(x) = -2*x**2 - 7*x - 1. Let t be z(-5). Let n be 18/(-28)*56/t. Is n at least b?
True
Let y = -1223 + 119853/98. Let h = -267512761/490 - -545944. Let g = y - h. Is g < -47?
False
Suppose -3*c + 2470 = 2*z - 1283, -4*z - 2*c + 7478 = 0. Which is smaller: z or 1869?
z
Let t be 90/63 - 4/(-7). Let w be t/((-11)/(1650/12)). Let z be -1*(w/(-5) - 4). Which is greater: 1/30 or z?
1/30
Let w(i) = i**2 - 48*i - 811. Let y be w(61). Are y and 13 nonequal?
True
Suppose 42 = -162*i + 120*i. Is i not equal to -1/5072?
True
Let b be (-13410)/(-135) + 4/6. Let h = 98 - b. Which is greater: h or -21/26?
-21/26
Let d = 2782 - 2694. Is d not equal to -5?
True
Let y be (-304)/16 + 0 + 1 + -2. Let l = 138 + -148. Which is smaller: y or l?
y
Suppose 0 = 4*t + 4*n - 4, -2 = 182*t - 187*t - 2*n. Which is greater: 4/153 or t?
4/153
Let z(f) = f**3 - 22*f**2 - 23*f + 5. Let g be z(23). Let n(w) = 61 - 59 + 5*w - g*w + 3*w. Let k be n(-3). Which is greater: k or 0?
0
Suppose -11944 = -3*c + y, 161*c - 156*c = -5*y + 19940. Which is smaller: 0 or c?
0
Suppose 0 = 10*k - 6*k. Suppose k = 3*o + 2*o - 2*i, 2*i - 8 = o. Is o < 1/18?
False
Let a = 9163.2 + -9163. Let d = -10 - -10.28. Which is smaller: a or d?
a
Let r = 1184 - 2648. Is -4 equal to r?
False
Let v(g) = 2*g**2 + 15*g + 24. Let u be 18/(-27) - 16/(-6). Suppose -u*s - 16 = 3*d, 3*d - 7*d = 4*s + 28. Let o be v(s). Which is bigger: -1/7 or o?
-1/7
Let v = -18239 + 18238. Which is greater: -7/2529 or v?
-7/2529
Let y = -3 + 2. Let c(s) = -106*s**2 - 9*s - 7. Suppose z = -g - 2*z + 14, -4*g + 3*z = 19. Let r be c(g). Is y equal to r?
False
Let o be 12*(-3 + -2 - (-26)/4). Let y be (3/o)/((-2)/(-250)). Are y and 21 equal?
False
Let x(s) = -3*s**2 - 3*s - 5. Let q(z) = 8*z**2 + 7*z + 13. Let l(f) = -4*q(f) - 11*x(f). Let j be l(-12). Is 88 <= j?
False
Let c be (-4)/14 + 24554/42. Suppose -i + 1183 = -2*j, 79*j - i + 2367 = 75*j. Let z = j + c. Which is smaller: -9 or z?
-9
Let m = 13643/48 - 1843/48. Let h = -205037/834 + m. Suppose -4*o - 2 = 6, 10 = 2*q - 5*o. Are h and q non-equal?
True
Let v be -502 + ((-7)/(-2))/(-7)*14. Which is smaller: -512 or v?
-512
Suppose 133 = -r - 99. Let c be (-16)/(-12)*(-1 - 230/r). Do c and -0.1 have the same value?
False
Let d be (-1)/18*2 + 0. Let j = 319 + -297.1. Let r = j + -26.9. Which is greater: d or r?
d
Let w = 9528.8 - 9529. Which is smaller: w or 0.0536?
w
Let o = -24774 - -13179763/532. Is o greater than or equal to 0?
False
Let m = 394420 - 92688532/235. Does 0 = m?
False
Let h = 1.017 + -0.017. Let j = 132 + -136. Let w = j + 12. Is h >= w?
False
Let b = 0.7 + -0.18. Let p = -1.48 - b. Which is bigger: p or 11/2?
11/2
Suppose -2*p - 5*m + 32 = 0, -2*p + 0*m = -5*m + 8. Suppose 2*r + g - p = 0, g + 0 = 3*r - 4. Let k be r/(14/(-63))*(-2)/3. Which is greater: 8 or k?
8
Let l(v) = -2*v**2 - 13*v - 14. Let q be -2 + (1 - 4 - -1). Let w be l(q). Let s = -15 - w. Which is smaller: s or -19?
s
Let s be (-200*245/(-280))/((-1)/(-2)). Is 341 less