42*v**2 - 112*v**2. Let l be n(-10). Suppose 4*t + 44 = 2*x, -t - 45 = -5*x - l. Which is smaller: t or -10?
-10
Let c = 73 + -58. Suppose -b + c = -4*b. Let o be 20 - (b + 1)/2. Is 1 less than or equal to o?
True
Suppose 51*d + 35*d - 1642026 = -120*d. Which is smaller: 7968 or d?
7968
Let p(s) = -s**3 + 7*s**2 - 7*s + 9. Let b be p(6). Let t = 45 + b. Let v(g) = 96*g - 1296. Let k be v(14). Is t at least k?
True
Let c = -5644 + 5643.9858. Is c <= -4/9?
False
Let m be 6/(-15)*(-4 + -91). Is 46 greater than or equal to m?
True
Suppose 3*u - 974 = -t, -5*t - 315 = -u - 1. Are u and 331 non-equal?
True
Suppose 22 = 3*n + 5*t, 0*n - 3*n = -5*t + 28. Let l be (n - (-882)/897)*-9. Let k = 7/23 - l. Which is greater: k or -2/3?
k
Suppose z + 66 - 78 = 0. Suppose 13*l - 12*l = -z. Is -105/8 bigger than l?
False
Let p = -2811 - -4145. Is 1332 bigger than p?
False
Suppose 10*t - 43 = 9*t - 11*v, 0 = t + v - 3. Let w = 10 - 14. Let b be (-2)/w*(-44)/143. Is t less than or equal to b?
True
Suppose -8*o - 44033 = 27*o + 57502. Is o at least -2901?
True
Suppose 0 = 16*j - 48*j - 288. Is j greater than -310/37?
False
Suppose -14*x = -x + 2652. Let d be 10/(((-50)/(-205))/(-5)). Which is greater: d or x?
x
Let u(s) = s**3 + 55*s**2 + 133*s + 177. Let m be u(-51). Does m = 34180/9?
False
Suppose i - 33 + 10 = 0. Suppose -o = -2*o - i. Let n = o - -25. Is -17 bigger than n?
False
Let y = -0.05564 + 0.00564. Is y greater than -1?
True
Let l(r) = 39*r - 1275. Let v be l(40). Which is bigger: v or 280?
v
Suppose r + 2*k = -r + 62, 0 = -2*r - 4*k + 72. Let x = 14 - r. Let s be x/(-69)*(-8)/16. Do 1 and s have the same value?
False
Let x = 1469 + -434. Suppose 4*i - 3*y = -x, 2*i + 3*y + 490 = -y. Which is greater: -254 or i?
-254
Suppose 0 = -3*z + 4*y + 23 - 2, -25 = 7*z + 3*y. Which is greater: -3/9916 or z?
-3/9916
Let t be 1382/5*(-350)/(-504). Let y = -192 + t. Do y and 0 have the same value?
False
Let q be -4 + 1392/(80/(-35) + 2). Which is greater: -4874 or q?
-4874
Suppose -4*d - 5*p - 784 = -0*p, 3*d + 3*p = -588. Let x = 46 - d. Is x greater than or equal to 242?
True
Suppose -6*h = -5*t - 2*h - 10, -4*h = -20. Let m be (t + 2 + -1)*(-224)/21. Is -32 bigger than m?
False
Let q(m) = 265*m - 7. Let j be q(0). Is -210/31 at least j?
True
Let w = 42 - 42.5. Let y = -0.67 - w. Let j = 0.27 + y. Which is smaller: -44 or j?
-44
Let b be (-6)/130 - (-2)/10. Let k = 23 - 21. Let s be (-5)/k + 72/(-48). Is b greater than s?
True
Let x be 2182/(-22) + -2 + 1. Let z = x - -100. Let v = -14378 + 14378. Which is greater: z or v?
v
Let y = 10.78 + -3162.78. Which is smaller: y or 1?
y
Let o = 16204 + -16944. Which is bigger: o or -8/3?
-8/3
Suppose 0 = -46*j + 47*j - 6. Suppose -4*w = -16, 0*c + 3*w - 18 = -c. Are j and c nonequal?
False
Let t = 30116 - 37879. Is t less than 2?
True
Let r be 515/15 + -7 - 4/12. Which is bigger: 5 or r?
r
Let g = -8.447 + 8.567. Which is greater: g or 121?
121
Let v be (-6)/(-9) + 158/6. Suppose 4*l - 9 - v = 0. Suppose -l = -4*i + 23. Is 8 > i?
False
Suppose -88*n = 38*n + 391552 - 17962. Which is smaller: n or -2966?
-2966
Let j = -12207 - -53723006/4401. Is j at least as big as -1?
True
Let z = 2 - 1. Let b = 2608 + -2611.418. Let c = b + 0.418. Which is smaller: c or z?
c
Let j be (-188)/987*(3 - (-284)/(-96)). Let m(f) = -f + 12. Let z be m(9). Suppose z*i = 2 + 1. Which is greater: j or i?
i
Let a = 97 + -98. Let y(s) = 10*s**2 + 3*s + 0*s - 1 + 10*s**2 - 23*s**2. Let j be y(1). Is a at most j?
True
Let l = -1940.01 + 1941. Which is greater: l or -6?
l
Let d be 30 + -50 + 8 + (-3248)/(-273). Let f be (-2 + -1)*(-2)/(-3). Let n = -3 - f. Is n at most as big as d?
True
Let a(o) = -29*o**2 - 4*o - 8. Let m be a(-2). Let r be ((-1)/m)/((-2)/4). Which is greater: r or 0?
0
Let n be 2/(-2)*(-3 - (2 - 60)). Let v = n - -49. Let r be (-56)/42 - 2/v. Is r > -2/15?
False
Let o be (-81000)/1152549 - 2/(-27). Let m = -1465/30566 - o. Suppose f - 5*f + 4 = 0. Is f at least as big as m?
True
Let k be (-4)/(-14) + 48/(-266). Let g = -564/7 - -41743/518. Let u = g - -109/148. Which is smaller: u or k?
k
Let q be 5/(-13)*-21*(-12)/1407420. Are 0 and q equal?
False
Let o be 12/13 - (21 + -6 + -12). Which is smaller: 1 or o?
o
Suppose 18 = 8*n - 6*n. Let p(l) = -4*l**2 - 4*l**2 - 4*l - 5*l + n. Let x be p(2). Are -40 and x equal?
False
Let i be (-116)/(-80) + (-5)/25. Let a = 403.1 - 423. Let x = -20 - a. Which is smaller: i or x?
x
Suppose -y = 2*i - 1, -4*i + 7 = y - 0. Suppose 0 = -i*v + 2 + 4, -28 = 5*m - 4*v. Let c = -15 - m. Which is smaller: c or -13?
-13
Let g(b) = 11 + b + 3*b + 3*b. Let q be g(-2). Let i(m) = 2*m**3 + 7*m**2 + 9*m + 17. Let h be i(-3). Which is greater: q or h?
h
Let q = -20653 - -20661. Is q < 1849?
True
Suppose -4*h = -3*a - 4058, a + 1216 = 4*h - 150. Which is bigger: a or -1347?
a
Let j be 111/(-1036)*98/(-276). Is j at least -1?
True
Suppose -5*q + 12 = -4*x, 5*q = 4*q + 3*x - 2. Suppose 5*p - 6*p - 1 = -s, 2*s + 4*p = -q. Let v = 4061/1634 - 47/19. Is v less than s?
False
Let v be (-3)/(-63)*-10853 + (-10)/35. Let p = v - -517. Suppose 8 = n - 2*x, 4*n - 6 = 3*x + 6. Is p at most n?
True
Suppose -10*i - 138 = 13*i - 2806. Which is bigger: 2/43 or i?
i
Let w = -64.64 - -58. Let r = 0.36 - w. Let y = -3 - r. Do -2 and y have different values?
True
Let k = 21501 - 21501. Which is smaller: 10/463 or k?
k
Let s be 2/(-3 + 96/30). Suppose 3*r = 7*r - 4*u - 12, 2*r - s = -2*u. Let b be 0 + -2 - (-99)/15. Is r less than or equal to b?
True
Let n = 18030 + -18077.59. Which is greater: 1/2 or n?
1/2
Let g be ((-24)/18)/1*12. Let s be -4*(-2)/g - (-1)/(-2). Is 2/803 smaller than s?
False
Suppose -622 = -d - 118. Suppose z - d = -514. Which is smaller: -9 or z?
z
Let f be 7 + (-159)/23 - (-28584)/(-207). Is f != -410/3?
True
Let r(d) = 90*d**2 - 50*d + 69. Let w be r(3). Is 733 at most w?
False
Suppose -12*n - 54547 = -11275. Let q = n - -140624/39. Which is smaller: q or 0?
q
Let i be -3 - (-2 + (-12)/(-8))*-102. Suppose -29*b = -24*b - 25. Suppose -b*s = 174 + 101. Is i at most s?
False
Let s = -301 - -204. Let i = 138 + s. Let z = 42 - i. Which is smaller: -23 or z?
-23
Suppose -x - 4*x - 420 = 5*c, c - 3*x + 48 = 0. Suppose -n + 2*n + 76 = 0. Do n and c have the same value?
False
Let i be 28/(-84) - 1/(2/12540). Which is smaller: -6269 or i?
i
Suppose 1167 - 1131 = 9*a. Let m be (-12 - -12)/(a - 2) - -3. Which is smaller: m or 16/7?
16/7
Let f be (-1)/((-9)/3) + (-32)/6. Let x(u) = u**3 + 4*u**2 - 3*u + 4. Let n be x(f). Let t be (21/n + 2)/(4/(-8)). Which is smaller: t or 5?
t
Let b = 3556 - 3555.96. Let h be -1 - 4/(-2 + 1). Which is greater: b or h?
h
Let x be ((-8)/(-5))/(10/26450). Suppose w - 5283 = 5*l, -3*w + 5*w + x = -4*l. Let h = l - -104644/99. Is h at least as big as -1?
True
Suppose 25*t - 51 = 7*t - 33*t. Which is smaller: t or -1/824?
-1/824
Let i(u) = -4*u**3 - 40*u**2 + 4*u + 39. Let y be i(-10). Let o = 8243/11 + -750. Which is greater: o or y?
o
Suppose -4*r + 0*r + 24 = 0. Suppose 36 + 12 = -12*c. Do c and r have the same value?
False
Let z = -85.599 + 0.799. Let p = -37.7 - z. Let n = p + -47. Is -1/135 != n?
True
Let w = 6628 - 6628.07. Is 51/11 at most as big as w?
False
Let v = -0.08 - -24.08. Let f = v - -4. Let w = f + -27. Which is smaller: 14 or w?
w
Let s = 440.284 + 2.716. Do s and 0.2 have the same value?
False
Let f = -396 + 397.27. Let l = f + -4.97. Which is smaller: -1 or l?
l
Let r = 14 + -17. Let a = -17 + 6. Let x = r + a. Which is greater: -13 or x?
-13
Suppose 4*z - 2*u + 272 = 0, -5*z - 2*u - 334 = -6*u. Let y = z + 80. Is y >= 78/7?
False
Let p be 30/(-135) + 13046/(-18). Is -723 less than or equal to p?
False
Let h be (-678)/(150/(-84) + 8/28). Which is greater: h or 2/7?
h
Let w(t) = 0*t**2 - 13*t**2 + 11 - 2*t + t**3 + 3*t**2 + 11. Let g be w(10). Suppose 0 = -g*p - 2*f, 3*f = -2*p + 1 - 0. Is p at most as big as 3/7?
True
Let x = -997.6 + 1000. Let u = 33 + -30.7. Let k = x - u. Which is bigger: -0.001 or k?
k
Suppose 5*g + 15 = 20. Let i be 16/(-20) - (g/5 + -1). Is i at most 4?
True
Let c be (15 + (-282)/20)*8/18. Is c >= 0.84?
False
Suppose 137 + 34 = 3*p. Suppose 0 = -2*v + 4*v - 5*b - 106, -3*v = -5*b - 164. Let k = v - p. Is k equal to -2/21?
False
Let m(a) = a**2 - 1