er: t or x?
t
Suppose 4*r + 21 + 19 = 0. Let w = -10 - r. Let t be 1/16*(-3 + 1). Which is greater: w or t?
w
Let j = 3 + 2. Let w be (-96)/(-5) - 3/(-15). Let d = w - 149/10. Which is smaller: j or d?
d
Suppose 49*z - 83*z = -102. Which is bigger: 29/15 or z?
z
Let d(i) = 7 + 1 - 1 + i. Let n be d(-4). Suppose -n*w + 1 = 4. Is -1 < w?
False
Let c = -335/4 + 1589/20. Which is smaller: c or 1?
c
Let w = 4 + 6. Let u = -7.48 - 2.52. Let b = u + w. Is b at most as big as 8?
True
Suppose -5*m = -1246 - 574. Suppose 309*j = 305*j - m. Which is bigger: j or -92?
j
Suppose -4*w - 5*b = -1, 5 = -2*w + b + 16. Suppose -5*d + 40 = -0*d + 5*n, 0 = 3*d - w*n + 11. Suppose 0 = q - d*m + 3, 7 = 3*q - 5*m + 20. Does q = -6?
True
Let m(r) = -r**2 - 8*r + 5. Let c(t) = -t - 3 + 10 + 5. Let w be c(20). Let o be m(w). Which is greater: 4 or o?
o
Let z be 6/(-18) + (-248)/(-42). Let w = z - 1979/21. Let a = w + 90. Which is smaller: a or 0?
0
Suppose -3*v + 11 = -v - 5*d, -3*v + 2*d = 0. Let j be 24*v*(-12)/(-160). Let c = -4 - j. Are -0.18 and c unequal?
True
Let m(j) = -j**3 + 6*j**2 + 10*j - 9. Let x = 50 - 43. Let v be m(x). Is v greater than 9?
True
Let b = -775/232 - -27/8. Let d be (-2)/5 + 249/(-15) + 17. Which is smaller: b or d?
d
Let n = 4.595 + 0.105. Let z = n - 0.7. Which is smaller: z or -2?
-2
Let u(v) = v**2 + 3*v. Let t be u(-8). Suppose -t*l + 48 = -44*l. Which is smaller: l or -15?
-15
Suppose 2*w - 24 = -5*b, -4 + 18 = w + 3*b. Let x be ((-575)/(-45) - -1) + w/9. Which is bigger: -2 or x?
x
Let l be (-8)/(-1)*(-6)/8. Let g be 20/l + 1 + -3. Is -4 != g?
True
Let j(z) = -z**3 - 7*z**2 - 5*z - 8. Let x be j(-6). Let t be (2552/(-5))/(x/(-7)). Let v = -256 - t. Does -1/2 = v?
False
Suppose -2*f = 2*h - 7*f + 69, 4*h = -f - 105. Let g = 27 + h. Suppose -2*x - 5 = -r, 10 = -r - 6*x + 3*x. Is r at most as big as g?
True
Let u = 12/1039 - -272182/3117. Which is smaller: 88 or u?
u
Let z = 22 + -44. Let l = z - -20. Let b = -1.1 - l. Which is bigger: -1 or b?
b
Let n be (0/1*1)/2. Let r = -155 - -135. Let x be 3 + (15/(-6))/(r/(-25)). Is n at most x?
False
Let v be (-2)/18 + (-1)/(-3). Let x be ((-17)/(-51))/((-10)/3 + 3). Which is smaller: v or x?
x
Let c(a) = a**3 - 16*a**2 + 23*a - 2. Let b be c(16). Let o be 238/b + 8/(-12). Is 0 greater than o?
True
Suppose 1 = 5*b - 19. Suppose 4*f - 8 = b. Is f at least as big as 1?
True
Let n(o) = -o**2 + 4*o + 1. Let d be 7 + 3 + 2/(-1). Suppose -12 = -5*a + d. Let i be n(a). Which is greater: i or 2/19?
i
Let f be 3/(-2) + 20/8. Which is greater: f or -183?
f
Let o = -3625.89 - -3610. Let w = 0.11 - o. Let p = w + -15.6. Which is smaller: -4 or p?
-4
Suppose 5*s + 619 + 1916 = 0. Which is greater: s or -506?
-506
Let z = 10 + 6. Let a = -13 + z. Is -0.1 greater than a?
False
Suppose 5*w - 10*w = -3*p + 3808, 3*w - 5*p + 2288 = 0. Which is greater: -762 or w?
w
Let v = 57.3 + -56.3. Is v bigger than -0.014?
True
Let w = 14 + -9. Suppose 11 = -2*g + 3*z, w*g + 3*z + 5 = 6*z. Which is bigger: g or 1?
g
Let d(y) = -21*y. Let a be d(0). Is a at most -10/9?
False
Let b be (-1)/((-2)/8*-4). Let t(a) = -3*a**2 - a - 2. Let h be t(b). Let s be 1 - h/(-8)*-18. Which is bigger: s or 9?
s
Let p be (-6 + 8)/(0 - 2). Let l be (p - 4)/(-6 - -5). Suppose 0 = 3*m - 2*q - 2, -l*m + 4*q + 2 + 0 = 0. Are 3/4 and m nonequal?
True
Let q be 262/1179*90/4. Do 23 and q have different values?
True
Let c(b) = -3*b + 17*b - 9*b - 4*b. Let a be (-5)/(-4) - 6/24. Let o be c(a). Is o less than or equal to 3?
True
Let l = 50 - 49. Which is smaller: 5/21 or l?
5/21
Let h(s) = s**2 + 13*s - 12. Let l be h(-14). Suppose -2*b + 112 = -r + l*b, -5*b + 10 = 0. Let y be (-8)/(-20) + r/10. Which is bigger: -11 or y?
y
Let s(a) = -3*a**3 - 33*a**2 - 25*a - 1. Let o be s(-10). Is o bigger than -50?
False
Let w = 130.41 + -0.41. Is -1 equal to w?
False
Let d be (48/(-120))/(2/(-5)). Let a be -9 - (-6 - 0) - (-1 + d). Is a greater than -13/5?
False
Let c be 10/(-8)*4209/(-690). Is 9 smaller than c?
False
Suppose 5*f + 238 = 12*f. Let c(o) = 21*o**2 + 1. Let y be c(-1). Let s = f - y. Which is smaller: s or 11?
11
Let z be (-2)/(-3) + (-4)/(-48)*385. Which is greater: z or 32?
z
Let z = 11 - 25. Let s = -2832 - -2818. Does z = s?
True
Suppose -2*n = -5*n. Suppose 4*m + n*m + 28 = 0. Let a(t) = -t - 8. Let d be a(m). Which is greater: 3 or d?
3
Suppose 4*f + 12*f + 4224 = 0. Which is smaller: -263 or f?
f
Suppose -2*b - 3*s + 288 = 0, -2*b + 117 + 175 = 5*s. Is b < 141?
False
Let a = -2 + 70. Is a bigger than 67?
True
Let t = -728 - -5094/7. Is t bigger than 7/20?
False
Let i = -162 - -141. Which is smaller: i or -2?
i
Let o = -981 - -982. Which is greater: -1475 or o?
o
Suppose -46*b = -42*b. Which is greater: 4/1015 or b?
4/1015
Let d(n) = 10*n - 87. Let y be d(9). Suppose b - 30 = y*f + 6, -5*b + 12 = -f. Is f at most -12?
True
Suppose -22*n + 211 = -119. Which is greater: -4 or n?
n
Let a(k) be the third derivative of k**6/240 + k**5/6 - 3*k**4/8 + 13*k**2. Let h(n) be the second derivative of a(n). Let l be h(-11). Are l and -14 non-equal?
True
Let a be (-46)/(-14) + (-26)/91. Let g be 12/a + 72/(-20). Which is smaller: 1 or g?
g
Let f = 6532/33 + -198. Let x be (-8)/2 + (-1)/(-1). Let t = x - -4. Is f >= t?
False
Let g(u) = -u**2 + u + 11. Let k be g(3). Suppose -3*y + 41 = j, -3*y + 75 = 2*y + k*j. Is y bigger than 16?
False
Let w be 72/135*6/(-8). Suppose -3*h = 2*p + 13, 3*h + 18 = -2*p - h. Which is bigger: p or w?
p
Let i be 3/(-6) - (-275)/6. Let y = i + -45. Which is smaller: 0 or y?
0
Let q be (-38)/(-6) - 66/(-99) - 7. Which is smaller: -17/101 or q?
-17/101
Let y = -1007/3 + 4969/15. Let r(u) = u**2 - 5*u. Let b be r(4). Is b less than or equal to y?
False
Let i be (-8)/(-36) + (-53)/36. Suppose 0*g + 3*g + 23 = -4*c, 0 = -3*c - 3*g - 21. Is c >= i?
False
Let v(u) = 3*u**2 + 24*u + 2. Let x be v(-8). Let w be 31*x/24 - (-15)/90. Which is smaller: 0.2 or w?
0.2
Let c = 384 - 385. Which is smaller: -2/31 or c?
c
Let q be (4/16*0)/(-3). Suppose 4*y - 4 - 8 = q. Let h be -3 + (7 - y/1). Is h greater than or equal to 2?
False
Let d = 0.17 + 1.83. Let o = d - 1. Let u = 0.7 - o. Is u less than or equal to -0.1?
True
Let g be (3/(-3))/((-1)/(-2)). Let j be 1*45/25 + g. Are -1 and j nonequal?
True
Let t(y) = -y**2 + 11*y + 1. Let b be t(12). Suppose -2*d = 2*d - 24. Suppose -3*v = -4*s + 10, -d*s = -2*v - 2*s. Are v and b non-equal?
True
Suppose 15 - 1 = 7*o. Suppose 0 = -l - i + 2, -o*l = -5*i - 4 - 0. Which is greater: -1 or l?
l
Let n = -0.02 - 6.58. Let f = 7.6 + -6. Let c = n + f. Which is smaller: c or -0.1?
c
Let h be (-7 + (-144)/(-21))*-1. Which is greater: -24 or h?
h
Suppose -3*z + 4*b - 9 = 0, -z + b + 0 - 2 = 0. Let v be z/(-2 - -96)*-2. Suppose 4*a + 0 + 5 = -y, -7 = 5*y + 2*a. Which is bigger: v or y?
v
Let f = 4124 - 449513/109. Does f = -1?
False
Let m = -29.58 + -17.4. Let v = 47 + m. Which is smaller: v or 1?
v
Suppose -3*h + 2*w - 4 = -h, -h - 4*w = 7. Let f be 21/h*(7 - 5). Which is smaller: f or -12?
f
Let n be 0 + (-1 - (-13)/9). Let y = 203 + -203. Which is smaller: y or n?
y
Let r = 129.1 - 129. Which is bigger: 77 or r?
77
Let u be 52/(-1456) + (-1501)/308. Let l(w) = -w**2 + w + 1. Let a be l(-2). Which is greater: u or a?
u
Let n(v) = -5*v**2 - 107*v + 21. Let l be n(-20). Which is smaller: l or 162?
l
Let u = -358 - -2508/7. Are u and -17/4 nonequal?
True
Let i(r) be the first derivative of -r**4/4 + 5*r**3 + 6*r**2 + 27*r - 35. Let t be i(16). Is -36 bigger than t?
True
Let m = 41/81 + -5/81. Let r(l) = l**3 + 12*l**2 + 18*l - 20. Let v be r(-10). Which is greater: m or v?
m
Let q = 22 - 9. Suppose q*l = 9*l. Which is greater: l or 6?
6
Let p = 334 - 348. Let c(z) = 4*z + 5. Let w be c(-5). Which is bigger: w or p?
p
Let m be 3 - (-28)/(-4) - -19. Let i be 5/(m/12) - -3. Let h(d) = d**3 - 6*d**2 - 7*d - 7. Let w be h(i). Is -6 at least as big as w?
True
Let i be ((-3)/20)/((-6)/(-35)). Let n(g) = -g**3 + 5*g**2 - 2*g + 48. Let x be n(6). Is x at most i?
False
Suppose -6 = -5*h + 14. Suppose h*f - 8*f + 76 = 0. Is 20 at least as big as f?
True
Suppose 6*t = 11*t + 3*i - 3403, 4*t = -i + 2728. Is 683 smaller than t?
False
Let a(n) = -n - 5. Let s be a(-9). Let d be 20/250 + s/(-10). Which is bigger: 0 or d?
0
Let