aller than -5/424?
False
Suppose -70*n = -647367 + 21179 - 212202. Is 11976 equal to n?
False
Let o = -774 - -641. Which is greater: -263/2 or o?
-263/2
Suppose 0 = -4*x + 10*j + 106, -18*x + 48 = -16*x - 4*j. Is 9 less than or equal to x?
True
Suppose -49 - 664 = -31*t. Let x be (t - -9) + 3 + (3 - 2). Let s(z) = -6*z - 7. Let w be s(-7). Is w greater than x?
False
Let u = 432295/3026307 + 7/12057. Which is greater: u or 0?
u
Suppose -52 = 5*a - i - i, 2*a - i = -20. Let f be 3/12 + (-45)/a. Suppose -f*w + 2*s + 280 = 36, s = w - 61. Is 61 >= w?
True
Let j = 0.505 + -36.505. Which is greater: 0.025 or j?
0.025
Let w be (400/1800)/((-9)/(-15)). Let a be 1 + (-110)/54 - -1. Let p = a + w. Which is smaller: -0.2 or p?
-0.2
Let j = 4 + 26. Are j and 1 equal?
False
Let n = 1145.8 - 1127.79. Which is bigger: n or -3/7?
n
Let k = 0.5 - -5.1. Let x = 6.6 - k. Let n = 13.5 - -4.5. Do n and x have the same value?
False
Let d = 85407/19274 + -102/23. Do d and 0 have the same value?
False
Let j be ((-12)/14)/((-21)/392). Let r be ((-23)/1)/(16/j). Let k = r + 6. Which is bigger: -19 or k?
k
Let c be (-6)/(-54) + 23710/45. Which is smaller: 528 or c?
c
Let y(x) = x**3 + 9*x**2 + 20*x + 1. Let w be y(-4). Let z(s) = -s**3 + 3*s**2 - 1. Let j be z(1). Let h be w + j - 117/36. Is -1/3 > h?
True
Let l be 1*2/(-8)*-4. Let u(o) be the third derivative of -3*o**6/40 - o**5/60 - o**4/24 - 126*o**2. Let x be u(l). Do x and -10 have different values?
True
Let x(g) = g**2 + 6*g - 11. Let t be x(-11). Let p = t + -41. Suppose v + 4 = p. Is -3 greater than v?
False
Suppose 3*n - 3 = 0, n - 3 = t - 3*n. Suppose -2*d = -33*z + 36*z + 7, -4*d - 5*z - 13 = 0. Let l be (7/(-14))/(t/(d - -20)). Are l and -51/5 non-equal?
True
Let i(w) = -71 + 7*w - 4*w**2 + 74 + 3*w**2. Let o be i(6). Suppose 3*l - 3*k + o = 0, -l - 2*l - 15 = -5*k. Is l != -2/155?
True
Suppose -19*l + 9 + 10 = 0. Let q be l/(-2*13/(-4)). Let h(p) = -p + 20. Let v be h(11). Which is bigger: q or v?
v
Let q = 2585 + -2584.8. Let x = 63 + -26. Is q at least as big as x?
False
Let h(i) = 5*i**2 + i + 2. Let t be h(5). Suppose 18*u - 375*u + 61177 = 110*u. Is u >= t?
False
Let m be (-4)/9*5/(200/(-705)). Let j = 13 - 5. Do m and j have different values?
True
Let z = -325.7 - -341. Let c = z + 7.7. Let y = -23 + c. Which is smaller: -32 or y?
-32
Let x(l) = -l**3 - 13*l**2 + 58*l + 14. Let z be x(-17). Suppose -944 = -12*o + 1288. Which is greater: o or z?
o
Suppose c - 23 = -4*k, -4*k - 4*c + 17 = -5*c. Let r = 444 - 140. Let s = r - 306. Which is smaller: s or k?
s
Let x = 289 - 295. Let b be ((-28)/(-21))/(46/x + 3). Which is bigger: b or -20/7?
b
Let q(n) = 51*n**2 - 1. Let r be q(5). Let u be ((-13)/r)/(6/623) - -1. Is -1 greater than u?
False
Suppose b - 5*b - 40 = 0. Let o be b/20 + (-3)/2. Suppose -3*v = -5*y - 2*v - 24, -3*y + 4*v - 11 = 0. Do o and y have the same value?
False
Suppose -q + 3*d - 1254 = 4*q, 0 = 5*q + 2*d + 1239. Let y = q - -259. Which is smaller: y or -1?
-1
Let s = -1219/59 - -15911548/770127. Which is bigger: 0 or s?
0
Let f be (-9)/(54/(-21))*2. Let u be (-21)/(-3) + (0 - f). Let n = -9/28 - -173/364. Is n greater than u?
True
Let b = 77 + -77.039. Let r = -0.0516 + -0.4094. Let u = r + b. Which is greater: -0.1 or u?
-0.1
Let p = -8.27 - -220.945. Let a = 213 - p. Which is greater: a or 1?
1
Let k = 2.36 - -105.64. Let z = 99 - k. Which is smaller: -4 or z?
z
Suppose -10*w + 6*w = -3*z + 3438, -2*z + 2306 = 2*w. Suppose 4*y + z = -6*y. Is -116 greater than y?
False
Suppose 0 = 2*q + 3*q + 10. Let p be ((-12)/(-18))/(q/(-6)). Let v(j) = -j**2 + 3. Let h be v(p). Is h greater than or equal to -2/63?
False
Suppose 0 = -255*b + 268*b - 15041. Which is greater: b or 1155?
b
Let t = -438/5 + 88. Let l(u) = -5*u. Let y = 2 + -1. Let z be l(y). Which is bigger: t or z?
t
Let d = 22449 + -22595. Which is smaller: -289/2 or d?
d
Let z be (49/210)/(2 - 584/170). Let m = z - 1/244. Which is bigger: 68 or m?
68
Let q = 468.7 + 3474.3. Which is smaller: -1 or q?
-1
Let m = -9/181 + 2669/2715. Let y = m + -19/15. Which is bigger: 38 or y?
38
Let l = 114.66 - 1.66. Let j = 678236 + -678236.1. Which is bigger: l or j?
l
Let y be -2 + (-33)/(-15) + (-57208)/(-60). Let k = 1530641/1605 - y. Is 0 > k?
False
Let l be ((-222)/24 + 8)/(1/(-312)). Let c be 3*l/(-72)*-4*1. Are c and 65 non-equal?
False
Let n = 40264714979818 - 2357056150103465969/58539. Let v = -5887/741 + n. Let b = v - 1702. Is b equal to -1?
False
Let b = -17295736/1003 + 17244. Is b greater than 0?
False
Suppose -4*z = 5*u - 210 - 400, -4*u + 3*z = -488. Let m = 121 - u. Does m = 5/48?
False
Let s = -38 - -43. Let c be 32/s - (-24)/40. Let v = 5 + c. Is v greater than or equal to 11?
True
Suppose 13805 = 5*x - 2*s, s - 8272 = 6*x - 9*x. Is x <= 2760?
True
Suppose -2*j + 53*m + 2432 = 54*m, -2*m = -8. Which is smaller: 1213 or j?
1213
Let x = 2.1 - 3.4. Let i = 1.5 + x. Let p = 35 - 69/2. Which is greater: p or i?
p
Let k = -651 - -1184. Let s = -37 + k. Which is bigger: s or 1?
s
Let g be (-6)/((-16)/(-88) + 21/66). Let y(h) = h**2 + 13*h - 7. Let i be y(g). Which is greater: i or -88/5?
-88/5
Let c be ((-2)/25 - 253/4025)/(2/(-4)). Which is smaller: c or -2576?
-2576
Let z(p) = p**3 - 14*p**2 + 48*p + 3. Let q be z(8). Suppose 2*n = 2*j + q*n + 121, 5*j + 310 = -4*n. Which is smaller: -0.2 or j?
j
Let l = 93419/303 + -925/3. Let c be (-3)/6*0/2. Which is bigger: l or c?
c
Suppose 3*n - 4*v = 79, 37 = 5*n - 3*v - 80. Let j be 2/(-9)*45990/(-24). Let z = j - 406. Which is bigger: n or z?
n
Suppose -4*t + 0*i = -2*i - 4, -i = 0. Let w be (14 + -13)*(4 - t). Suppose -b = -w*b - b. Which is smaller: b or 2/81?
b
Suppose 11*f + 0 - 55 = 0. Suppose -2 = -i - 5*n + f, -i + n + 1 = 0. Let s be 11 - 9 - (i - -1). Which is bigger: s or 1/5?
1/5
Let m = -0.9263 + -6482.0737. Is m equal to -1/2?
False
Let f be (18/(-21))/3 - (2 - 229638/100485). Do 0 and f have the same value?
False
Let m = 303 + -297. Let r be 510/20*m/(-9). Is r at least -21?
True
Let b(z) = 65*z - 649. Let k be b(10). Which is bigger: k or 4/1565?
k
Let i(n) = -n**3 - 23*n**2 - 18*n - 2. Let s be i(-22). Let a be (-21)/(-6)*s/15. Which is greater: a or -41/2?
-41/2
Let o(h) = -h**2 + 4*h + 5. Let l be o(5). Let c(f) = -f**3 + 14*f**2 - 5*f - 24. Let x be c(13). Let w = -559/7 + x. Which is greater: w or l?
w
Let u = 36 - -6. Let w = -19 + u. Let d be (-1)/((-1)/(-3)*3). Do d and w have the same value?
False
Let k = -1996.1 + 1996. Is k at most as big as 15642?
True
Let p(j) = -j**2 - 4*j - 8. Let i be p(-18). Let b be (-4)/(-6) - i/(-75). Which is greater: -1/3 or b?
-1/3
Suppose 36*s + 209902 - 11038 = 0. Which is smaller: -5525 or s?
-5525
Let c(y) = -y**2 + 2*y + 36. Let l be c(7). Let x be 2*(10976/3656 - 3/l). Are x and -1 equal?
False
Let a(h) = -h**2 - 8*h - 7. Let l = 31 + -32. Let t be l/(5*(-4)/(-120)). Let c be a(t). Which is smaller: c or 6?
c
Suppose 0 = 3*w - 9, 5*w - 246 = -z + 2*w. Let c = z + -237. Are c and -1/230 equal?
False
Let i = -0.04051 + 0.23051. Which is greater: i or -13?
i
Suppose 0 = -2*a - 2*a + h - 1, -2*h = 4*a + 10. Let f be a + (4 - (6 + -3)). Let v be -3 + 2 - 16/(-17). Is f greater than or equal to v?
True
Let f be (-3)/3 + 3*(-5)/(-15). Let u be 1*(-6 - (-2228)/371). Which is smaller: f or u?
f
Let i = -67.342 - 0.158. Let n = i - -65. Let q = n + 2.6. Is q at least -48?
True
Suppose -2*a + 6 = -0*a. Suppose -5*x = -4*x - 12. Suppose 3*w - 3*n = x, -4*w - 3*n = -2*w + 2. Which is bigger: a or w?
a
Let n(c) = -c - 2. Let w be n(4). Suppose 0 = -d - 5*l + 29, -3*d - 3*l - 3 = -6*l. Let t be (w/21)/(-1) + d/(-14). Are -4/5 and t nonequal?
True
Suppose -2*s - 4*g - 25 = -5*s, -5*s + 49 = -3*g. Let d = s - 7. Suppose -2 = -d*b - 2. Which is smaller: 13 or b?
b
Suppose -80*x = -7*x + 585 + 55771. Is x smaller than -769?
True
Let p be (275/30 - 15/9)*4. Let a be 2444/(-18) - p/135. Which is smaller: a or -137?
-137
Let q be (8 + -6)*-2 + (5 - 0). Suppose 2*f + 8 = 0, 5*n - 3*f - 168 = 264. Let c be q/(-4) + 45/n. Are 0 and c non-equal?
True
Suppose -4*o - 5*n = -0*o - 1372, 0 = -3*n. Let u = o + -289. Suppose -36 + 142 = 2*l. Which is smaller: l or u?
l
Let d = 338330 + -1360641/4. Let o = 1846 + d. Let w = o - 795/52. Is -1 at most w?
True
