 x. Which is bigger: 0 or i?
i
Let w = 4 - 5. Let f be -1 - ((-420)/64 + 4). Let r = f - 659/432. Is w bigger than r?
False
Let u be (-1)/(-2) + 1281/(-18). Suppose -44*x - 1335 = 1789. Which is smaller: u or x?
x
Let t = -79.718 + 80. Let r = 0.282 - t. Is r <= 423?
True
Suppose -5*d + 118 = 38. Which is smaller: d or -15/2?
-15/2
Let x = 1593.77 - 1596. Which is smaller: x or 8?
x
Suppose -222 = -3*b + j, j + j = 2*b - 152. Suppose -4*p = -13 + b. Let w be 20/p*2/(-8). Which is greater: 0 or w?
w
Suppose -8*n - 4*r + 234 = -6*n, -3*n - 2*r + 335 = 0. Suppose n + 35 = -12*o. Let t = 1.2 + -1. Is t bigger than o?
True
Let z = -229009/12 - -19097. Let q = 38/3 - z. Is q > 0.9?
False
Let k = -119 + 118. Let v be -3*(-10)/(-15)*-12. Let q = v + -1. Which is smaller: k or q?
k
Let h be (-2)/6*(-201 + 2127). Which is smaller: -640 or h?
h
Let c(b) = b**3 + 2*b. Let d(s) = -13*s**3 + 2*s**2 - 12*s - 6. Let j(l) = -6*c(l) - d(l). Let z be j(-2). Is z <= 2/5?
True
Suppose 3*h + 3*a = -15, 5*a = 2*h - 8 - 17. Which is smaller: h or 1/3393?
h
Let n be (-2)/(-6) + -1*21/9. Let k(u) = -23*u**2 - 7*u + 2. Let v be k(n). Is -74 > v?
True
Let f = -106/11 - -793/88. Suppose 23*l - 3*l - 80 = 0. Suppose -l*m = 10*m - 2*m. Which is smaller: m or f?
f
Suppose -54 - 51 = 3*m. Suppose -3*t - 2*t = l - 35, 5*l = 2*t - 14. Let w be 78/(-2) - (4 - t). Which is bigger: m or w?
m
Let y(m) = -16*m - 127. Suppose 56 = -7*t - 0*t. Let u be y(t). Let w = -942 - -88547/94. Is u at most w?
False
Let s be -1 - -1 - (-91)/(-156). Let r = s + 379/660. Which is bigger: r or 1?
1
Suppose 2 = f, 5*r - 2*f - 34 - 47 = 0. Suppose r*i - 60 = 5*i. Are i and 0.03 equal?
False
Let b(s) = 6*s**2 + 29*s + 6. Let a be b(-14). Suppose -v = 202 - a. Is v less than or equal to 0.1?
False
Let y = 2341557/154 - 15205. Which is smaller: y or 0.1?
y
Suppose -12*h = 16*h - 84. Suppose h*i = 3, 2*c + 36 = 5*i - 83. Which is smaller: c or -58?
-58
Suppose -35*v = 1562 - 1282. Is -358 >= v?
False
Suppose f + 7*f = 16. Suppose 0 = 3*r - f*r + 3. Let y be (-3 - -5) + 125/(-20). Which is smaller: r or y?
y
Let u(l) = -78*l - 5194. Let a be u(-69). Is a equal to 184?
False
Let l be 28 + (8/(-36) - (2 + (-141)/27)). Let f = 0.04 - 0.44. Which is greater: l or f?
l
Let w(c) = -2*c**2 - 34*c - 61. Let v be w(-15). Let r be 3906/216 - v/4. Is r less than or equal to -1?
False
Let q = -16619 - -49858/3. Let p be ((-3)/116)/(135/(-80)). Which is greater: q or p?
q
Let u be 1/(-1) + (-14)/(-13). Let z = -430 + 440. Let b(q) = q**3 - 19*q**2 + 91*q - 11. Let a be b(z). Which is smaller: a or u?
a
Let k be (-1)/(-6) - 9348/(-72). Let m be 6 + (805/k)/(-1). Do 1 and m have the same value?
False
Let l = -917/17 + 3651/68. Which is bigger: 0.0647 or l?
0.0647
Let g = -51 - -84. Suppose -17 = 4*c + 5*n - 0, 0 = -4*c + 5*n + g. Is c at most 0.23?
False
Let u = -25016 + 29640. Is u < 4627?
True
Suppose -6 = -4*u - 5*o, -2*u = u + o + 1. Suppose -3*x = -0*x - 12. Let i be (-4)/(-64)*25 - x/2. Which is smaller: i or u?
u
Let f = -97538284/6155 - -15847. Is 1 < f?
False
Let s be (2/(-4))/((-7)/(-4)). Let z be (-2)/(-9) - (-4585)/63. Suppose -3*o - z = -55. Which is greater: s or o?
s
Let k be (14/(-28) + (-329)/54)*(-18)/(-15). Which is bigger: -8 or k?
k
Let n be 1435/(-63)*(147/30 - 5). Which is bigger: 1 or n?
n
Suppose 4*w = 5*v - 2549, 5*w = 4*v + v - 2550. Are v and 506 non-equal?
True
Let s = 44234/1809 + -472/67. Is s > 17?
True
Let d(l) = 35*l + 19. Let q be d(-15). Let h = 229 + q. Is h != -278?
True
Suppose -5*r + 4*h + 4 = 0, 4*h = -5*r + 22 + 14. Let o be 2 + 85/(-30) - r/(-12). Is o at most -155?
False
Let g = -156.76 - -1.76. Let q = 156 + g. Which is smaller: q or -4/33?
-4/33
Let t = 1.1 + -1.3. Let b = -175 - -226. Is t > b?
False
Let i = 29719/2 + -14859. Is i at most as big as -0.1384?
False
Let u = 28557 - 28559. Which is smaller: -147/82 or u?
u
Let m(s) = s**3 - 11*s**2 + 5*s + 51. Let b be m(10). Suppose 1 = -n + 7. Let u be n/6 + 46/(-32). Which is greater: u or b?
b
Let b = 595/2 - 296. Let w = -57/14 + b. Is w greater than or equal to -2?
False
Let r = -1960 + 137217/70. Let a = r + -479/2030. Is a at least as big as 0?
True
Let a be (-2 - 1) + 0 + 0 + -2. Let c be (-2 - -52)/a + (5 - 3). Suppose -3*x - 23 = o - 2*o, 18 = -2*x + 2*o. Is x less than c?
False
Let w be -5 + 12/8*10. Let r(z) = -9*z + 91. Let u be r(w). Is 20/21 >= u?
False
Let b(n) = -2*n**2 - 15*n - 15. Let o be b(-6). Suppose -5*y + o*r + 5 = -8, -r - 11 = -3*y. Let w be 4/(-46*y/(-10)). Is 1 bigger than w?
True
Suppose 191*r - 170*r + 42 = 0. Let v be (-5 - (3 + 0))*3. Is v greater than or equal to r?
False
Let l(k) = k**3 + 7*k**2 - 31*k - 10. Let a be l(-10). Suppose -461*g + 465*g = a. Which is bigger: -2/133 or g?
g
Let g(c) = c**3 - 4*c**2 - 8*c + 11. Let l be g(4). Suppose 5*m = -25 - 75. Which is smaller: m or l?
l
Suppose 0 = 200*j + 19521 + 38279. Which is greater: -286 or j?
-286
Suppose -4*b - p = -7*b + 600, -3*p + 170 = b. Is b != -2?
True
Suppose 22*c - 74 = 10*c - 62. Is c <= -1/5714?
False
Suppose 0 = 2*w + 30*a - 32*a + 12, 22 = -4*w + 3*a. Which is smaller: 629 or w?
w
Let d be (-2954)/(-70) - 1/5. Let g = 83/2 - d. Which is bigger: g or -156?
g
Let n(s) = 2*s**2 - 36*s + 4. Suppose -w = -16*w + 90. Let i be n(w). Is i < -142?
False
Let p be (4/9)/(490/(-315)). Let b be (-4)/6 - (-2)/(-6). Is p at least b?
True
Suppose -3*u + 12 = -3*z, 3*z = -5*u - 7 + 27. Let d(r) = -22*r**3 + 3*r**2 - 7*r + 8. Let w be d(3). Let k = w + 7538/13. Is z equal to k?
False
Suppose 519542 + 870353 = -257*f + 14945. Does f = -5351?
False
Let o be (9/5550*5)/(18/(-15)). Let b = -1.06 - -0.06. Which is bigger: o or b?
o
Let p = -335 + 2. Which is greater: -326 or p?
-326
Let o = 55 - 9. Let a = o + -45.6. Let b = 12.6 + a. Are b and 1 unequal?
True
Let f(n) = 4*n**2 + 47*n - 7. Let y be f(-12). Suppose y = 5*v + 4*t - 0*t, 0 = 2*v + 5*t + 15. Do v and 0 have different values?
True
Let z(s) be the third derivative of s**5/60 + 5*s**4/8 + 7*s**3/3 + s**2. Suppose -322*k = -349*k - 405. Let x be z(k). Which is bigger: 16 or x?
16
Let z(h) = h**2 - 9*h - 19. Let l be z(-4). Let p be (l/(-4))/(14/56). Do -31 and p have the same value?
False
Let a = 60/701 + 744803/4206. Is a not equal to 177?
True
Let b = -109 + 105. Let f be 1548/153 + -6 + b. Is f greater than or equal to 0?
True
Let u = -62575 + 63396.01. Let v = 821 - u. Which is smaller: v or 5/7?
v
Suppose 1 = -z, z + 8 = 2*l - z. Suppose 240 = -l*a + 7*a. Suppose a = 6*i - 2*i. Is i equal to 15?
True
Let h be (-22)/(-242) + ((-15)/(-6) - (-1107171)/(-427482)). Which is bigger: -1/2 or h?
h
Suppose -175*q - 176*q = -355*q - 1284. Let f = 360 - 682. Which is greater: q or f?
q
Suppose -9 = x - 19 + 34. Which is greater: -436/19 or x?
-436/19
Suppose -4*i = 3*i. Let x be i/((-2)/(-1) + 1). Let l(q) = -3*q + 13. Let m be l(x). Is 15 > m?
True
Let c = -2 - -1.9. Let b = 0.11 + -0.039. Let f = b + -0.371. Does c = f?
False
Suppose -117 - 78 = -5*y. Suppose 4*o + 2*z + 15 = y, o - 16 = 2*z. Let b be 3 - o*5/15. Which is greater: 5 or b?
5
Let x be 1/(-2 + 34/16 + 0). Let c(w) = w**2 - 8*w + 8. Let o be c(x). Let a be (-11)/30 - o/(-12). Which is greater: a or -1?
a
Let a = -12.6 - -2.6. Let g = a + 25. Let b = 542 - 540. Does g = b?
False
Let v be (-5006)/(-19960) + -3*8/96. Which is smaller: 1 or v?
v
Suppose x = 75 - 64. Suppose -24*s = -x*s. Which is smaller: s or 1/254?
s
Let z be 36524/9132 + 1806/(-441) + 4/42. Which is bigger: -1 or z?
z
Let o = -30.374 - -30.32. Is 8 less than o?
False
Let c = -5281 + 5134. Is c <= -10/13?
True
Let k(a) = -79*a - 1. Let t be k(-1). Suppose 51 = 3*p + 4*i - 7*i, 5*p + 2*i - t = 0. Is p smaller than 17?
True
Let o = -118 + -22. Let w be ((-2)/(-28))/(7/o). Let f = -9 - -8. Is w less than f?
True
Let w = 1718 - 4720. Is -3002 bigger than w?
False
Let n be 2/10 + (-24)/20. Let f = 879 + -77353/88. Which is smaller: f or n?
n
Let u be (-7)/((-441)/342) + -9 + 3. Is u at most 464?
True
Let g = 4221 - 4221. Is g > -5/66?
True
Let h = 25 - 19. Let x(b) = -3*b - 11. Let r be x(h). Is 0 >= r?
True
Let c be 10827/45 + 8 - (-4)/10. Let u = -211 + c. Is u greater than -4?
True
Let u = 1139354/49 + -23252. Suppose 0 = 6*h - h. Let t be h/(3/(-9)*-3). Is t 