equal to m?
False
Let d = 881/7215 - 3/37. Is 1 >= d?
True
Let c(l) = -2*l**3 + 22*l**2 + 15*l + 3. Let y(f) = -f**3 + 22*f**2 + 16*f + 3. Let t(p) = 2*c(p) - 3*y(p). Let z be t(-21). Does z = -64?
False
Let b be 20/(-15) - ((-17642)/(-420) - 1). Let l = b + 127/3. Which is greater: -1 or l?
l
Let j be (-10)/3 - (-26 + 20) - (7 + -5). Is j smaller than 0.5678?
False
Let l be 3210/(-4575) + (-18)/(-10) + -1. Suppose 0 = -20*n + 31*n. Which is greater: n or l?
l
Let f be ((-2616)/(-192) - 14) + (-93873)/(-24). Is f >= 2?
True
Let d = 24/443 - 4034/90815. Which is bigger: d or -0.04?
d
Suppose -13*a = -7*a - 72. Let u be -1 - (0*4/a + 34). Is -69/2 less than u?
False
Suppose -175 = -50*d + 43*d. Let q be (64/240)/((-2)/d*3). Is q equal to -2/5?
False
Let u be (-3 - -3)/(0 + 4/4). Let s be (60/(-35))/6 + 0 + u. Let l = 368 - 2570/7. Is s >= l?
False
Let y = -24978 + 13168. Which is smaller: y or -11809?
y
Suppose 383 = -4*f + 3*f + 2*d, -5*f - 1959 = d. Let k = f - -6645/17. Let m = 59/68 + k. Is 2 equal to m?
False
Let c = 409 + -758. Let h = -349.1 - c. Are -8/19 and h nonequal?
True
Let q = -21013 + 25616. Is q at least 4603?
True
Let m be ((-27)/(-108))/((-2)/(-1808)). Let l = m + -396. Is -1/3 bigger than l?
True
Let x = 46 + -25. Let i = x + -21. Is -1/8 > i?
False
Suppose 0 = 5*y + 24 + 16. Suppose 20*u - 20 = 10*u. Suppose -34 = 3*b - 2*k, -u = 5*k - 27. Are b and y equal?
True
Suppose -8228 = 5*o - 3*y, -4*o - 5*y - 3254 = -2*o. Is -1641 > o?
True
Suppose 0 = 26*q - 32*q - 6. Let y be (48/11304)/(4/9*q). Are -1 and y non-equal?
True
Let n = -14.4 - -13.69. Let k = 0.09 - n. Let r = 30.2 + k. Is -1 at most r?
True
Let y = 18118/13 + -1390. Let j = 423/104 - y. Which is greater: -1/18 or j?
j
Let u = -1.085 + -3.915. Which is smaller: u or 218?
u
Let q(h) = h**2 + 42*h + 22. Suppose 3*m + 46 = -2*r - 0*r, 0 = -5*r + m - 149. Let z be q(r). Let y = -37984/107 - z. Is 0 greater than y?
False
Let k = 105 + -4. Let q be (2/k)/(-2)*1. Let d = -1415525 - -1415524. Which is smaller: q or d?
d
Let m = -18.9 + -9.3. Let s = -27.2 - -30. Let r = s - m. Is r at least as big as 0?
True
Let c be ((-188)/(-12))/((-3)/9)*-1. Let h = -69 + c. Which is greater: -16 or h?
-16
Let u(w) = w - 3. Let s be u(3). Suppose s = -5*g - 45 - 40. Let o(z) = z**3 - 119*z**2 - 7*z + 832. Let p be o(119). Which is greater: g or p?
p
Suppose 779 = 49*c - 740. Which is greater: c or 57?
57
Suppose -4*m - i = -6, -2*m - 3*m = -2*i - 14. Suppose 8*d = m*d. Which is greater: 4/63 or d?
4/63
Let p = -24046 - -24100. Which is bigger: -0.94 or p?
p
Let f = -1054807 - -5294019/5. Let s = f - 4020. Which is smaller: -23 or s?
s
Suppose 163168 - 1306658 = -205*p. Is 5578 less than or equal to p?
True
Let q = 17.8 - 70.8. Let w = 25 + q. Which is smaller: 0.2 or w?
w
Let j = -45580 + 45575. Is j at most as big as -125/26?
True
Suppose 190*z - 242*z - 416 = 0. Let n = -32 - -19. Which is bigger: n or z?
z
Let g(i) = -2*i + 27. Let x(d) = 3. Let u(m) = 1. Let w(l) = 5*u(l) - 2*x(l). Let a(q) = g(q) + 2*w(q). Let b be a(7). Is b at least as big as 2?
True
Let y(k) = -67*k + 19. Let d be y(-4). Let b be 7/63 + (-20728)/(-72). Which is smaller: b or d?
d
Let h be ((-336)/360)/(12/(-10)). Suppose 0 = 23*v + 8*v - 62. Is h >= v?
False
Let z = 96.5 + -77. Let v = z + -142.5. Is 0 < v?
False
Let o = 9028 - 9028.1. Let h(k) = -2*k + 6. Let v be h(5). Let z be 2/v + (-23)/2. Is z at least as big as o?
False
Let v(k) = -4*k**2 + 23*k + 2. Let q(i) = 3*i**2 - 22*i - 3. Let x(r) = 5*q(r) + 4*v(r). Let h be x(-17). Suppose 0 = 17*c - h*c. Is c at most 0.09?
True
Let s(i) = 2*i**2 + 20*i + 5. Let r be s(-9). Which is greater: r or -275/19?
r
Let j = 459 - 846. Let n = -8517/22 - j. Which is smaller: n or 1?
n
Suppose -9 = 4*c - 5*c. Suppose c = -s + 5. Let q be 1 + (-3 - -3) - 0. Which is greater: s or q?
q
Let y be 406/112 - 3/(-8). Suppose 0*i = -4*l - 4*i - 8, -2*l + y*i = 16. Let o be 3/(-6)*l/8. Which is bigger: -1 or o?
o
Let a = 8465 + -8462. Which is smaller: -3.1 or a?
-3.1
Suppose -4*f - 96 = -3*f - 5*s, f = -2*s - 68. Let i(n) = -29*n - 19. Let k(t) = -t**2 - 14*t + 97. Let d be k(5). Let y be i(d). Is f at least as big as y?
True
Let f be (-25*(-42)/1575)/((-4)/(-642)). Is f bigger than 3?
True
Let z = -131147273473/78207 + 1676925. Which is bigger: z or 0?
z
Suppose a = -0*a. Let w be ((-21)/(-66))/((-26)/(-117)). Let x = -2/11 + w. Which is smaller: x or a?
a
Let t be ((-8)/64)/(4/(-136)). Let n = 187/12 - t. Let o(z) = z**3 + 12*z**2 + 10*z. Let r be o(-11). Is r not equal to n?
True
Let y = 5571 + -5576.7. Is y <= 42?
True
Let w = 4759 - 4769. Which is smaller: 92 or w?
w
Let i(l) = -l + 8. Let k be (-20)/7*(-63)/18. Let c be i(k). Is -3 less than or equal to c?
True
Let y = -174647/9 - -19405. Let r = -0.05 - 0.09. Which is greater: y or r?
r
Let u(p) = 4*p**2 + 4*p + 4. Let n be u(-1). Suppose -c - f = n*f - 26, -20 = 5*c - 5*f. Which is smaller: -3/40 or c?
-3/40
Let x = 10373 + -10355. Is -288 greater than or equal to x?
False
Suppose -240*o - 58003 = 13757. Which is greater: o or -304?
o
Let f be (452/(-144)*11)/((-6)/48). Is f at least as big as 277?
False
Let q be 0*(3/(-4))/(15/(-10)). Suppose y - 2*y = q. Let c be (-47)/(-78) + 10/660*11. Which is smaller: y or c?
y
Suppose 2*b + 4*g = -1354 + 370, b + 480 = g. Let u = 235 + b. Are -248 and u equal?
False
Let s = -2/13525 - -2707/13525. Is -14 < s?
True
Let b be (381/(-6))/(((-323)/136)/(-19)). Which is bigger: b or 0.2?
0.2
Suppose 5*d = 189 - 634. Suppose 0 = 4*g + t - 276, 2*g - 51 = t + 93. Let z = d + g. Which is greater: z or -20?
z
Let q be 12/123*(-2)/(-8). Let x be 1443/1353 + 2/(-4)*2. Let y = q + x. Which is smaller: 1 or y?
y
Let q = -2 - -8. Let a be 4/q*(-6)/(-4). Let l be ((-144)/(-32) - 3)/(507/(-12) - -1). Which is greater: a or l?
a
Suppose 0 = -5*z + 6*z - 3. Suppose -8 = -5*t - z. Let q = -1343/5 + 269. Is q != t?
True
Let g be (-3)/1*4 - (-83 + 366). Is -294 smaller than g?
False
Suppose 3*f + 12 = 3*z + 6, 3*z - 3 = 0. Let c be (-48)/40 - (f - (-18)/(-15)). Are 2/539 and c non-equal?
True
Suppose -129*k + 5723 + 9970 + 5076 = 0. Let x = -10/437 - -140297/874. Which is greater: x or k?
k
Let n = -7997.7 + 8011. Let h = 41/4 - 10. Is h less than or equal to n?
True
Suppose 21 = -30*d + 51*d. Which is bigger: 4/773 or d?
d
Let i be (-13 + 177/9)*309/(-4). Is -511 < i?
False
Let z = -41 - 30. Let o = -72 - z. Does 16/19 = o?
False
Let n = -3050254881/11167 - -273149. Does n = 0?
False
Let x be (104/(-10))/((203/(-35) - -6)/(-1)). Let a be 4/2*440/16. Which is smaller: a or x?
x
Let c = -399161167/6034 + 66152. Let u = -289619/78442 - c. Which is greater: -4 or u?
u
Let t = -19 - 203. Let m = -218 - t. Which is greater: -1.2 or m?
m
Let l = -78.2572 + -0.7428. Is 22 at most l?
False
Let n = 320 - 318. Suppose -4*p - 100 = -c + 2*c, -5*c = n*p + 482. Is c at least -96?
True
Let l = -471 + 467. Let y be (-10)/l*(-280)/70. Suppose 0 = -v - 5, 3*f + 3*v + 20 = 5*v. Is y less than f?
False
Let g = -66745 - -66753. Let r be ((-3)/2)/(1/(-6)). Which is bigger: r or g?
r
Let k be -4*12/(-64)*((-29424)/108 + -4). Is -206 bigger than k?
True
Suppose -4*j = 2*d + 1240, -4*d = 4*j + 1845 + 647. Let c be (-60)/80 + d/8. Are -77 and c nonequal?
True
Let g = 940 - 1062. Which is smaller: -1 or g?
g
Suppose -42 = -6*p + 27*p. Let t be (-2)/(9 + -7)*p. Let m = 2.2 - 15.2. Is m != t?
True
Let f = 1.1055 - 430.1055. Is f < -0.3?
True
Let d(f) = f**3 + 33*f**2 - 339*f + 167. Let c be d(-41). Which is greater: c or 2?
c
Suppose -2*l + 160*n + 2628 = 162*n, -n = -2*l + 2631. Is 1313 at least as big as l?
False
Let o = -16987 - -16987. Which is smaller: o or -2/29523?
-2/29523
Let w = 38627 - 38724.6. Which is smaller: 0.1 or w?
w
Let k = -983/172 + 1/1204. Let i = -172/35 - k. Suppose 3 = -2*l - 1. Is l less than or equal to i?
True
Let z = -27.4 - -18. Let s = -2.6 + z. Let m = -3770 + 3769. Which is greater: s or m?
m
Suppose 2*z - 12 = -0. Let d be 5 + 2 + (2/2)/((-77)/462). Are z and d non-equal?
True
Let z be -2 + 25019112/(-2516) + 6. Let l = z - -9940. Which is smaller: 1 or l?
l
Let c = -5 + 9. Suppose 289 = -c*b + 113. Let f = -42 - b. Which is bigger: 5/9 or f?
f
Let p be 136/14*910/52. Let m be (-3)/(-24) + (-8058