 be 6 + (-62127)/(-247)*(-1)/42. Let v = b + 257/798. Is 1/34 less than or equal to v?
True
Let y be (1 - -1)*(399/(-6) + 1). Let c be (y/(-3))/(1 + (-8)/6). Does c = -131?
True
Suppose 261 = 12*d + 45. Let a(p) = 55*p**3 + 17*p + 8 - d*p - 10. Let u be a(-1). Is -56 smaller than u?
False
Let n(r) = 31*r + 624. Let j be n(-24). Which is smaller: -1308/11 or j?
j
Let v = 43/56 - -1259/56. Let j = v - 647/28. Which is smaller: j or -1/7?
-1/7
Suppose -4494*h - 402 = -4488*h. Is h > -64?
False
Let v = -3.28 - -2.11. Let n = v - -0.17. Which is smaller: n or 0.01?
n
Suppose 3*o - 16 = -b - 0*o, -5*b = -3*o - 8. Suppose b*p - 46 = -2. Suppose 3*h - 5 = -p. Which is smaller: -4/3 or h?
h
Suppose -2*i = 76 + 66. Let s be (-725)/10 + 1/2. Does i = s?
False
Let c(x) = -x**3 + 7*x**2 - 6*x - 3. Let u be c(6). Let y = u - -4. Let t be (-5 - 575/20)*936/(-702). Is t less than or equal to y?
False
Suppose 52*g - 60 = 32*g. Suppose 0 = 3*x + 3*l - 477, 0 = x - g*l - 77 - 70. Is x at least as big as 155?
True
Let w = -30 + -20. Let c = w + 24. Let x = 6 + c. Which is greater: -19 or x?
-19
Let x(y) = -6*y - 8. Let p be x(-7). Suppose 0 = -5*h - 14 + p. Let b be 6 + (2 - h) + -2. Is 1 smaller than b?
True
Let g be (-109 - -93) + 1024/20. Is 36 less than g?
False
Let h(n) = -3*n**2 - n. Let v be h(1). Let d = -27 - v. Let a be 1/(3/9) + -3 + d. Is -21 greater than a?
True
Let d(s) = -6*s**3 + 16*s**2 + 90*s - 60. Let u be d(12). Which is greater: -7045 or u?
u
Suppose -3*u + 5*p + 4 = 0, -2*u = 3*u - 5*p. Let j = 440056 + -440059. Which is smaller: u or j?
j
Let b(o) = -o - 9. Let y = -3 + -2. Let q be b(y). Let d = -45 + 83/2. Which is bigger: q or d?
d
Let z = -2108 - -2147. Which is smaller: -9 or z?
-9
Suppose 0 = -3*f - 96 - 57. Let r = -127 - -122. Let d be -18 + 22 - (-18)/r. Which is bigger: d or f?
d
Let k be ((-494)/1729)/(4/(-6)). Let q = 102/35 + -16/5. Which is greater: k or q?
k
Let d be 6/24 + -2 + 146/(-8). Let x be -2*(3 - d/(-5)). Let y be (-6)/30 - x/(-9 + -1). Is -2/83 bigger than y?
False
Let p(a) = -87*a + 21. Let v be p(-5). Suppose -14*f + 2*f = v. Does -1 = f?
False
Let x = 40844/451 + 782/41. Which is bigger: x or 110?
110
Let x = 0.217 + 569.783. Is x greater than or equal to -0.1?
True
Suppose 281*a - 276*a = 7*p + 21138, -3*a + p = -12654. Which is smaller: 4211 or a?
4211
Let x = -118 - -57. Suppose -636 = -12*d + 10*d. Suppose 4*c - d = 5*p, -p - c - 56 = 2*c. Which is smaller: p or x?
p
Let b be (-67251)/51417 + 1/3. Which is smaller: 0 or b?
b
Let c(o) = 30*o**2 - 6 - 22*o**2 - o**3 - 16*o**2. Let m be c(-8). Let z = 2552/5 + -515. Which is greater: m or z?
z
Suppose -3*t + y = -151, -4*y = t + y - 45. Let n(s) = 2*s**3 + 2*s**2 - 9*s - 2. Let j be n(3). Let k = j - t. Which is smaller: k or 4?
k
Let h = -34.6 - -13.9. Let u = -13 + 12.3. Let g = h - u. Which is smaller: -1 or g?
g
Let n = 78 + -51. Let u = -27.4 + n. Let v = u - -0.3. Which is smaller: -14 or v?
-14
Let u = 0.12873 - -0.02627. Suppose 2*g + 4 = -2*g. Is g at most as big as u?
True
Let i(h) = -4*h**2 - 56*h - 181. Let a be i(-5). Which is bigger: 33/298 or a?
33/298
Let f be (-3)/2*(-112)/84. Let a = 10 + f. Which is greater: a or -19?
a
Let m = 22 + 137. Suppose 2*c = w + 79, -6*c + 2*c + 3*w = -m. Let i(b) = -2*b**3 + 3*b**2 + 63*b - 14. Let j be i(6). Which is greater: j or c?
j
Let s = 11199.892 - 11200. Which is smaller: -56 or s?
-56
Let q = 731/54 + -244/27. Which is greater: 0.098 or q?
q
Suppose 0 = 4*u - u + 120. Let p = u + 46. Suppose p*n - 6 = -6. Is n < -2/11?
False
Let u = 12307 + -12307. Let o = -1613/238920 + 1/1448. Is o > u?
False
Suppose 3*r + 4*u - 838 = 0, -5*r - u - 2*u + 1404 = 0. Let q = -258 + r. Does q = 73/3?
False
Let c(d) = -d + 35. Let w be c(0). Let m be ((-9)/15*(-32)/12)/(152/3420). Which is bigger: w or m?
m
Let i be (-1*72/63)/((-2)/3983). Is -0.1 != i?
True
Let h(d) = -d**3 - 6*d**2 - 5*d - 21. Let g be h(-4). Let w = 133 + g. Is 100 != w?
False
Let m = -208 + 207. Let p be (-70)/50*-5*1 - 1. Suppose -4*o = 2*o + p. Is m greater than o?
False
Let g be -27 + (-1)/((-120)/3260). Does g = 2770?
False
Let v be 11 - ((-221301)/(-17023) + -2). Are v and 0 equal?
False
Let x = 1/9 - 4/9. Let h = -460 + 470. Suppose -5*z + u = -h, -z + u + 7 = z. Is x > z?
False
Suppose -4*w = -12 - 1484. Is w bigger than 374?
False
Let d = -11504/32241 + -20/2931. Suppose -5*r = -5*s, -r + s + 15 = 3*r. Is r at most as big as d?
False
Suppose -246*n + 17*n = -36*n + 457603. Which is smaller: n or -2370?
n
Let o = -16115 + 16850.7. Let h = o - 736. Which is bigger: 15 or h?
15
Let t be 2/(-5)*(-103 - -3). Suppose 0 = 6*h - t - 50. Let d be 10/h*(-18)/7. Are -0.1 and d non-equal?
True
Suppose l - 5*c = 5, 5*l - 2*c = -6*c + 25. Let t = 0.0746 - -7.9254. Are l and t nonequal?
True
Let m = 239.91 + -136.91. Is 11 less than or equal to m?
True
Let y(b) = -13*b + 8*b - 2*b**2 - 50 + 0*b**2 - 37*b. Let p be y(-20). Does 7 = p?
False
Let w be 78/(-156) - 2/(-4). Let i be (-2 + 102/45)/(42/(-15)). Which is smaller: i or w?
i
Let a = 0.75 - 3.25. Let g = a + 2.5. Let u = -27 + 26. Which is smaller: u or g?
u
Suppose 3*i = -2*u - 20, u + 7*i - 17 = 10*i. Let r be (-2)/(-6) + 73/(-273). Is r >= u?
True
Let k = -38/25 + 144/325. Let g be ((-36)/(-3))/36*3. Is g greater than or equal to k?
True
Let w = -0.296 - -0.001. Let t = w + -0.775. Is 1/2 < t?
False
Suppose 3*z = 7*z - 28. Let m(p) = 2*p**2 - 15*p + 10. Let i be m(z). Suppose 0*n - w = -2*n - 9, i*w - 3 = 0. Which is greater: 2 or n?
2
Let t = 1.73653 - 71.35953. Let z = -0.377 + t. Is z less than 0.2?
True
Let p be (-14)/10 - 9/15 - 144500/51. Which is bigger: p or -2836?
p
Let m be (-18)/(-45) + 1191/(-3040). Let u = -1/224 + m. Is u != 1?
True
Let a(d) = -d**2 - 9*d + 6. Let q be a(-6). Let o = 9.65 + -10.6. Let l = -0.85 - o. Which is bigger: l or q?
q
Suppose 5*f - 15 = 2*m, 4*f - 4*m - 8 - 4 = 0. Let a = 49/1384 + 21207/6920. Which is bigger: f or a?
a
Let n be (224/(-16))/(-28) + (-43)/(-2). Let t be (-12)/(-7) + (-4)/(-14). Suppose -4*b = -t*b - n. Is 10 at most b?
True
Let p = 22116 - 20988. Is p greater than or equal to 1128?
True
Let o be 1151*(-1)/(-20)*-4*50/80. Are o and -145 non-equal?
True
Let a = 29/296 - -1/37. Let f = 5257/5 + -1051. Which is greater: a or f?
f
Let u(x) = 5*x**3 + 7*x**2 - 24*x + 36. Let g be u(10). Which is smaller: 5494 or g?
5494
Let q(t) = -2*t + 3. Let j be q(2). Let g = -3145 + 330227/105. Which is bigger: g or j?
g
Suppose 2*n + 16 = n. Let y = 61367 + -61367.9. Which is smaller: y or n?
n
Let w = -4806 + 4797. Which is smaller: w or -250/31?
w
Let d(i) = -i**2 + 8*i + 12. Let k be d(9). Let y be ((-504)/49)/(k/(-14)). Let g be -4*((-7191)/(-36))/(-17). Which is smaller: g or y?
g
Suppose 2*w - 25 = 105. Let l = w - 66. Which is greater: 2/471 or l?
2/471
Let r = -618 + 3447/5. Is 70 at most r?
True
Let r be (-25 - (1 - 0))/(-1). Suppose 0 = -3*v + v - r. Let u(n) = -2*n**3 + 11*n**2 + n - 56. Let m be u(3). Are v and m unequal?
True
Suppose 3*r - 208 = l, -r - 2*r = 0. Let s = 209 + l. Which is greater: -6/49 or s?
s
Suppose -643 = 4*b - f, -2*f + 131 = -b - 42. Suppose -5*a = -3*h - 306 + 1108, 4*a + 3*h = -620. Is a smaller than b?
False
Let u = -15422315/1131 - -13636. Which is bigger: u or 1?
1
Suppose -8*g = 2*g - 2020. Suppose -g*c = -188*c - 2422. Are c and 173 equal?
True
Let g(z) = 4*z - 22. Let q be g(6). Suppose 11*h - 78 = -q*h. Suppose 0 = -5*x + 5*j - 10, -h*x = -2*x + 2*j - 10. Are 1/88 and x unequal?
True
Let o be 106/(-12) + 1 + 2/(-12). Let p be 351962/(-147) + ((-378)/49 - o). Let g = 2394 + p. Is 0 not equal to g?
True
Let k be 8*-2*18/(-16). Let y(x) = x**3 + 5*x**2 - 13*x + 21. Let w be y(-7). Suppose -48 = w*n - 18*n. Is k >= n?
True
Suppose 113*a - 1789 = -6196. Is a at least as big as -41?
True
Suppose 19*c = 978 - 180. Let z be 3/c*-4 + 14/49. Which is smaller: z or -2/371?
-2/371
Let a(l) = l**3 + 35*l**2 + 52*l + 178. Let z be a(-28). Is 4210 smaller than z?
False
Let g be (-7)/(-7) - (3 - 5). Suppose 3*j - g = 6. Suppose 3*n = -j*n - 6. Is n > 18?
False
Let q = -63608474229/191450 + 120906057/350. Let r = q - 13200. Is -1 at least as big as r?
False
Let t be ((-2)/25)/((-122)/3660). Does t = 8/85?
False
Let s(o) = -o**3 + 2*o**2