et r = 19225 - 19226. Let w be (-5)/7*4/(-15). Are r and w unequal?
True
Let a = -134 + 134. Suppose -4*y - 4*h + 2583 - 967 = 0, 2*h = 3*y - 1187. Let n be 195/y - 4/(-28). Is n at most as big as a?
False
Let l = 376.269 + -376. Let c = 124.269 - l. Let d = 123 - c. Which is bigger: d or -1/7?
-1/7
Let x = 106/103 + -957/1030. Let p = 0.07 + -0.14. Which is bigger: p or x?
x
Let y = -70 + 45. Suppose 2*c + 5*z = 5*c + 62, -2*z + 116 = -5*c. Which is bigger: c or y?
c
Let y(p) = -p**3 - 21*p**2 - 33*p + 32. Let o be y(-21). Suppose -o = 10*n + 755. Which is smaller: -149 or n?
-149
Let g(y) = -y**3 + 8*y**2 - 9*y - 19. Let a be g(6). Let k be a/3*(-5 - 20 - 5). Let d be -32 - (-9)/(45/k). Is -28 at most d?
False
Suppose 721 + 1169 = -50*d - 76*d. Which is smaller: d or -118?
-118
Suppose -37*v + 4146 - 18798 = 0. Let h be (-2)/(-6) + 204/v. Let l(c) = c**2 - c + 7. Let m be l(0). Is h > m?
False
Suppose -4*a = -a. Suppose 8937*r + 17622 = 9003*r. Are a and r equal?
False
Let h = 54 + -91. Let k = -71 + 32. Let f = h - k. Which is bigger: f or -4/5?
f
Let r(w) = 2*w**3 + 4*w**2 - 2*w + 11. Let c(j) = 25*j + 95. Let k be c(-4). Let v be r(k). Is v at most as big as -130?
False
Let q = -259 + 266. Suppose -16*r = -q*r - 45. Which is smaller: r or 0?
0
Let b be (-6)/(-4)*14/(3 - 0/(-2)). Is b less than or equal to 21?
True
Suppose -9*z + 6*z = 252. Let n = z - -97. Suppose 0 = -2*c - 3*c - 3*y + 82, 4*c - 36 = 5*y. Is n at most c?
True
Suppose 4*d = -4*c + 27 - 39, -c = 4. Do d and 3/878 have the same value?
False
Let b = 28956 - 4401355/152. Let o = b - -3/8. Which is bigger: 0 or o?
o
Suppose -3*q + q = 0. Let g(u) = -u + 31. Let n be g(7). Let w = -26 + n. Is q less than w?
False
Let h = -45 - -65. Let u(l) = -l**3 + 21*l**2 - 21*l + 19. Let v be u(h). Let z be -1 + (-1)/v - (-8)/(-16). Is z != 0.065?
True
Let u = -2214 - -2215. Which is greater: u or 3/6557?
u
Let t = 738 - 2924. Which is smaller: -2185 or t?
t
Let p = -0.9267 + 0.6267. Let j = 0.18 + -15.18. Which is smaller: p or j?
j
Let q(g) = 3*g**3 - 9*g**2 - 29*g - 13. Let h be q(-6). Let m = 26761/33 + h. Let w = -0.6 - -1.6. Which is smaller: w or m?
m
Suppose l = -2*s + 8, -3*s + s = -2*l - 14. Let k be 9/(-60)*-4 + (-122)/(-5). Let m = -22 + k. Which is smaller: s or m?
m
Let l = -0.056 + 0.093. Let z = -0.937 + l. Let r = z + 1. Which is smaller: r or -33?
-33
Suppose y = r - 7 - 9, 2*r - 12 = y. Let u be 238/(-170) + 2/y*-4. Which is greater: u or -3/154?
-3/154
Let q be 34/(-187) - (-20)/(-11). Let w be (-6)/39 - (41/(-13) - q). Which is bigger: -1/351 or w?
w
Let x = 110 + -111.58. Let d = 0.0283 + 1.7717. Let g = d + x. Which is smaller: 0 or g?
0
Suppose 3*m = -2*x - 292, -m + x + 454 = 553. Is -110 smaller than m?
True
Suppose 0*f - 24*f = 840. Let t = -217/6 - f. Let m be ((-1 + 5)/2)/1. Is m at most as big as t?
False
Suppose -6*m + 5*m - 5*v + 14 = 0, 2*v = -5*m + 24. Suppose -m*j = 2*k, -5*k = -4*j + 33 + 37. Suppose 3*i - x = -29, i + 2*x + 13 = 3*x. Is k > i?
False
Let u = 477.637 + -480. Let i = 0.363 + u. Are 51 and i unequal?
True
Suppose 0 = -5*n - i + 1986, -3*n + 2*i + 111 = -1091. Which is smaller: n or 400?
n
Let d = -724675700 - -482628872015/666. Let b = d - -7724. Which is bigger: b or 1?
1
Let i = 169 - 108. Let m = 12 + -14. Let h be m*(-6)/(-36) - 0. Which is smaller: i or h?
h
Let q be ((-8)/(-32))/((-3)/(-24)). Suppose -3*o = p + 2*p - 279, 0 = o - 4*p - 78. Let b be q/(-320)*-101 - o/150. Is 0 at least b?
False
Let q = 77 + -107. Let r = -24 - q. Let p be (-3)/(-30)*3*r/(-9). Which is smaller: p or -1?
-1
Let o be ((-3 - 5 - -4) + 5)*3. Suppose -129 + 66 = o*x. Suppose -3*t = -0 + 66. Which is bigger: x or t?
x
Let d be 10/4*(-251128)/560. Let h = 1121 + d. Let n be (((-3)/(-2))/1)/3. Is n > h?
True
Let g = -1044 + 1043.547. Let l = g + 0.053. Let y(a) = 2*a**2 + 32*a - 38. Let f be y(-17). Which is smaller: l or f?
f
Suppose 0 = -4*k + w - 8, 7*w = 4*k + 3*w + 20. Which is bigger: k or 2/979?
2/979
Let i = -16853/41 + 411. Let w(s) = s**3 - 3*s + 258. Let m be w(0). Let b = m + -259. Is b bigger than i?
False
Let u = 151148/3 + -49622. Which is greater: 760 or u?
u
Let i = 30038 + -30175. Is i at most -180?
False
Suppose -3*g - 6*k = -7*k - 16, 3*k + 12 = 3*g. Let u be g*(-2)/(-6) - (-3 + 30). Is u smaller than 1?
True
Let j be (-12)/6 - (912/27 - -4). Is j at most as big as -39?
True
Let n be (82 - 9)*10/2. Let w = 9491/26 - n. Which is bigger: w or -1/5?
w
Let v = 629698/61270941 + -37/3621. Is -1 equal to v?
False
Let a be (-22)/(-12) + 5 + (-234)/36. Is 0.1709 at most as big as a?
True
Suppose -5*q + q - 272 = 0. Let y = q - -12. Suppose -62*c - 448*c = -64*c + 24976. Does y = c?
True
Let c(q) = 36*q - 56*q - 107 + 27. Let b be c(-4). Is b greater than or equal to 4/153?
False
Let x(j) = -2*j - 15. Let m be x(-12). Let r be 4/(-6) - (5 + (-6)/m). Is -15 at most r?
True
Let w(q) = 0 + 1 + 2 + q. Let d(y) = -172*y + 514. Let i be d(3). Let u be w(i). Are 1 and u nonequal?
False
Let b be (1 + -13 + 3)/(15/(-10)). Which is smaller: 145/21 or b?
b
Suppose 15131 = 17*b + 1643 - 16874. Is 1786 equal to b?
True
Suppose -12 = -51*p + 45*p. Suppose 0 = -4*w + 2*y + 22 - 224, 2*w + 104 = -p*y. Are w and 0.2 nonequal?
True
Let p = 28817 + -28714. Which is bigger: p or 0.064?
p
Let c be (-48)/(-120) + (1 - (-9156)/(-15)). Let q = c - -609. Is q not equal to -30/53?
True
Let b(q) = -q**2 + 2*q - 24. Let l be ((-11)/33)/(40/42 - 1). Let x be b(l). Which is smaller: x or -58?
x
Let v(c) = -c**2 - c + 53. Let p be v(-10). Let q = p + -383. Is q at least -420?
True
Let i = 67 + -66. Suppose t = -3*r + 9, 3*t + 4*r - 11 = i. Which is smaller: 2/55 or t?
t
Let l = -62299 - -22863717/367. Is -1 at least as big as l?
False
Let b = 146 - 136. Let d = -26 + 26.51. Let x = -2.51 + d. Which is bigger: b or x?
b
Let u = 14945 - 30317. Is u >= -0.1?
False
Let p = -10 + 7. Let m = p + 2.6. Let h = -173.47 + 172.47. Which is bigger: h or m?
m
Let b be (-6)/(-9) + (-400)/24. Let n be ((-138)/b)/(8/(128/(-36))). Which is bigger: n or -4?
n
Let l(o) be the first derivative of -o**3/3 + 8*o**2 - 70*o + 77. Let y be l(12). Which is smaller: y or -17?
y
Suppose 0 = -2716*i + 2702*i - 24640. Is i < -1757?
True
Let x be 0*3/(-9) + 0. Let b be 2*2/(-21)*(-636)/608. Let p = 5/14 - b. Which is smaller: p or x?
x
Let t = -0.04 - 0. Let k = t - -0.09. Let u = -3.9207 + -0.0793. Which is bigger: k or u?
k
Suppose -3*w - q + 131 = 0, 91*w - 86*w = 5*q + 165. Which is smaller: w or 19?
19
Suppose 0 = -s - 4*l, -13 = -0*s + 4*s + 3*l. Which is smaller: -141/28 or s?
-141/28
Suppose 4*n - 563 = -155. Let h = 28 + 76. Is n at most h?
True
Let j = 182.4 + -182.95. Let x = 43.61 + -43. Let s = x + j. Which is greater: s or 0.2?
0.2
Let k be 0*(45/(-30) - (-3 + 1)). Let p be 18/(-27) + (-2)/6. Let q(u) = 5*u + 3. Let r be q(p). Which is bigger: k or r?
k
Suppose 1 = -r - 5. Let w be (-4)/r + (-9)/13. Let d = 256421 - 256420. Is d > w?
True
Let c = -47/14 - 97/42. Suppose -23 = -3*a - 31*v + 32*v, -5*a = -5*v - 55. Suppose -51 = a*f - 9. Which is smaller: c or f?
f
Suppose -d + 18910 = -4*o, -727 = 4*o - 4*d + 18189. Which is smaller: o or -4728?
-4728
Let j be (-30 + 12)/(2/(-11)). Let f = j + -93. Let v = 143/212 + 4/53. Are f and v unequal?
True
Suppose 96*y = 79*y. Which is bigger: 34/143 or y?
34/143
Suppose 2*x - 3*x = -280. Suppose 0 = 5*k - 2*n - x, k = 3*n - 5*n + 44. Suppose 2*i + 4*b - k = -14, 0 = 5*i - 3*b - 87. Is i greater than -1?
True
Let p = -28/1497 - -40361/2077836. Which is bigger: p or 1?
1
Let g = -12 - -12. Let q be (3 + -5)/(892/(-300) - -3). Let j = -98 - q. Is j smaller than g?
True
Let l(i) = 3 + 9 - 22*i + 35 - 3. Let x be l(3). Which is smaller: -67/3 or x?
-67/3
Let p = 5827 - 5664.2. Which is smaller: 1/2 or p?
1/2
Let a(x) = -3*x + 2 + 0*x + 0 + 4*x. Let l be a(2). Suppose -l*b - 33 = 5*t, -2*b + 3*t - 32 = 3*b. Which is smaller: b or -8?
-8
Let w be (24/483)/(14/(-49)). Which is smaller: w or -27?
-27
Let z be (-10)/6*(-258)/(-1505)*14/4. Which is bigger: z or 1/2996?
1/2996
Let r(m) be the first derivative of m**2/2 + 15*m + 24. Suppose -245 = 16*v - 69. Let x be r(v). Which is smaller: x or 6?
x
Suppose -o = -v + 3, 2*o + 0*v - 3 = -v. Let w be (0 - o)*(3 - 4)