*i - 8 = 3*a. Which is greater: a or -3?
-3
Let u(q) = -4*q**2 - 80*q + 10. Let n be u(-20). Suppose -10*k + n = 20. Is k greater than or equal to 4/131?
False
Let s = 294768 + -2656766/9. Which is smaller: -429 or s?
-429
Let v = -456 - -403.8. Let m = -58.2 - v. Which is greater: m or -0.1?
-0.1
Let x be (735/42 + -9)*30. Is x >= 240?
True
Let v = -4.4 + 40.4. Let z = 36.007 - v. Let s = z + -3.007. Which is greater: s or 7?
7
Suppose 6*z = 4*f + 5*z - 20, 3*z = -3*f + 15. Suppose -13 = 2*q - 11*k + 6*k, -4 = f*q - 3*k. Let u be (-3)/8*2/12. Do q and u have the same value?
False
Let v(k) = -3*k**2 - 6*k + 3. Let i be v(-2). Let n be (-2)/i*(3 + -9 + 3). Let c(p) = -4*p + 1. Let h be c(-1). Is h <= n?
False
Let k be (-8)/10 + (-323)/(-285) + (-10)/(-6). Which is smaller: k or 45/26?
45/26
Let b be ((-11)/(-33))/(3/(-459 - 0)). Which is smaller: 41 or b?
b
Suppose 3*c + 5 = 56. Suppose c*x - 8 = 9*x. Is x <= 26/19?
True
Let j be -13 + 22325/45 + (-1)/9 + 6. Are 486 and j non-equal?
True
Suppose -5*l + 19 = -2*y, 4*y + 5 + 8 = 5*l. Let z(v) = -2 - 2 + 3*v**2 + 5 - 5. Let b be z(y). Do 24 and b have the same value?
False
Let z be 8/(-10) - -6*(-68)/(-10). Let n be (-160)/z + 44/10. Which is smaller: n or 193?
n
Suppose -3*z + 627 = -5*k, z = -k + 6*z - 143. Let x = 863/7 + k. Let q(y) = -1185*y + 9490. Let b be q(8). Which is bigger: x or b?
b
Suppose 0 = 4*r - 8, -5*t + 4*r - 5*r = -26547. Is 5309 at least t?
True
Let g = 0.0965 - 407.0965. Is 3 less than or equal to g?
False
Let y(i) = -i**2 - 14*i + 3. Let g be y(-14). Let o be 9/(-45) - 11/(-5). Suppose u - 4*q - 15 = g, -u - o*q = 6. Which is smaller: u or 3?
u
Let b = -142.89 + -2.11. Let g = b + 144.9. Does -3/2 = g?
False
Let v be 1*-2*(32 + -30) + 4. Let y(o) = -2*o**3 + o**2 - 3*o + 784. Let q be y(v). Is q greater than or equal to 784?
True
Let k be -3*(4/(-14) - 153/(-21)). Let c(f) = -f**3 - 21*f**2 - 5. Let z be c(k). Let r = -121/4 - -31. Which is greater: z or r?
r
Let p be (-1)/(-9) - (-160552)/74592. Let h = p + -1/74. Do 8 and h have the same value?
False
Let x be (9 - -3 - 0)*299/2. Is 1793 greater than x?
False
Let k(u) = -72*u - 3. Let l(g) = 2 + 0 + 5 + 71*g - 4. Let d(s) = -2*k(s) - 3*l(s). Let j be d(-1). Which is smaller: j or -0.1?
-0.1
Let y = -3.3 + -6.7. Let w = 3 + y. Which is greater: 0.09 or w?
0.09
Let u be (8 + 130/(-20))/((52/(-168))/13). Is -834/13 > u?
False
Let p = -214 - -214.137. Let k = 0.137 - p. Let b = 7 - -3. Which is smaller: k or b?
k
Let q be (-3 - (-26)/10)/((40414/55)/22). Let d(t) = -t**2 + 7*t - 6. Let b be d(6). Which is smaller: q or b?
q
Let p be (40/500*(-3635)/1)/2. Let x = p - -145. Which is bigger: -1 or x?
x
Let c(k) = k**3 - 2*k**2 + 46. Let w be c(0). Let s be 109/(-8) + w/(-184). Which is smaller: s or 2/7?
s
Let b = 1 + -2. Suppose 4*i - 139 + 1299 = -2*h, 4*h = -i - 290. Let o be i/(-725) + (3/(-2) - 1). Is o at least b?
False
Let p = -1223/120 + 21/40. Suppose -1109 + 4805 = -336*m. Which is bigger: p or m?
p
Let a = 11324/32181 - -2/1893. Which is bigger: a or 2/5?
2/5
Let f be (1 + 1)*(19 + (-198)/44). Which is greater: f or 50?
50
Let g(n) = 52*n - 151. Let k = 543 + -540. Let r be g(k). Is 13 <= r?
False
Suppose 655819 + 169841 = 121*c + 99*c. Which is greater: 3755 or c?
3755
Let b = -1747.82 - 76.18. Which is smaller: b or -0.3?
b
Let p be 27580/(-91)*4/(-22). Let u = 618/11 - p. Are 1 and u unequal?
True
Let a(r) = r**3 + 39*r**2 - 173*r - 44. Let y be a(-43). Which is smaller: -28 or y?
-28
Suppose -4*f + 188 = -4*u, 188 = u - 5*u + 5*f. Let n = u + 28. Suppose 5*i = 4*w + 96, -4*w - 8 - 76 = -2*i. Is n at least as big as w?
True
Let g(b) = 6*b**2 + 21*b + 52. Let t be g(-4). Suppose -t*q + 79*q = 30. Is q at most as big as 38/15?
True
Suppose -360*a - 296 = -364*a. Let x = 816/11 - a. Suppose 0 = c - 0*c. Do x and c have different values?
True
Let s = -0.24191 - -41.24191. Let q(u) = u**2 - u - 1. Let p be 1 - 2 - -2 - 1. Let w be q(p). Which is greater: w or s?
s
Let c = 3 + -3. Let i = -409.8 + -49.2. Let y = i - -451. Is c smaller than y?
False
Let k = -3554261/9 - -395417. Is 500 greater than k?
True
Let c be ((-90)/50)/((-1)/10). Let p = -25 + c. Suppose 4*z + 44 = -4*b, 3*b = 5*z + 5*b + 43. Is p at most as big as z?
True
Suppose -416 = -u - 404. Let b = u - 12. Which is greater: b or 1/396?
1/396
Let u = -82 + 106. Suppose 13*h - 16*h = u. Which is smaller: h or -6?
h
Let z be (3 + (-339)/6)*(3 + 7 + -8). Which is smaller: -429/4 or z?
-429/4
Let v = -32397 + 32396. Suppose 0 = -3*w - 2 - 1. Let i be (w - 5)*2/22. Do v and i have the same value?
False
Let d be 5*((-3903)/(-18))/1. Let f = d - 1089. Suppose 0 = 2*t + 3*x + 21, 5*t + 4*x = -4 - 38. Is t >= f?
False
Let g = -18.33959 + 0.03959. Which is smaller: g or -0.5?
g
Let l = 45/166 + 19/83. Which is bigger: -0.11684 or l?
l
Let m(n) = -n**3 - 18*n**2 - 63*n - 14. Let x be m(-10). Let z = x + 177. Is z > -5?
False
Let x = -19 + -6. Let v = 24.79 + x. Let t = 0.11 + v. Which is smaller: -4/5 or t?
-4/5
Let b = 3/31 + -95/341. Let m = 161 + -340. Let p = -179 - m. Which is bigger: p or b?
p
Let g = -5230.49 - -5196. Let l = -0.51 + g. Which is smaller: l or 0.1?
l
Let w be 672 - (1 + -2) - (-31 - -29). Let a be (9/(w/10))/((-1)/5). Which is greater: -1 or a?
a
Let q = 166.417 - 0.417. Let j = -98 + q. Let u = 247/3 - 83. Which is bigger: j or u?
j
Let i = -1693 - -1154. Do i and -539 have the same value?
True
Let x be -5*(-13 + (-365)/(-25)). Are -8 and x unequal?
False
Let s = -7056 + 7370.9. Let v = s - 336. Let r = v + 5.1. Which is smaller: 0.2 or r?
r
Let w be 30510/(-2373)*77/(-13). Is w bigger than 75?
True
Let b = 5/24263 + -97327/1334465. Let m = 0 + 1. Are m and b equal?
False
Let a be 3/(-5) - (-21)/(-15). Which is smaller: a or 0.138?
a
Suppose -20*o + 83651 + 2689 = 0. Is o smaller than 4317?
False
Let f(h) = h**3 + 60*h**2 - 129*h - 140. Let t be f(-62). Is 169 > t?
False
Let q = 763.07333 - 0.07333. Which is greater: q or 6?
q
Let z be (-2 - (-15 + 24)) + -78. Is z at least -535/6?
True
Let u(j) = j**2 - 7*j + 1. Let w be u(7). Let n(c) = -c**2 + 2*c + 1. Let d be n(w). Let x be (d*(-36)/40)/((-2)/10). Is x smaller than -3?
False
Let x be 4/(-3)*5/(-20)*6. Suppose -87 = q - d, 59 + 90 = -x*q - 3*d. Is q at least -247/3?
True
Let n be (-81)/(-27) + -3 + 2. Suppose -n*x = -2*s, 0 = -25*x + 26*x + 3*s. Does x = 0?
True
Suppose 0 = -x + 5*y + 170, -4*y = 3*x - 3*y - 446. Suppose 42 = 9*r + x. Suppose 0 = -4*k + f - 45, -3*f - 50 - 19 = 5*k. Is k greater than or equal to r?
True
Let i = -2976 - -3030. Suppose f - 164 = -3*o, -3*o - 3*f + 172 = 2*f. Are i and o equal?
True
Let g be 1*135/(-18)*(-2)/5. Let h be 0 + 11 - (-51)/(-17). Suppose -3*m - 25 = -5*n - h*m, -3*n - m + 13 = 0. Which is bigger: g or n?
n
Let f be 2/16 - (267/24 - 0). Let i(a) = -24*a - 158. Let t be i(f). Is 105 less than or equal to t?
True
Suppose -1713*v = -1683*v - 26280. Which is bigger: 2624/3 or v?
v
Suppose 0 = 136*w - 137*w - 1648. Which is greater: w or 1?
1
Let y = 3704 - 3706. Let p = -20.92 + 21. Let n = p + 1.52. Which is smaller: n or y?
y
Let l = 46.58 + -47. Let g = -27.42 - l. Let t = 24 + g. Which is bigger: t or -6?
t
Let o(l) = 1799*l**3 - 2*l**2 + 1. Let r be o(-1). Let t be 2 + (-12)/9 - (-1218)/r. Which is smaller: -3/2 or t?
-3/2
Suppose -w = -3*z - 14547, -54*w + 55*w - 4847 = z. Which is bigger: z or -4851?
z
Let c = -6 + 214. Let s = 188 - c. Which is smaller: -22 or s?
-22
Let m be ((-8)/(-36))/((-224)/(-314448)). Suppose 0 = 4*b + 432 - 1680. Let g = m - b. Which is smaller: g or 0?
g
Let r = -225822790/3888183 + 29580245143175621/1621372311. Let i = 18243897 - r. Let z = -8/139 - i. Which is bigger: -1/2 or z?
z
Let q(p) = 8*p + 137. Let a be q(-20). Let l = -3 - a. Is 18 greater than l?
False
Let c = 6 + -6.65. Let r be 9/2 + -57 + 53. Which is bigger: r or c?
r
Let r = 0.3227 + -0.4227. Which is greater: r or -245?
r
Suppose 0 = 15*u - 8664 - 756. Let i = u - 559. Is 70 <= i?
False
Let a = -130.6 - -178.6. Is a greater than or equal to 419?
False
Let h = 23.661 - -0.439. Let m = h + -24. Let o = 10929/7 - 1566. Is m less than o?
False
Suppose 4 = -4*c, 3*c = -5*b + 7 + 15. Suppose 5*i - 3*i = b*f + 27, 3*i = 3*f + 36. Suppose i*y - 6*y = -5. Are