 x = -0.03 + l. Which is smaller: x or d?
x
Let c be ((-2)/14)/((-6)/(-7)). Let d = 40 + -36. Suppose 2*o + 7 = -f, -f = d*o + 10 - 1. Which is greater: c or o?
c
Suppose s + 2*r + 18 = 0, s - 2*r - 3 + 5 = 0. Let q be s + 685/60 - 2/8. Suppose c = -c. Which is smaller: c or q?
c
Let p = 299 + -294. Suppose 5*v = -5*u + 10, -5*u = -0*u - p. Is 10/103 at most v?
True
Let z = 21 + -1. Let s = 11507/590 + -1/295. Which is smaller: z or s?
s
Let w(t) = t**2 + 7*t - 16. Suppose -7*l - 42 - 21 = 0. Let p be w(l). Is p greater than 2?
False
Suppose 3*n - 2*k + 105 = k, 5*n + 145 = -k. Let r be -3*4/n*95/(-38). Let a = 56 + -50. Is a not equal to r?
True
Let g = 1758 + -1102. Which is greater: g or 655?
g
Let t be ((-47138)/(-1443))/((-2)/39). Which is smaller: t or 0?
t
Let g be ((-340)/8 + 3)*-2. Let m = -70 + g. Is m equal to 9?
True
Let a be 1*(2 - 2)*-1. Let f(i) = -i - 16. Let x = 284 + -307. Let n be f(x). Which is bigger: a or n?
n
Let d = 9389/87 + -5/58. Which is smaller: 109 or d?
d
Let v(o) = 29*o - 113. Let m be v(-15). Let g = m - -500. Are g and 2/7 nonequal?
True
Let f = -3203/2907 - 3/323. Let p(c) = -2*c**3 + 38*c**2 - 37*c + 16. Let b be (-2)/(-3) - 4212/(-243). Let v be p(b). Which is greater: f or v?
f
Let z be 0 + 3/5 - (-3)/(-5). Which is smaller: 9883 or z?
z
Let m = -224.362 + 16.362. Which is greater: -3/5 or m?
-3/5
Suppose -3*v = -0*z + z - 2, 4 = 2*z + 2*v. Suppose 2*x = z*x - 5*x. Does -131 = x?
False
Suppose 50*j = 54*j + 16. Let a be j/6 - 440/(-649). Which is bigger: a or 1?
1
Suppose -135*q + 380 = 232*q + 13*q. Which is bigger: q or -14/395?
q
Let h be (21 + -14)/((-18)/(-4)). Let c = 2 + -14. Let m(n) = n**2 + 14*n + 27. Let w be m(c). Is h at least w?
False
Let u = -20175 + 20173. Is u smaller than 0?
True
Let w(g) = -406*g + 7307. Let c be w(18). Is c less than 385?
True
Suppose 0 = -2*m + 1195 + 3329. Suppose 5*u - m - 1038 = 0. Let q be 2/5 + (-209)/u. Is q greater than -1?
True
Let f be (16/(-8) + 180)*5. Is 893 bigger than f?
True
Suppose 165*j = -209*j + 132*j. Is j != -260.8?
True
Let l be (24/(-3) - (-1014)/117)*9873/(-2). Do -3287 and l have the same value?
False
Let b(v) = 10*v**3 - 2*v**2 - 6*v - 2*v - 8*v**3 + 10*v**2 + 10. Let i be b(-5). Let k be (-1 - -1) + (-2)/(-19). Is k <= i?
False
Let a = -30350 + 30346. Which is smaller: a or -197/70?
a
Let u = 0.94 - 0.04. Let s = 577.1 + -583. Let k = u + s. Which is smaller: -1 or k?
k
Let m = -3913 - -3911. Let d = 10 - 6. Let r be (20/d + -1)/m. Which is greater: r or -1?
-1
Let u = 309746/1105 + 196/221. Which is bigger: 280 or u?
u
Let o = -9.4 - -11. Let d = 1.37 - o. Let v = d - -0.33. Which is bigger: v or -0.23?
v
Let i(d) = d**2 - 19*d - 3. Let w be i(19). Let p be ((-1)/(3 - 180/58))/w. Which is smaller: -4 or p?
-4
Let t = 4/7 + -1/14. Let n = -24468 - -24593. Is t equal to n?
False
Let u be (-92)/92 + (70/16)/1. Let v = -97/24 + u. Is v at least as big as 35?
False
Let y(v) = v**3 - 7*v**2 + 14*v - 5. Suppose -8 = 4*a + 4. Let l(d) = -d**3 - 3*d**2 + d + 9. Let w be l(a). Let u be y(w). Which is smaller: 42 or u?
42
Let x = -84.04 - -82.5. Is x at most as big as 1/11?
True
Let z be (-1)/17*-1629 - ((-20)/5 + 1). Is 99 at most as big as z?
False
Let t(z) be the third derivative of -1/12*z**4 + 0 + 8/3*z**3 + 0*z - 14*z**2. Let s be t(8). Which is greater: s or 1/52?
1/52
Let d be 0 + 6/(-20)*455/(-546). Which is bigger: d or 1730?
1730
Let g = -3.27 + 2.883. Let y = g - -0.289. Let u = 0.5 + -0.5. Which is greater: u or y?
u
Let k = 6414 - 6413.9. Is 2436 <= k?
False
Suppose 3*n + 2*k - 33 = 0, 4*k + 8 + 4 = 0. Let g = -3347 - -3347. Is n < g?
False
Let j = -109.4 - -136. Let r = j - 26.4. Which is greater: -78 or r?
r
Suppose 0 = -3*h - 15, 0*x - 2*x - 320 = 4*h. Let d(i) = -16*i - 54. Let v be d(6). Is x != v?
False
Suppose p + 15 = -4*x, 62 + 74 = -4*p + 3*x. Which is smaller: -36 or p?
-36
Let m = 2851.7 + -2852. Is m greater than or equal to -26/5?
True
Let n be (-27)/(-5) - 4/10. Let g(j) be the first derivative of -j**3/3 - 8*j**2 - 10*j - 182. Let d be g(-15). Are n and d equal?
True
Let u be 50561/(-558)*(-28)/147. Are 17 and u nonequal?
True
Suppose 2*d - d - 2 = 0. Let k be (1 - d)/((-1)/4). Let l = -19123/4 + 4781. Which is greater: l or k?
k
Suppose 3*u - 3*p + 3 = 0, -2*p + 5 = u - p. Let d be 1*(-1)/(u/(-2)). Let q = 75 + -72. Which is greater: d or q?
q
Let h be -1 + 0 + (-3)/(-315)*-1441. Let s = h + 44/3. Suppose -5*c + d = 7, 0*c - 5*d + 9 = c. Is c != s?
True
Let z = -268 + 154. Suppose -4*c = 0, -7*y - 84 = -4*y + 5*c. Let s be -4 - 28/(-8) - z/y. Which is smaller: -6 or s?
-6
Let k(h) = -749*h + 13100. Let i be k(19). Which is greater: 1 or i?
1
Let j = 2849 - 2586. Do 262 and j have different values?
True
Suppose 2*c + c + 8 = -4*q, 2*q = c + 6. Let s(t) = 21*t**2 - 117*t - 84. Let d be s(6). Is q < d?
False
Suppose -58*t + 17582 = -1152. Do -1.3 and t have different values?
True
Suppose c - 142 = x + 496, x + 622 = 5*c. Is -646 greater than x?
False
Let f = 241 + -130. Suppose -5*l = 5*b - 4*b - f, -l = 2*b - 195. Which is smaller: b or 95?
95
Let o = -16 + 19. Suppose 2*j + 2 = o*i, 5*i - 4*j - 6 = -0*j. Let t be i/44*8/(-2). Is -1 smaller than t?
True
Let n = -19.5 - -23.82. Let l = -1.32 + n. Let v = 3 - 2. Which is greater: v or l?
l
Let h = -558/7 - -7261/91. Let x(q) = 2*q**3 + 2*q**2 - 2*q. Let s be x(0). Is s at least h?
False
Let r = -31 - -27. Let w be r/6 + 1204/42. Let j = -29 + w. Are j and -1 unequal?
False
Suppose 193*h - 273868 = 47*h + 615710. Which is bigger: 6094 or h?
6094
Let k = -6 + 9. Suppose k*r - 8 = -5. Does -3/19 = r?
False
Suppose -k - 1 = -4*a, -k = 2*a - 0*a - 5. Which is smaller: a or 1/4385?
1/4385
Let b(x) = -121*x**3 + 46*x + 83. Let q be b(-2). Is q greater than 959?
False
Let g(b) = -2*b**2 - 48*b + 8. Let c be g(-24). Suppose -c - 3 = i. Which is greater: i or -15?
i
Let c = 8582 - 8595. Let z = -7 - -6.7. Is c < z?
True
Let f = 301 - 299. Suppose -f*h = 2*n + 343 + 15, -3*n = h + 537. Does -179 = n?
True
Let z be (-9464)/(-10) + 9 + (-12)/(-100)*5. Is 956 at least z?
True
Let z = -313.8 + 314.8. Are 2543/5 and z nonequal?
True
Let y be 6*2 - (-14)/(-7). Let k be (-2)/((1 + -3)/2). Suppose t = -3*l + 4, 0*t + k*t = 2. Which is smaller: l or y?
l
Let j = -1733 + 1730. Let z be ((-9)/(-12))/((-138)/(-16)). Which is smaller: z or j?
j
Let x = -85 - -90.4. Let l = x - 6.4. Which is greater: -16 or l?
l
Let i = 0.1 - -0.9. Let j = -153.2 - -144. Let x = j - -10. Is i less than or equal to x?
False
Let r = 63575/441 - 1298/9. Is 6/35 > r?
True
Suppose 0 = -4*d - 600 - 120. Let v = d + 186. Which is bigger: v or -3?
v
Let a = 1189 + -1185. Is 119/24 greater than a?
True
Let n be ((-30)/12)/((-6)/(-2592)). Let y be (44/10)/((-36)/n). Is 394/3 >= y?
False
Suppose -28*a - 8*a = 0. Let c be 4 + (-2 + a)*35/15. Is 2.2 at least c?
True
Let m = -35 - -63. Let s = 35 - m. Suppose -2*g + s = 5*g. Is 8/7 bigger than g?
True
Let u(v) = 5*v + 59. Let h(w) = -10*w - 178. Let o(m) = 3*h(m) + 10*u(m). Let c be o(10). Which is smaller: c or 255?
255
Let m(v) = v**2 + 6*v + 1. Let k = -14 + 53. Suppose 4*u = 7 - k. Let d be m(u). Which is bigger: 16 or d?
d
Let k = -0.015 + -87.985. Let l = 471 - 470.8. Is k smaller than l?
True
Suppose -792 = 4*f - n - 3*n, f = -5*n - 198. Let d = f - -270. Is d at most as big as 68?
False
Let t be 0 + (8/(-14))/(2/(-7)). Suppose -3*n = -n + t*z + 14, -z = 5. Let g be -17*(0 + (2 - n) + -5). Which is smaller: g or 50/3?
50/3
Let y = 645039/27016 + -4/3377. Which is bigger: 23 or y?
y
Suppose 10*k + 10 = 5*k. Suppose 4*b + 51 = 5*y, -3*y - 2*b + 13 = -0*b. Let m be k/(-2) - (-5 + y). Which is bigger: m or 2/23?
2/23
Suppose 3*x - 7*x + 40 = 0. Suppose 5*z - 4*w + 5 = -5*w, 2*w + x = 0. Let h be 2/(-5)*(-9)/99. Which is smaller: z or h?
z
Let m = -3357209/11396 - -39/1628. Which is greater: -295 or m?
m
Let w = -0.26925 - -0.13925. Let q = -463/34 - -14. Let y = 2/17 + q. Is y at least w?
True
Let j = -1.493 - -1.471. Is 0.2 != j?
True
Let p = 450 + -469. Let w(g) = -g**2 - 19*g. Let y be w(p). Let n be (1/(-10))/((-5)/2). Which is bigger: y or n?
n
Suppose -4*y = -4*f + 38 - 2, 0 = 3*y + 12. Which is bigger: 482 or f?
482
Suppose 5*q = -4*m + 156, 4*m - 32 = 4*q + 124. Le