*b - 17 = y. Which is greater: v or -7/34?
v
Let z = 118 + 79. Let u = z - 283. Let f = u + 86. Which is greater: 1/3 or f?
1/3
Let i be (-18)/(-21) - (22/(-7) - -3). Let o be (-1 - (-15)/(-9))/(i/3). Let x be (-4)/(-10)*(3/o + 1). Is -3/8 less than x?
True
Let z = -1238 - -1237. Which is bigger: -2/233 or z?
-2/233
Let m = 42/31 - 199/124. Which is greater: m or -72/11?
m
Let v = 4975 + -3664. Which is smaller: v or 5245/4?
v
Suppose -2*g + r = -23, g - 20 = -2*r + 4. Let c = 5 + 1. Let p be 10 - -1 - (4 - c). Is p > g?
False
Suppose 48780 = 4*p + 8*p. Let f be -6 + 6/(4068/p). Which is smaller: 0 or f?
f
Let y(w) = 6*w - 21. Let c(g) = g - 4. Let a(u) = 11*c(u) - 2*y(u). Let i be a(-6). Let q(z) = -z**2 + z + 3. Let d be q(i). Is -6 equal to d?
False
Suppose g - 156 = -2*g. Suppose -2*x + 3*x + 54 = -u, 0 = x + 2*u + 57. Let f = x + g. Which is bigger: f or -1?
f
Let m(o) = -o**3 - 19*o**2 + 2. Let i = 88 + -107. Let x be m(i). Let n(k) = k**2 - 3. Let j be n(x). Do j and 15/7 have different values?
True
Suppose 3*y - 4*y + 5*y = -3*y. Is y > -1/386?
True
Suppose 3*y + 5*t + 8308 = 0, 5*t - t = -4*y - 11064. Is -2759 not equal to y?
True
Let o = 92/1593 - 169120/2818017. Let y = -13836/139751 + o. Does 0 = y?
False
Let k be 43078/255 - (-1)/(-3). Let f = k + -169. Let n be (2 + -1)*1/4. Is f greater than or equal to n?
False
Suppose -3837 - 3959 = 128*v - 124*v. Is -1948 at least as big as v?
True
Let v(s) = -2*s - 11. Let w be v(-7). Suppose 0 = -w*a - 4 + 4. Suppose a = k - 5, -2*i + k - 15 = -7*i. Does 3/4 = i?
False
Let f(l) = 29*l**2 - 2*l - 19. Let c be f(-3). Let i = c - 251. Do 37 and i have the same value?
False
Let t be (-29)/(1015/(-11326)) + 3/(-5). Is 320 less than t?
True
Let x(k) = -12*k**3 - 12*k**2 - 162*k - 798. Let m be x(-5). Which is bigger: 8490/7 or m?
8490/7
Suppose -4*c = -w + 16, -4*c + 2*c - 4*w - 26 = 0. Let z be ((-26)/(-1625))/(1/c). Is z greater than or equal to 0?
False
Suppose -1745*y = -1850*y + 1155. Let p be (-6)/(-8)*(-12)/15. Let c = p - -1/10. Do y and c have the same value?
False
Let z(c) = -4*c - 7*c**2 + 11*c**2 - c**2 + 10*c**2 + 4. Let v be z(1). Suppose -18 - 8 = -v*n. Is n not equal to 20?
True
Let j = 219 - 210. Suppose 18 = j*a - 36. Which is smaller: -2 or a?
-2
Let a(y) = -y**3 + 27*y**2 + 28*y - 31. Let n be a(28). Suppose 0 = 15*r - 11*r + 124. Is r not equal to n?
False
Suppose 0 = 5*k - 7*k - 48. Let h = 36 + -41. Let m = k - h. Is 1 less than or equal to m?
False
Let s be (-1 + -1)/(2 + -3). Let f = -1999 - -1996. Does f = s?
False
Suppose 6*o - 16 = -4. Let z be (-8)/(-2) - 4*(-1)/o. Which is smaller: 2 or z?
2
Let b be 5611/(-124) - (-8)/80*(-30)/4. Are b and -44 nonequal?
True
Let g be (0 - (1 + -22))/((-34)/(-119)). Let o = g + -73. Which is greater: -1.67 or o?
o
Let j(w) = w**2 + w. Let d(n) = 5*n**2 + 4*n + 3. Let o(r) = d(r) - 4*j(r). Let q be o(-2). Let b be (-54)/q + 4/(-14). Is -8 less than b?
False
Let s be (-797)/2*(3 - -1) - 2. Let j = 1052 + s. Let y be j/560 + 4/10 + 0. Which is smaller: y or 0.3?
y
Let r = 270 - 271. Let t be -33 - (0 + r) - 4. Is t < -35?
True
Let t(l) be the third derivative of -5*l**4/12 + 49*l**3/2 - 78*l**2. Let g be t(15). Is -17/9 <= g?
False
Let k be 4 - 17496/(-378)*14/4. Which is smaller: 169 or k?
k
Let h be 1760/(-312)*377/(-174). Let k(m) = -4*m - 5. Let g be k(-4). Is h bigger than g?
True
Let l = 53 + 175. Let a be (-36)/16 - -1 - (-381)/l. Is a at most 1?
True
Let v = -434 - -398. Let j be (5/(-3))/(-10*(-3)/v). Suppose 0 = d - 1 - 2. Are j and d equal?
False
Let w be -1 - -36 - (17 - 15). Suppose -4*n - l = -116, 3*n + 2*l - w = 59. Let h be (-35)/6 + n/7. Are h and -2 equal?
False
Suppose 1 = -4*x + 17, 0 = 2*y + 5*x + 14. Let n be 92/(-23) - y/5. Which is smaller: n or -6?
-6
Suppose 3*g - 324 = 3*k, -204 = 2*k - 2*g - 3*g. Let a = k - -61. Let o be 205/(-330) + (3 - a/(-18)). Which is smaller: o or 0.2?
o
Suppose 4*p - b + 19 = 0, 5*p - 2*b = 8 - 34. Let h be -8 + (-4)/p + -5. Let i be (-5)/(105/h) + (-69)/133. Is i less than 0?
False
Let j be 0/(-2)*(-20)/60. Is j >= 8/557?
False
Let c = 3277 - 3275. Is c equal to -20?
False
Let d = -0.0979 + 0.0497. Let z = d + 0.1182. Is z smaller than 2.5?
True
Let x be 118*(-1)/3*3. Let l be 20/(-660)*341 - -1*10. Are l and x non-equal?
True
Let o be 6 + (-1356)/97 - -8. Which is smaller: o or -3?
-3
Let w = 0.0244 + -127.0244. Let m = w - -129. Is -0.23 at least as big as m?
False
Let j = -179 - 292. Let g = j + 465.87. Let c = -0.13 - g. Which is greater: c or -4?
c
Let u(p) = 2*p**3 - 3*p**2 - 2*p + 1. Let d be u(-2). Suppose -4*l + 8 = 0, -6*r - 31 = -5*l + 129. Is r < d?
True
Let v = 4194719/122 - 68771/2. Is v greater than -2?
False
Let g be 3/((-30)/4)*34/(-60) + -1. Which is greater: g or -1?
g
Let h(q) = -q**3 - 10*q**2 - 23*q + 8. Let t be h(-6). Let w be (-70)/7*(-1)/t. Let j(a) = -2*a - 10. Let u be j(-7). Which is greater: w or u?
w
Let j be 20/12*(1 - -5). Let b be (j/15 - (-74)/24)*4. Let w be 10/25 - 12/b. Which is smaller: w or -4?
-4
Let r = 1/16724 + 32609/14031436. Do r and -1 have the same value?
False
Let d(i) = -i + 12. Let t be d(7). Let l(x) = 26*x**2 + 82*x + 18. Let r be l(-3). Are r and t nonequal?
True
Let j(a) = a**2 + 36*a - 83. Let n be j(-38). Suppose -3*k - 8 = 5*y, k - 2*k = -5*y - 4. Is n less than y?
True
Let v be 3458/(-403) - ((2 - 10) + 1). Which is bigger: -2 or v?
v
Let i be 17/(-17) + 9/(-24)*-1874. Does 701 = i?
False
Suppose 5*t - 51*b + 1585 = -56*b, 6 = -3*b. Is t at most -316?
False
Let r be 1400070/1350 + 1*6/(-30). Which is smaller: 1037 or r?
r
Let h = -10934 - -10933.833. Are 21 and h nonequal?
True
Let g be 25782/(-7) + 8/56. Is -3682 less than or equal to g?
False
Let y(l) = 11*l**2 - 68*l - 61. Let q be y(7). Which is bigger: 621 or q?
621
Let t = -231.5 + 230.88. Which is greater: 2/41 or t?
2/41
Let k = 5/392 + -5573/6664. Let m = 10 + -10. Is k > m?
False
Let m = 8 - 26. Let l = 17.6 + m. Let t = -38 + 41. Which is smaller: l or t?
l
Let w = 13095 - 24779/2. Are 3/2 and w unequal?
True
Let i(p) = -5 + 1 + 1 + 6*p - 11*p**2 + p**3. Let g be i(10). Let x = g + 3. Is 0.2 >= x?
True
Let h = 733 - -39. Let n = 771.5 - h. Is n equal to -0.11?
False
Let v = 41.8 - 2. Let g = v - 37.8. Does 8.5 = g?
False
Let w(c) = -4*c + 44. Let i(f) = -3*f + 8. Let g be i(-1). Let j be w(g). Which is smaller: -26 or j?
-26
Suppose 0 = j - 46 + 7. Let z be j*((-10)/4 + 3). Let g = 10608.9 + -10609. Which is greater: g or z?
z
Let m(c) = -43*c + 332. Let i be m(12). Is 2 at most as big as i?
False
Let a be ((-94545)/110)/(3/4). Is a > -1?
False
Let l = -6 - 2. Let m = -25494 + 25512. Which is smaller: l or m?
l
Let f be (-258)/(-243) + (-2)/2. Let z be (-4)/5 + (60/825 - 6/22). Is f > z?
True
Let t be ((-560)/156)/(-5) - (-4)/6. Let y = 22 + 0. Let w be (-99)/y*(-2)/9. Which is bigger: t or w?
t
Let i = -83 - -24. Let s = -58 - i. Let b be (-2)/10*s - (-63)/(-35). Which is smaller: -7 or b?
-7
Let f(c) = 6*c**2 - 157*c + 27. Let q be f(26). Which is bigger: q or 19/119?
q
Let s(y) = -y**2 + 6*y + 10. Let b be s(7). Let c = -53 - -101. Suppose 45*z = c*z + b. Which is smaller: 2/7 or z?
z
Let d = -720 - -730. Let p be 6/d + (-504)/315. Let t(x) = x**3 - 4*x**2 - 5*x + 2. Let y be t(5). Which is smaller: p or y?
p
Let y = -27.59 - -28. Let l = y + -1.45. Let p = -0.04 - l. Which is greater: p or 0.029?
p
Let x = 93 + -15435/166. Let v = -63 - -62. Are x and v unequal?
True
Suppose -13*j + 16*j = -3*l + 51, 0 = 3*j + 2*l - 56. Is 36 at least as big as j?
True
Suppose -3461 + 6755 = 27*p. Is 971/8 < p?
True
Suppose -164 = -a + 573. Let j = 315829 + -315829. Is a at least j?
True
Let w(p) = 8*p - 2. Let i be w(2). Suppose -i*b - 5*b = 4*b. Is -4/7 at least as big as b?
False
Let p = 19317/9460 + -88/43. Let l = p + -6679/44. Are -152 and l equal?
False
Suppose 4*o - 522 = -2*o. Let i = o + -89. Is i less than -20?
False
Suppose 3*v + 12 = 2*x, 4*x + v - 8 = -v. Suppose -108 = s - c, -x*s - 45 = -c + 273. Which is greater: -104 or s?
-104
Suppose -3*x = 3*l, -4 + 8 = -4*l. Suppose 2*k + k + 15 = 0. Let n(z) = -z**2 - 4*z + 3. Let r be n(k). Is r >= x?
False
Suppose -a + 2*v = 451, -v = 5*a + 3 + 2186. Is a != -438?
True
Suppose -4*y + 575 = y. Let b = y + -25. Sup