 z. Which is smaller: f or 4?
4
Suppose 0 = 5*y - 5*s - 8750, 9*y - 8732 = 4*y - s. Which is smaller: 1748 or y?
y
Let z = 769 - 25372/33. Which is bigger: z or -1?
z
Let c = 44 + -28. Let s = -16.1 + c. Is -4/7 equal to s?
False
Suppose 3*w = 5*n + 122, -2*w = -3*n + w - 72. Let i = n + 24. Let f be (-8)/2 - -3 - i. Which is bigger: f or 2/49?
2/49
Let c = 2/255 + -536/3315. Suppose 23 + 6 = -29*l. Which is smaller: c or l?
l
Let z be (8/5 - 0)*5. Let l be 5/(-5)*2*(-34)/17. Is l <= z?
True
Suppose -2*w = -7*w + 4*z - 13, -z = -w - 3. Which is smaller: -1/184 or w?
w
Let j(m) = 5 + 4 - 10 - m - 1. Let i be j(-2). Which is smaller: i or -3/19?
-3/19
Let n = -12 + 8. Let q = -1 - -1. Which is smaller: n or q?
n
Let h = 49 + -91. Let a = -51 - h. Let o be (5/15)/(1/(-21)). Which is smaller: o or a?
a
Let g be (-5404)/(-77) + 7/((-154)/4). Suppose 90 = -2*b + g. Is b at least as big as 1/5?
False
Suppose 13*t + 256 = -381. Is -51 at most as big as t?
True
Let n = -185.1 - -196. Let x = -10.42 + n. Is 0.1 >= x?
False
Let z be -3 - (-347)/(-6) - 0. Suppose 4*o - 228 = 4*q, 0 = -2*q + 4*q + o + 126. Let b = z - q. Are b and 1 nonequal?
True
Suppose 4 - 34 = -2*z. Let k = 12 - z. Let t = -0.1 - -0.2. Which is greater: k or t?
t
Suppose 63 = g + 64. Let x be -1 - (3/(-18) + g*3). Is 3 <= x?
False
Let j = 1008 + -12083/12. Let r be -3 + 3 + 15/(-36). Let y = j + r. Which is greater: 2 or y?
2
Let t be 54/(-36)*3/18. Which is smaller: t or 3.98?
t
Let m be 2/(3/(-18)*-4). Suppose -4*q + m*q - 1 = 0. Let n = 28/3 + -361/39. Which is smaller: n or q?
q
Let k be (-22)/10 - (-12)/10. Which is greater: -1.32 or k?
k
Let v(y) = 4*y + 1 - 28 - 3*y + 0. Let m be v(23). Which is bigger: -5 or m?
m
Let r = -1.6 + -5.4. Let v = 7 + r. Which is greater: v or -2/13?
v
Let c = -1447.9 - -1449. Which is smaller: c or 93?
c
Let b(y) = -3*y + 4. Let w be b(1). Suppose -3*h + 10 = -14. Suppose 9*c + w = h*c. Which is greater: c or 6/13?
6/13
Let k(i) = i**2 + 7*i + 13. Let p be k(-7). Let r be 3 - (2 + -2 + 2). Let f be (-25 - r)*(-2)/4. Is p equal to f?
True
Suppose -3*h - 3 = 0, -5*h - 240 - 373 = -4*i. Which is smaller: i or 454/3?
454/3
Let g = 3/2377 - -140222/16639. Which is bigger: 8 or g?
g
Let z = -179 - -175. Is -13 not equal to z?
True
Let l = 92 - 91.81. Let b = 33.13 + -33. Let x = b - l. Which is greater: x or -2?
x
Suppose c + 308 = 313. Is c at least 31/6?
False
Let u = -2/15895 - -4259878/143055. Which is smaller: u or 30?
u
Suppose -5*t + 0*q - 47 = -q, 3*t = 4*q - 18. Let h = -10 - t. Suppose -2*c - 3*c = h. Is c greater than or equal to -2/3?
True
Let x be (-22)/(-22)*(-8)/(-20). Which is bigger: x or 219/2?
219/2
Suppose -1 = -u, -4*u = -7*m + 2*m + 1. Let g = 9307/1026 - 172/19. Which is smaller: m or g?
g
Let j(p) be the third derivative of p**5/60 + p**4/4 - p**3/3 + 7*p**2. Let r be j(-7). Suppose -r*f = -3*f - 2. Do 4/17 and f have the same value?
False
Let o = 23 - 37. Let j = -7 - -20. Let h = o + j. Which is smaller: h or 3?
h
Let k be 31/(24/26 - 1). Is k > -402?
False
Let n(t) = -41*t + 800. Let g be n(23). Is -2 equal to g?
False
Let j = 29/4 + -43/6. Let b be (2/(-3))/(4*(-1)/(-6)). Do b and j have different values?
True
Let d = 177 - 345. Let r be (-13078)/d + 2/8. Let h = -236/3 + r. Is -2 at most h?
True
Let s = 3 + -9. Let p = s + 4.4. Let v = p - 1.4. Which is greater: v or -2/5?
-2/5
Suppose 0 = -5*s - 2*v + 4, 0 = -3*s - 2*v + 9 - 5. Is 11/12 not equal to s?
True
Let v = -164.6 - -143. Let j = 3.6 + v. Let m = j + 0. Is m less than -0.1?
True
Let f be -4 + ((-57815442)/7592)/9. Let p = 11049/13 + f. Let d = p + -2/73. Which is greater: d or -0.13?
-0.13
Let j = -13043 - -3286841/252. Is 1 smaller than j?
False
Let g = -865 + 863. Let s be 5/(-3) + 1/1. Which is greater: s or g?
s
Suppose 3*z + 3*d + d = -11, 4*z = 5*d + 6. Which is greater: -2/2361 or z?
-2/2361
Suppose 5*d - 4*u = -3 + 4, 0 = -5*d + 3*u + 2. Let f = -1050 - -40948/39. Which is bigger: d or f?
d
Let q(k) = -k**3 + 6*k**2 - 5*k + 30. Let x be q(6). Let l be 48/(-70)*49/(-70). Are l and x unequal?
True
Suppose -5*u = 3*h - 58, 62 = 3*u - 5*h - 0*h. Let v be 20/70 - 32/u. Let c be 3/5 + (-2)/((-210)/(-123)). Is c greater than or equal to v?
True
Let x = -72 + 134. Let t be (x/150 - 1) + (-22)/(-33). Let n = -2 + 3. Which is smaller: n or t?
t
Let o = -436 - -293. Let x = o + 148. Which is bigger: -3 or x?
x
Suppose 30 - 21 = 9*t. Suppose 0*o = -4*o - 5*j + t, 0 = 5*o + 5*j. Is o at least as big as -5?
True
Suppose 0 = -3*t, -m + 3*m = 4*t + 4. Suppose 4*q = 2*n - m, n + 0*n = 3. Is 1 at most q?
True
Let z = -290 + 320. Is 2 != z?
True
Suppose 2*f = n - 4 - 0, -5*f + 3*n - 8 = 0. Let d be 1*2 + 69/(-12)*f. Which is bigger: d or 26?
26
Let b be 15/(-4)*(132 + -144). Let f = 37 + 9. Which is smaller: f or b?
b
Suppose -2*f - 4*u = -10, 2*f = 4*u - 14 - 16. Let i be 2 + ((-225)/(-24))/f. Let v = -12 + 11. Which is smaller: v or i?
v
Let d be 12 + (-10)/(4900/5922). Let n = -1 + 1. Is d > n?
False
Let u(w) = -w**3 + 33*w**2 + 38*w - 22. Let h be u(34). Is h at most as big as 0?
False
Let y = -18 + 20. Suppose -a = -0*a + y*f + 78, -f = -1. Let d be (32/a)/((-22)/(-10)). Do d and -3 have the same value?
False
Let i be -2 - (1 + -4 + 2). Let r be (-29 - -4) + i + -4. Is r > -29?
False
Suppose 3*k = 7*k + 4. Let a(y) = -y + 9. Let f = 37 + -29. Let i be a(f). Which is smaller: i or k?
k
Let w = 71108062/4324125 - 14718/887. Let c = -2/375 + w. Suppose -4*k + 41 = 37. Which is bigger: k or c?
k
Suppose 0 = 3*f + 1253 - 62. Is f greater than or equal to -396?
False
Let a be (5 - -1) + (-148)/18*1406/1924. Let w = 0 - 0. Which is greater: a or w?
w
Suppose 0 = -3*p - k + 154, p = k - 5*k + 66. Is p < 5?
False
Suppose 0 = -2*v - 0*v + 58. Let g be 5 - (84/49)/(2/(-28)). Is v > g?
False
Let w be 185/(-618) - (-5)/15. Let p = 3345/1442 - w. Is p >= 3?
False
Let p = -400 + 399.978. Which is greater: -3 or p?
p
Let r be (1 - 0)*(-11 - -7). Which is smaller: -14/3 or r?
-14/3
Let g = 19 - 39/2. Let w = -2629033/15075 - -4361/25. Let o = -12/67 - w. Which is smaller: g or o?
g
Let b(t) = -t + 5. Let i be b(-3). Suppose i*k = 5*k + 93. Which is smaller: 59/2 or k?
59/2
Let b be (-5 + (-10662)/(-2132))*-4. Which is smaller: -1 or b?
-1
Let k be ((-2)/5)/((-858)/(-260)). Which is bigger: k or -6/5?
k
Let c = 5 - 1. Suppose -4*t = -5*t - z + 2, 2*z = -5*t + c. Are t and -2/13 non-equal?
True
Let t = 71 - 1773/25. Let j(z) = -z**2 + z - 3. Let l(i) = 2*i**2 - 2*i + 4. Let v(b) = 3*j(b) + 2*l(b). Let o be v(-1). Are o and t non-equal?
True
Suppose 630 = 3*v - 3*y, 5*v + 3*y - y = 1078. Let m = -330 + v. Let t = -578/5 - m. Which is smaller: -2/15 or t?
-2/15
Let t(r) = -r**3 - 19*r**2 + r + 15. Let d be t(-19). Let m be (d/18)/(6/9). Let c = -0.88 - -1. Which is smaller: m or c?
m
Let j be 3/((21/(-5))/(-7)). Is 18 at most as big as j?
False
Let m(a) = a**2 - 4*a - 7. Let g be m(5). Suppose 3*i - 123 + 100 = d, 2*d + 16 = -4*i. Which is greater: g or d?
g
Let p be (-49)/(-98)*(-2)/(-4). Let h be (-25)/20*9/(-15). Is p at most h?
True
Let o = 3/3049 + -826345/67078. Let i = -25/2 - o. Which is bigger: 1 or i?
1
Let g(p) = -3*p + 10. Let a be g(3). Let z be 22/165 - -44*a/(-105). Which is greater: 2.6 or z?
2.6
Let z = -0.087 - -1.167. Let y = 1.04 - z. Which is greater: -0.9 or y?
y
Let b(n) = -n - 6. Let t be b(-8). Suppose -3*a - t*a = 60. Let y be 66/a*(0 - 2). Is y less than 11?
False
Let w = -1147/20 + 231/4. Which is bigger: w or -1?
w
Let i = 194.046 + -194. Which is bigger: i or -3?
i
Suppose z + 3*x - 42 = 0, -5*x + 122 = -188*z + 191*z. Is 39 <= z?
True
Let y = -1362 + 1734. Do 372 and y have the same value?
True
Suppose 4*q + 381 = -o, 0 = -15*q + 11*q - 3*o - 375. Is q bigger than -97?
True
Suppose 13*m + d = 8*m + 719, -5*d - 581 = -4*m. Is 144 >= m?
True
Let f(m) be the third derivative of -m**4/24 - m**3/3 - 4*m**2. Let v be f(-6). Suppose -3*p = -v*p + 8. Which is smaller: p or 9?
p
Suppose 4*w - 5 = 35. Let l be 1*(0 + 0 - -19). Suppose -5*b = -2*b + 4*o - 42, b = -3*o + l. Is b at most w?
True
Let u be 314/522 + (-4)/18. Let t = -222022/46719 - -1857/358. Let j = u - t. Is j smaller than -1?
False
Suppose -32 = -j - 8*u + 6*u, 2*j + u - 70 = 0. Which is bigger: j or 31?