2 + r - 2. Let s be n(3). Which is greater: a or s?
a
Suppose u + 2*u + 33 = 4*r, 4*r - 2*u - 34 = 0. Suppose 0 = g - 2*m - 2 + 11, -5*g + m = r. Let v be 1/2 - (-15)/(-66). Which is smaller: g or v?
g
Suppose -9*k = -13*k + 16. Suppose -2430 = 5*o - 2*j + 5*j, -o - k*j - 486 = 0. Let l be (-12)/o*(-3 - -2). Is -1 greater than l?
False
Let t = 374.3 + -373. Let j(r) = r**2 + 7*r - 3. Let q be j(-8). Suppose 5*c = -0*s - 3*s - 13, -q*c = 10. Which is greater: t or s?
t
Let b = 3661880/1001 + -25603/7. Which is smaller: 2 or b?
b
Let n(g) = 127*g - 92. Let a be n(-6). Which is smaller: -853 or a?
a
Let z = 29310263/160 + -183188. Let r = -21/32 - z. Which is greater: r or 1/4?
1/4
Let v = 41.68 - 42.81. Is 0.19 > v?
True
Let a = 335.1 - 10.1. Let j = -346 + a. Is j > -13?
False
Suppose 3*a - 7*a - 4*l = -4, 2*a + l - 5 = 0. Suppose 4*j = -a*r + 48, -17 - 31 = -4*j + 3*r. Let p be j/54 - (-33)/(-27). Is -1/8 > p?
True
Let s = -40498.18 - -40827. Let r = s + -333. Let i = 0.18 + r. Which is smaller: i or 1?
i
Let c = -2 + 1. Suppose -10*v + 13*v - 69 = 0. Suppose -21*j - 2 = -v*j. Do c and j have different values?
True
Let r(w) = -3 - 6*w**2 + w**3 - w**2 + w + 2*w**2 - 6*w. Let l be r(-3). Let o = l + -51. Which is smaller: 1 or o?
o
Let o = 12/1399 + -11459/520428. Which is bigger: 0 or o?
0
Let g(x) = -87*x + 608. Let u be g(7). Is -20/777 >= u?
True
Let u = 13.62 + -13.7. Let d = 1.08 + u. Which is smaller: d or 7?
d
Let k(x) = 12*x. Let z be k(-4). Let s be ((-6)/28)/((-36)/z). Let u(q) = 2*q**2 + q + 1. Let a be u(-1). Are a and s equal?
False
Suppose -4*z = -5*s - 2393, -586*s + 587*s - z + 479 = 0. Is s at least as big as -4288/9?
False
Let r(l) be the first derivative of l**3/3 - 37*l**2/2 - l - 90. Let s be r(37). Is -3/116 < s?
False
Suppose -u - 712 = -5*v + 313, 6*u = 0. Is 6 bigger than v?
False
Let i = -1296 + 1293.7. Which is bigger: i or 2/55?
2/55
Let g(j) = j**3 + 15*j**2 + 9*j + 6. Let m be g(-14). Let i = m - 128. Let c = 47 + i. Is c at most as big as 1?
True
Let m(l) = 506*l - 162. Let s be m(-1). Does s = -669?
False
Let a = 2347 + -2250. Is 86 < a?
True
Let y(w) = w**2 - 8*w - 30. Let j be y(12). Suppose j*d - 26 = 20*d. Let g = d - 1. Which is bigger: -15 or g?
g
Suppose 543*g = 615*g. Are -7/745 and g unequal?
True
Let x = 491 - 477. Let p = 407443/1218 - 75/406. Let t = p - 320. Which is smaller: t or x?
x
Let y be (10/72)/(1/4). Let v be 1*(-5 + 10 + -5). Which is bigger: y or v?
y
Suppose u = -3*u + 16. Let n(x) = 6*x + 5. Let o be n(u). Suppose 5*i = -6*m + 180, -2*i + 1 + 44 = -3*m. Which is greater: i or o?
i
Let l = 48494 + -66145819/1364. Is l at most as big as 0?
True
Let f(n) = 3*n**2 + 37*n - 14. Let i be (3/(-6) - -2)/(1/(-8)). Let t be f(i). Is t at least as big as -26?
True
Let n(x) = x**3 + 39*x**2 + x + 41. Let c be n(-39). Which is smaller: 102/49 or c?
c
Let n = 9.87 + -11.97. Let w = -203 + 202.7. Is n equal to w?
False
Let v = -3.282 - -8.439. Let k = 0.557 - v. Is 4/5 > k?
True
Let v be -3559 + ((-1081)/94 - (-4)/(-8)). Is v less than -3571?
False
Let h = 19192 + -17836. Is 1358 bigger than h?
True
Let a be -1 - -3 - 55430/1840. Is -27 > a?
True
Let y be 2/4 - 11/14. Let u be 22*(-1 + 0/7). Is u greater than y?
False
Let m = 74824/23 + -3257. Which is smaller: -5 or m?
-5
Let n be ((-10)/(-35))/((-11)/(-462)). Suppose 25 = -7*p + 2*p - 5*o, 3*o + n = 0. Do -6/245 and p have the same value?
False
Let l be 1/(-6) + (-127585)/(-474). Is l less than 272?
True
Let q(f) = 2*f**3 + 2*f**2 - 1. Let v(b) = -b**3 + 36. Let o be v(0). Let l = -35 + o. Let r be q(l). Is 15/4 greater than r?
True
Suppose -3*m + 46 = 91. Let z(a) = 5 - 3 - 3 + 7*a. Let g be z(-2). Is g > m?
False
Let l = -7774 - -7554. Is l smaller than -0.18?
True
Let i(f) = -f**3 + 13*f**2 - 54*f - 10. Let l be i(14). Which is smaller: l or -1?
l
Suppose -11 + 20 = 3*s. Suppose -2*h = -6*h + s*v + 8, -3*h - 23 = 5*v. Let z be (-21 + 18)*(8/(-6) - h). Which is smaller: 0.17 or z?
0.17
Let y = 4041076753/19464 + -207618. Which is smaller: 0 or y?
0
Let q = -62 - -62.64. Let j = -97.64 + q. Let c = -99 - j. Which is bigger: c or 2/7?
2/7
Let w be (-34 - -34)/2 - (-21)/5. Let s(f) = 2*f - 9. Let d be s(6). Is d at most w?
True
Let c = 200888/129 + -4670/3. Which is smaller: c or -2?
-2
Let s(p) = 2*p**2 + 3*p - 9. Let m(f) = -1. Let u(g) = -3*m(g) + s(g). Let j be u(-4). Suppose 2*z + j = -3*r - r, 2*z = 2*r + 4. Which is greater: 8 or r?
8
Suppose -2*r = -4*r - s - 163, -5*r + s - 397 = 0. Let q(l) = 57*l - 5097. Let y be q(88). Which is smaller: r or y?
y
Let t(z) = -z**2 + 10*z + 21. Let g be t(9). Let b be (-8)/4*g/(-4) - 1. Let a be (b/45)/((-10)/(-15)). Which is greater: 1 or a?
1
Let l be (-2)/(-14)*1337/573. Let z = -0.08 - -0.088. Which is smaller: z or l?
z
Let m be (15/2)/(-3)*-2. Suppose m*k + 246 = -174. Which is smaller: -83 or k?
k
Let i = 0.4 - 1.4. Let r = 0.731 + -0.461. Let m = -36.73 - r. Is i <= m?
False
Let l be 20*((-3)/(-1912))/(12/16). Do -1 and l have the same value?
False
Let u be (-27)/18 - 176/(-32). Is 385 at most u?
False
Let t = -10692/5 - -2138. Are -122.3 and t non-equal?
True
Let w = -7959 + 23875/3. Is 0.6076 less than w?
False
Let h(u) = u**3 + 18*u**2 + 22*u + 90. Let g be h(-17). Suppose 5 = v, -g*l - 3*v + 18 + 897 = 0. Is 178 > l?
False
Let t(i) = -617*i + 141. Let k be t(3). Which is smaller: k or -1709?
k
Let k = 0.07079 - -0.42921. Which is smaller: 365 or k?
k
Let w = 130 + -102.4. Let s = w - -2.4. Let g = s - 29.9. Is g <= -9?
False
Let p = 17 - 16. Let h = -19896149/152 - -130895. Let f = 3/19 - h. Is f less than p?
True
Let p = -248 + 250. Suppose 4*w + 5*o + 0*o = 29, p*o = -w + 11. Which is smaller: w or 3/7?
3/7
Let q(n) = -12*n + 39. Let u be 148/6*(-12)/8*-1. Suppose u = 5*c + 2*l - 5*l, 3*c = 5*l + 35. Let o be q(c). Which is smaller: o or -20?
o
Let f = 4215 + -4289. Which is smaller: -510/7 or f?
f
Let o = 1752 - 8713/5. Let d be 297/(-45)*(-5)/(-1). Let v = d + 41. Is o < v?
False
Let g = 424.07 - 428. Let p = -3.93 - g. Which is smaller: p or -0.2?
-0.2
Let v = 217083/152581 + -171/121. Are v and -1 equal?
False
Suppose 0 = 5*m - 18*m + 65. Suppose -14 = -38*c + 42*c - m*w, 1 = 3*c + 2*w. Is c equal to -35/18?
False
Let b = -17224 + 17539. Which is bigger: 6 or b?
b
Suppose 5*a = 3*b - 9, 2*a + 2*b + 1 - 7 = 0. Let y = 1029 - 72029/70. Which is greater: a or y?
y
Let p be 31674/248 + (91/28)/13. Suppose 4*v - 296 = -808. Let b = v + p. Which is smaller: 1 or b?
b
Suppose -18 = -q + 51. Let z be ((-1)/2)/(q/(-12) + 6). Are -5/9 and z nonequal?
True
Let o = 4.89 + 0.11. Let j = 1794 + -2373460/1323. Let k = j - 1339/10584. Is o > k?
True
Let h be ((-384)/16)/(-72) - (-430)/6. Does h = 79?
False
Let k = 8483 + -8480. Let l(z) be the second derivative of 7*z**4/12 + z**3/3 - z**2/2 + z. Let u be l(1). Which is smaller: k or u?
k
Let o be 28/(-3)*(-33)/22. Suppose -3*n - 11 - 13 = 0. Let a(r) = r**2 + 6*r. Let c be a(n). Is o less than c?
True
Let g be ((-25)/10 + 0)/((-1)/2). Suppose -q = 5*c - 0 - 12, 3*q = g*c - 24. Let h be ((-34)/q)/((-2)/(-18)*2). Is h smaller than 2?
False
Suppose -f - 5*t + 242 = -0*f, 5*f + 5*t - 1130 = 0. Let j = -221 + f. Is j < -1/95?
False
Let a = 33900 - 21526492/635. Is a equal to 0?
False
Let d = 13804 + -13855. Which is bigger: d or -53?
d
Let q = 9434 - 6254. Let b be (-4)/(-5) - (4 + (-10206)/q). Is 0 less than or equal to b?
True
Let y = -38 - -44. Suppose 0 = -4*o - c + 83, 7*c + 64 = 3*o + y*c. Suppose 27*p + o = 30*p. Which is bigger: -2/9 or p?
p
Let f be (-6757962)/(-6876) + 2 + -1 + 10/(-12). Which is smaller: 1/2 or f?
1/2
Let y = 1115 + -1115. Which is smaller: 0.253 or y?
y
Let d = 108 - 103. Suppose 3*o + d*c - 222 = 0, 410 = 6*o - o - 5*c. Let n = o - 80. Is -7 greater than n?
False
Let d = -7292 - -7291. Is d greater than or equal to 1/79?
False
Let q = -3106 - -3108.3. Which is bigger: 2/13 or q?
q
Let x(h) = -3*h + 33. Let w be x(5). Suppose 21*s = o + w*s + 12, 20 = 5*s. Which is bigger: 7/12 or o?
7/12
Suppose m + 1 = 0, l + 1 = -4*m + 19. Let q be ((2 - 0) + -1)*8/8. Which is smaller: l or q?
q
Let q be 2/8 + (-7896)/31392. Let a = q - 325/1308. Is -86 greater than or equal to a?
False
Let r be 3 + 12 + -15 + 54/6. Let t(w) = -16*w. Let f