) - q(d). Let i be t(-18). Let f be 3/i*(28/(-6) - -3). Which is bigger: f or 0.68?
0.68
Suppose -5*x + 123 - 518 = 0. Let b be (-24)/(-96)*x/2. Which is bigger: -9 or b?
-9
Let z = -3501 + 3502. Are z and 8/497 equal?
False
Let w be 5*(1530/(-75) - -24). Which is smaller: w or -477?
-477
Suppose -13*o + 37 = -80. Suppose -b = 2*h + o, h - 6 = -2*h. Which is greater: b or -7?
-7
Suppose -9*i - 2*w = -10*i + 15, 25 = 4*i - w. Let s(y) = -5*y**2 + 8*y - 42. Let h be s(i). Is h < -126?
True
Let c = 199 - -56. Let r = -253 + c. Which is greater: r or 33?
33
Suppose 6*z + 4*l + 8 = 9*z, -2*z = -4*l. Suppose -z*a = -15*a + 35. Suppose 4*b - 2*k - 28 = 0, -2*b = -6*b - a*k + 56. Which is smaller: b or 0.1?
0.1
Let x(q) = 4*q**2 - 197*q + 113. Let t be x(40). Which is smaller: 2/9 or t?
t
Let t = 1 - -1. Let z = -2074 + 2072.5. Which is bigger: z or t?
t
Suppose 5*p - 53 = 2*g + 10, -4*p = g + 12. Let w(b) = -70 - 75 + 88 + b + 75. Let o be w(g). Which is smaller: o or -5?
o
Let b = -911318 - -911317.7. Let d be ((-4)/1)/((-2)/(-64)). Is b > d?
True
Let p = 224 - 238. Let v be (96/7 - 12)/(1/p). Suppose 0*n = 2*n + 46. Is n at most v?
False
Let c = 466.9 - 438. Let d = -38 + 9. Let n = d + c. Which is smaller: n or -5?
-5
Let p = -40 - -22. Let g = 37 + -47. Let z be (735/g)/7*2. Which is greater: p or z?
p
Let m(n) = -2*n**2 + 15*n - 7. Let y be m(7). Let x(u) = -4*u**2 - u + 4. Let c be x(2). Are c and y unequal?
True
Let f = 3.8 + -29.2. Let t = f + 23. Let g = -1354.1 - -1353.9. Is g >= t?
True
Let l be (-43806)/2380125*(-20)/6. Let k = 34/577 - l. Are 1 and k nonequal?
True
Let c = 6661 + -6656. Do 147/40 and c have different values?
True
Suppose y - 3*f + 612 = -2242, -14186 = 5*y - f. Which is bigger: y or -0.2?
-0.2
Let a(h) be the third derivative of -7*h**5/60 + 2*h**4/3 + 21*h**2. Let r be a(7). Let o be (-15)/r*31 + -2. Which is smaller: 1 or o?
o
Let t = 1849 + -1804. Is t < -4?
False
Let k = 61 + 7. Let l = k - 68. Suppose -3*q - 5*a + 55 = 0, l*a - 3*a + 38 = 2*q. Is 24 greater than q?
False
Let t(a) = -3*a**2 - 69*a + 3. Let m be t(-23). Let j be 15/(-10)*(-112)/90. Is j != m?
True
Let o = 6.64 - -0.46. Let b = 167.9 + -155.8. Let w = o - b. Is w less than or equal to -1?
True
Let g be 37 + (-1)/3*-3. Suppose -61*l = -60*l - g. Suppose 11*a + 8*a = l. Which is smaller: -3 or a?
-3
Let h = 47.90449 - 0.07449. Let d = -1.17 - h. Let x = -50 - d. Which is bigger: 0.01 or x?
0.01
Let g be ((-4)/190)/((-39296)/(-320)). Which is greater: g or 0?
0
Let i = -761987/30210 - -959/38. Which is smaller: 2 or i?
i
Suppose 180*o = 118*o - 17298. Are o and -7 non-equal?
True
Suppose 2*z = 4*m, 5*z - 3*z - 10 = 2*m. Let q be (-525)/(-45)*(-294)/(-385). Which is smaller: z or q?
q
Suppose 2*u + 720 + 1278 = -0*u. Which is greater: u or -4998/5?
u
Let i = 3.75 + -3.43. Let w = 0.12 - i. Do w and -29 have different values?
True
Suppose 39*a = 37*a - 4*f + 11580, -24 = -4*f. Is 5779 not equal to a?
True
Let s = 476 - 201. Let z be (-1)/4 + s/(-20). Is -16 at most as big as z?
True
Let m = -107 + 434. Let u = m - 326. Is u > -0.071?
True
Let o be (6/(-2))/(((-155)/1860)/((-50)/(-8))). Which is bigger: o or -22?
o
Let a = 2566 + -2568. Are a and -0.835 unequal?
True
Let f be 2/18 + 6/(-54). Let m be f/(4/(-4)*-1). Suppose m = -w - 4 + 4. Which is smaller: w or 2/89?
w
Let z(w) = w**2 + 3*w + 16. Let t(s) = -67*s**2 - 6*s - 6. Let h be t(-1). Let n = h + 72. Let f be z(n). Does 56 = f?
True
Suppose 9*d - 9 = -4*b + 4*d, 5*b = 4*d + 42. Suppose 14*s + 20 = -b*s. Is 1/178 <= s?
False
Let d = 0.524 + -2.954. Let v = d - -0.48. Let c = 0.05 - v. Is c > -2/9?
True
Suppose -10*c = -16*c + 18. Suppose c*s - t - 993 = -2*s, -2*s = 5*t - 408. Is s > 199?
False
Let t = -0.0775 - -0.1232. Let j = 0.0157 - t. Which is smaller: j or 23?
j
Let k = 190 - 186. Suppose -b - 2*b = k*b. Which is smaller: b or 14/27?
b
Let r(m) = 11*m - 4. Let d be r(3). Let y = 12529 - 12500. Is y at most as big as d?
True
Suppose -1519 = -19*f + 12*f. Let x = -116 + f. Which is greater: x or 100?
x
Let t = -4195 - -4196. Is t equal to -28/193?
False
Let x(r) = -4253*r**2 - 165*r - 163. Let d be x(-1). Is -3 greater than or equal to d?
True
Let i be (-15)/(-5) + 1 + (-2 - 2). Let o be (i - 12/2)/((-45)/(-330)). Does -42 = o?
False
Suppose 18*y = 7*y + 1485. Let v = y - 128. Suppose 10*l - 16 = 8*l. Is l bigger than v?
True
Let s(b) = b - 2. Let n be s(0). Let i = -14835/152 + 769/8. Which is smaller: i or n?
n
Let o = 0.43 - 0.4. Let x = -264.67 - -265.1. Which is greater: x or o?
x
Suppose 15 = w - 5*n, -w - n + 23 = 4*w. Suppose 0 = 5*o - w*a + 225, -6*o - 97 = -4*o + 5*a. Which is smaller: -47 or o?
-47
Let c be ((-119)/91)/((-2)/(-30)). Are c and -21 equal?
False
Suppose c - 304 = -2*t, 4*c - 1355 + 139 = -5*t. Are 306 and c unequal?
True
Suppose 3957 = -5*i - 1373. Let r be 455/i - 3/(-6). Is -1 at most as big as r?
True
Let f(g) = 17*g**2 - 5*g + 3. Let h(y) = 8*y**2 - 2*y + 1. Let r(w) = 3*f(w) - 7*h(w). Let a be r(1). Let q be (-1)/a + 131*(-4)/(-16). Are 33 and q non-equal?
False
Let j(o) = 6*o**2 + 33*o + 15. Let u be ((-1)/2)/(79/790). Let h be j(u). Which is smaller: -6/233 or h?
-6/233
Suppose 20*k + 4*c - 12 = 21*k, 3*c = k + 12. Is k at most as big as 85?
True
Let m = 377 + -371. Let g = -18 - -23. Is g smaller than m?
True
Let i = 59697 - 6805231/114. Let t = i - 22/19. Is -2/7 greater than t?
False
Let a = -145 - -147. Let l be (2/(-12))/(a/8)*9. Are -48/7 and l nonequal?
True
Let o(r) = 2*r + 9. Let s(w) = w**2 - 6*w - 39. Let d be s(-4). Let a be o(d). Which is bigger: 8 or a?
a
Suppose -3*m - 168 = -2*h, 11*h - 15*h = -m - 306. Let j be (-3)/(-12) - 307/(-4). Which is smaller: h or j?
h
Let p = -5065 + 5068. Suppose -3*d + 4 = -26. Which is bigger: p or d?
d
Let y = 44 - 15. Let w = -13.08 - -6.08. Which is bigger: y or w?
y
Suppose 5*t = -2*i - 15, 0 = 2*i - 3*t - 0*t + 23. Let c(h) = -h**3 - 9*h**2 + 12*h + 20. Let q be c(i). Which is bigger: q or 6/35?
6/35
Let g be 151319*(1/(-1) + 0) - 3. Let s be 2/(-9) + g/261. Do -581 and s have the same value?
False
Suppose 26 = w + 4*z, 188*w - 192*w - z = -119. Suppose -33 - 2 = -i - 3*m, 0 = 2*i - 2*m - 62. Is i at most as big as w?
False
Let y = -2.5712 - -2.573. Is y not equal to -0.01?
True
Let k(l) = 104*l + 1145. Let q be k(-11). Is q less than -14/121?
False
Suppose x = -22 - 172. Let j = x - -201. Which is bigger: 4 or j?
j
Let x = 680389/37 + -18391. Is -3 != x?
True
Let x(i) = i**2 + 10*i + 27. Let j be x(-6). Let z be 12/(-24) - (-67)/2. Let p be 39/z + 10/(-55). Which is bigger: j or p?
j
Let i(b) = -2*b**2 + 148*b + 205. Let q be i(76). Is -71 >= q?
True
Let b = 150.13 + -152.13. Which is smaller: 6/2197 or b?
b
Let r be ((-3)/(-15))/(15/75)*1. Let w = 1959 + -415309/212. Do r and w have different values?
True
Let u = 109 - 50. Let w = 275 - 339. Let y = u + w. Is -0.9 not equal to y?
True
Let r(u) = 16*u**2 - 103*u + 263. Let o be r(6). Which is smaller: o or 234?
o
Let j = 19927 + -18427. Is 1498 at most as big as j?
True
Let u = 2.0155 - 0.0155. Suppose -2*l - 3*g - 330 = l, -5*g + 10 = 0. Let v be (-2)/(-8) + 4/l. Which is greater: u or v?
u
Let c = -61 - -123. Let t = 266 - 327. Let q = c + t. Which is smaller: q or 0.02?
0.02
Suppose -8239 + 7373 = 274*x + 27630. Which is smaller: x or -1780/17?
-1780/17
Let u(g) = -2365*g + 1704. Let n be u(5). Which is bigger: n or -10122?
n
Let k = 117 + -84. Suppose 3*s + k = 2*v - 20, -5*s + v = 100. Suppose -y + 63 = -4*y. Is y < s?
False
Suppose -11*u - 615 = 5*v - 14*u, 0 = 4*v - 4*u + 484. Which is smaller: 22 or v?
v
Let k be (-1035)/90*(-178)/(-4) - -3. Are k and -508 nonequal?
True
Suppose 0 = r - 5*g - 2, -2*r + 67 = 4*g + 7. Let m be (-5)/(((-4)/30)/(r/(-33))). Let c be 3/30*-4*m. Which is bigger: 2 or c?
c
Suppose 705*d - 702*d = -6. Let k be ((1 - d)/132)/(-7). Are k and 1 unequal?
True
Let m be (86233/(-194))/(7/(-12)). Is 763 equal to m?
False
Suppose 0 = 4*l + 5*v - 57, 4*l - 2 = 2*v + 20. Let u(o) = -o**2 + 6*o + 17. Let q be u(l). Let c be (-30)/(-70)*((-5)/(-3) - q). Are c and 0 equal?
False
Let g = -21481 + 5649485/263. Are 1 and g non-equal?
True
Let r = 99 - 117. Let n = r - -19. Which is bigger: 1/229 or n?
n
Let t = 41 - 34. Let m(b) = b**3 - 6*b