 + 2/(-3))/((-80)/(-48)). Let v(s) = -s**2 + 4*s + 5. Let q be v(5). Suppose p + 3*j + 7 = 0, q = -2*p + j + 2*j - 14. Which is smaller: p or y?
p
Let i be 101/7 + (-8 - 6). Let w = 0 + 0.1. Is w at most i?
True
Let c(b) = 19*b**2 - b. Let f be c(3). Let u be (-2)/3 + f/63. Are 2/3 and u non-equal?
True
Let w be 84/12*(-3)/(-21). Are w and -11/25 nonequal?
True
Suppose 32 = 6*y - 2*y. Let i = y - 10. Let o = -228 + 903/4. Is i < o?
False
Let t = 25.2 - 44.3. Let f = t + 20. Let b = 0.1 + f. Which is smaller: 12 or b?
b
Suppose -4*k = y - 71, -5*k - 47 + 134 = 3*y. Suppose 3*j - 3 = 2*m, j + 2*j - 9 = 0. Suppose -68 = -s - m*s. Which is smaller: s or k?
s
Let m be (-2)/4*0/3. Let x be (m - (-454)/146)/4. Let h = 2/73 - x. Which is smaller: -1 or h?
-1
Suppose -2*c = -379 + 331. Suppose 5*y - 124 = -4. Is c greater than y?
False
Let t(n) = n**3 + 4*n**2 + n. Let r be t(-4). Suppose 2*s - 6*s = 20. Is r < s?
False
Let o = -173 + 241. Is 70 > o?
True
Let k = 1983/2 - 948. Let r = -953/22 + k. Do -2/7 and r have the same value?
False
Suppose 77 = -8*z + 9*z + 4*m, -3*z + 3*m = -156. Are 58 and z nonequal?
True
Suppose 1447*s + 468 = 1446*s. Is s equal to -469?
False
Let c be (1/(-8))/((-63)/1683). Let l = c - -2739/56. Let b = -52 + l. Are b and -0.2 equal?
False
Let j = -131 - -132. Let a(u) = -13*u - 6. Let s be a(j). Which is smaller: s or -18?
s
Suppose 27*t + y = 29*t - 223, 5*y + 560 = 5*t. Which is bigger: t or 114?
114
Let z be (3 - (-1 - -3))*1. Let b = -117818/167485 - -680/2451. Let f = 12/41 + b. Does f = z?
False
Let d be (6/99*-3)/((-20)/(-30)). Which is greater: d or 1?
1
Suppose 96*k = 98*k + 4. Which is smaller: 0 or k?
k
Let w = -864 + 2321/3. Let a = 92 + w. Is 0 bigger than a?
False
Let a = -480 + 291. Is a at most 1?
True
Let c = -37 - -40. Let h be (27/(-6))/(c/4). Do h and -4 have the same value?
False
Suppose -738 = 20*c + 522. Which is bigger: -67 or c?
c
Let o be 3/(-2)*(-28 - -2). Let r = -139 - -269. Let g be (r/o)/((-2)/3). Is -5 less than g?
False
Let z = 338 + -336. Are -3/40 and z equal?
False
Let f = -592 + 477. Which is greater: f or -1?
-1
Let s = 9 + -15/4. Let x = s + -11/2. Suppose -2*n - 10 = -3*q, -5*q = n + 6 - 1. Which is smaller: q or x?
x
Let j(d) = -d**2 + 2*d + 30. Let q = 31 + -31. Let k be j(q). Which is smaller: k or 29?
29
Let t = -23 - -51. Let i = -35 + t. Suppose -2*p - 34 = 5*m, -3*m + p = -2*m + 4. Is m at most as big as i?
False
Let m(d) = -d**3 - 6*d**2 - 6*d - 18. Let h be m(-6). Let w be -12*-3*(-8)/h. Which is smaller: -18 or w?
-18
Let l be 7 + -4 + -2 + 4. Suppose 4*z - 2 = -l*w, z + 6 = 2*w - 0*w. Is 3 at most w?
False
Suppose -2*l = -17 - 1. Suppose -l*b = -4*b. Let a = -6 - -6. Are a and b equal?
True
Let f(a) = 2*a**2 + 4*a + 3. Let d(t) = t**2 + 5*t + 2. Let w(x) = -3*d(x) + 2*f(x). Let q be w(7). Let h be -1*(-20)/(-25) - 0. Is q > h?
True
Let p(f) = -4*f**3 - 133*f**2 - 39*f - 34. Let l be p(-33). Which is greater: l or 163?
l
Let b = 64.2 + -72. Let a = b + 6. Let p = 5.8 + a. Which is smaller: -2/7 or p?
-2/7
Suppose -3*p - 112 = 2*z + p, -4*z - 176 = -4*p. Let v be 4*(-13 - (0 + -1)). Are v and z equal?
True
Let y be (2/(-14))/(69/(-3381)). Which is smaller: y or 3?
3
Let n = -49 - -27. Let m = 21.9 + n. Which is bigger: 1 or m?
1
Let i be (1/(-2))/((2130/36)/(-5)). Are 0 and i non-equal?
True
Let d = 0.0038 + 195.9962. Which is bigger: 2 or d?
d
Suppose 0 = -5*p - 2*x - 1177, -p = -6*p - 4*x - 1169. Is -236 greater than p?
True
Let u = -626 + 623. Is u at most as big as -11?
False
Let k(f) = -f + 18. Let q be k(12). Let o(a) = a**3 + 8*a**2 + 5*a - 7. Let z be o(-6). Suppose p - z = -4*p. Are q and p nonequal?
True
Let n(g) = -2*g**2 - 133*g + 53. Let u be n(-68). Which is smaller: u or -152?
-152
Let l be (-2)/10 - 27/15. Let p be l + 0 + 2 + -3. Let f be (1/(-8)*6)/p. Is -1 at most f?
True
Let p be 50/22 - (-6)/(-2). Suppose -4*z = -3*z. Which is bigger: p or z?
z
Let v(u) = -6*u - 30. Let o be v(-14). Is 55 equal to o?
False
Let u be (-15 - -5)/10*-2. Is u not equal to 39/16?
True
Let x be ((-2)/(-8))/((-8)/36). Is 5 <= x?
False
Let l be ((-2)/12*-4)/(1233/54). Which is smaller: 1 or l?
l
Suppose -2*s - 2*s = -48. Let f = 51 - s. Is 38 < f?
True
Suppose 21 = -3*t - 0*x - 3*x, 0 = 2*t + 4*x + 20. Let d be 78/(-21) - (-2)/(-2). Is d at most t?
True
Let u = 17349/41 + -423. Let h(r) = -r**2 + 8*r - 1. Let w be h(8). Is w at least u?
False
Suppose o + 2*z = -0*o - 1, 3*o = -2*z + 9. Let h = -34 + 62. Suppose 2*s - o*b = h, -s + 44 = s + 3*b. Is 2/5 > s?
False
Let d = -58 - -55. Is d greater than or equal to -0.06?
False
Let i(g) = -2*g**2 + 5*g - 36. Let x be i(6). Is -78 bigger than x?
False
Let r(z) be the third derivative of -z**4/24 + 7*z**3/6 + 2*z**2. Let g be (-8*(-18)/60)/((-2)/(-5)). Let b be r(g). Which is smaller: 6/11 or b?
6/11
Suppose -3*r + 0*x = 4*x - 32, 0 = r - 4*x + 16. Suppose -11 = -3*j - 5. Suppose 3*b - u - 10 = 0, 0*b - 2*u = -j*b + 8. Which is bigger: r or b?
r
Let h(a) = -a - 6. Let b be h(8). Let w be (4 + 6)*2/b. Suppose -13*p + 2 - 2 = 0. Is p bigger than w?
True
Suppose 3*n = -4*s - 8, s = 3*n - 5 + 3. Let b = 26.7 + -26.8. Which is greater: n or b?
n
Let s = 1/4086 - 198173/8172. Is -24 at least s?
True
Let g be (-15)/(-9) - 4/2. Let m(w) = -2*w**2 + 5*w + 2. Let l be m(-1). Which is smaller: g or l?
l
Let i(f) = 12*f + 58. Let s be i(-5). Which is smaller: 7 or s?
s
Let i be (2/10)/((-16)/(-5) - 4). Is i > 0.21?
False
Let i = 67 - 136. Let u = i - -91. Which is greater: u or 0?
u
Suppose d - 7 = -m, -3*d + 9 = -0*d. Let y be (-22)/(-8) + 1/4. Suppose -y*p = -o + 4, -2*o + 6 = -m*p - 0*p. Which is smaller: o or 3?
o
Let h(k) = -k - 4. Let q be h(4). Let s(r) = r**3 - 7*r**2 - 6. Let l be s(7). Let c = q - l. Is -2/3 < c?
False
Let x = 16 + -20. Let n = 3.83 + x. Let t = n + 4.17. Which is bigger: -2 or t?
t
Let u = 245 + -245.2. Which is smaller: u or 16?
u
Let k be (-48)/(-22) + (-177)/(-649). Which is greater: k or 1?
k
Let m = -2/2001 + 2389/388194. Which is smaller: -1 or m?
-1
Let n(z) = z**3 - 3*z**2 - z + 8. Let v(a) = a**3 - 4*a**2 + 9. Let c(k) = -5*n(k) + 4*v(k). Let l be c(-3). Does l = 3/7?
False
Let t(p) = p**2 - 8*p. Let g be t(8). Let s be 14 + (g - 3/1). Suppose s = 3*w - 0*w - 5*l, -5*w - 35 = 5*l. Which is smaller: 0.2 or w?
w
Suppose -8*p = -9*p + 3. Suppose 2*c + 5*z + 40 = 0, -p*c - 2*z - 26 = -3*z. Let o = c - -33. Which is smaller: 22 or o?
22
Let i = -234 - -293. Which is smaller: 0.1 or i?
0.1
Let u = 98 - -7. Let c = u - 104.4. Are c and 4 unequal?
True
Let z = 11 + -10.81. Let u = -0.09 + z. Let j = -181 - -176. Do j and u have different values?
True
Let c be (-20)/(-171) - 4/18. Let v be -5*1*(-6)/10. Suppose -w = -4*k + 2, -v*w - w = -2*k + 8. Is c < k?
True
Suppose -19*f + 15*f - 4 = 0. Let q be f + 1 - 6/(-114). Is 0.1 at least as big as q?
True
Let y = 140 + -136. Suppose 4*u = -2*i + y, 2*i + 3*u + 0*u = 3. Is -2/25 at least i?
False
Let r(c) = c**3 - 3*c + 2. Let n be r(4). Suppose -5*p = 16 + n. Which is greater: p or -12?
-12
Suppose -5*n - 4*r = -2*n - 23, 0 = 14*n + r - 19. Let x = 48 + -193/4. Which is smaller: n or x?
x
Let v = -0.8666 - -0.0466. Is -4 greater than v?
False
Suppose -2*y = 4*u - 1692, -850 = 2*u - 4*u - 3*y. Which is bigger: u or 421?
u
Suppose c - 7*c = -24. Suppose 3*k = -w + 9, 0*w - w - 19 = -c*k. Let v(m) = m - 5. Let o be v(0). Is o equal to w?
False
Suppose 20*m - 6369 - 6291 = 0. Is 634 bigger than m?
True
Suppose 0 = 12*n + 168 - 156. Is n >= -91?
True
Let g = -18997.69 - -18846. Let x = 151 + g. Let y = x - 0.21. Which is bigger: 0 or y?
0
Suppose -4*c = -0*c. Suppose l + 4*l - 20 = c. Suppose -l*n + n = 0. Which is smaller: n or -3/7?
-3/7
Suppose -12*y = -9*y. Let z be 3 - 0*(-5)/(-10). Let n be (-134)/(-34) + z + -7. Which is bigger: y or n?
y
Suppose -7*q = -5*q - 4. Suppose 0 = -q*v + 3*k + 21, -9*v + 3*k = -6*v - 27. Which is smaller: v or 5?
5
Let v = 11 + 10. Let z = 123 + -101. Which is smaller: z or v?
v
Suppose -3*q + 37 = -x + 24, -3*q = -5*x - 29. Do -1/68 and q have different values?
True
Let k(l) = 3 + 0*l + 2*l + l**3 + 6*l - 8*l**2 - 1. Let i be k(4). Which is smaller: -29 or i?
i
Let c = -4 - 77. Let x = 14 - c. Let f = 67 - x. Which is smaller: -27 or f?
f
Su