). Which is smaller: 6/25 or t?
t
Suppose -9*y + 2*y = -49. Let d = y - 21. Which is smaller: d or -13?
d
Let o = -517 - -492. Which is smaller: o or -21?
o
Let j(l) = 3*l + 7. Let y be j(-2). Let b be 5*(y - 4) - 4. Which is smaller: b or -21?
-21
Let z = 41 - 51.6. Let s = -53.6 - z. Which is smaller: s or -1?
s
Suppose 557 + 735 = 19*v. Suppose v = y + 3*y. Are 0 and y equal?
False
Let n be (-5)/((-70)/(-12))*(-31)/(-8463). Is 1 at most as big as n?
False
Let q = -13 + -6. Let t = -23 - q. Which is smaller: t or -1?
t
Let h = 151/85 + -37/17. Which is bigger: -0.32 or h?
-0.32
Let z be 3 + 1*(0 + -1). Suppose 36 = 2*n - 2*l, 4*n = 3*l - 4*l + 47. Let x = n + -13. Which is smaller: z or x?
x
Suppose 0 = 3*n + 2*g, 3*g = -n + 2*g. Is n at least -1/317?
True
Let b be (8/(-402))/((-3)/(-9)). Let w = b - 106/469. Let h = -262.5 - -261. Do w and h have the same value?
False
Let l(x) be the second derivative of -x**4/12 - 7*x**3/3 + 7*x**2/2 - 18*x. Let h be l(-16). Is h != -26?
True
Let m(o) = o**2 - 3*o - 5. Let r = 13 + -8. Let p be m(r). Suppose -2*w + 3*w = 4*n + 45, -p*n - 60 = -2*w. Which is greater: n or -9?
-9
Let j = 13.023 + -12.31. Which is smaller: -0.1 or j?
-0.1
Let w = -10 - -14. Suppose 35 = 4*s - 3*u, -w*s + 7 = 2*u - 3. Suppose s*h + 7 = -3. Is h at most -5/2?
False
Let o = -16.032 - -16. Let q = o - -0.032. Which is smaller: q or -72?
-72
Let f(g) be the second derivative of g**4/12 + 23*g**3/6 - 35*g**2/2 - 5*g. Let w be f(-26). Which is smaller: 45 or w?
w
Suppose 0 = 12*m - 54 - 450. Is 42 < m?
False
Let n be 5190/357 - (-24)/84 - 0. Which is smaller: 16 or n?
n
Let a(d) = -d + 4. Let w be a(2). Suppose 5*o - w*o = 33. Let k = 11 - o. Do -1/4 and k have different values?
True
Let o(z) = -z**3 + 18*z**2 - 21*z - 24. Let u be o(17). Let r be (u/(-6))/(-2*(-28)/(-36)). Is r > -10?
True
Let z = 0.0306 - -0.9694. Is -9.4 != z?
True
Let r = -294 - -308. Which is smaller: r or 17?
r
Let c be 30/105 - 807/7. Is c at most -115?
True
Let q = 1299 + -2594. Is -1295 equal to q?
True
Let b = 354029/66 - 62094/11. Let w = 348 - 68. Let z = w + b. Which is smaller: z or 0?
z
Suppose b + 45*x + 1 = 49*x, -x = b + 21. Which is greater: -18 or b?
b
Suppose -q + 5 = 0, i + 0*q + 2*q - 20 = 0. Let g(s) = s - 11. Let v be g(0). Let p = v + i. Which is greater: -2 or p?
p
Let r(n) = -6*n + 38. Let j be r(0). Is -2/5 != j?
True
Suppose -6981 + 7002 = 3*u. Are u and 1 equal?
False
Suppose d + 8*p = 13*p - 76, -215 = 3*d - 2*p. Is d less than or equal to -71?
True
Suppose -m = -u - 4, -u + m + 4 = -4*u. Let d = 8 + -3. Let a = -9 + d. Does a = u?
False
Let w = -308 + 333. Which is bigger: w or 29?
29
Let r(w) = -3*w - 69. Let s be (-12)/9*66/4. Let d be r(s). Is d > -4?
True
Suppose u - 2 - 14 = 0. Let k be (-15)/(-18)*u/20. Let n = 1 - 1. Is k smaller than n?
False
Let y(s) = s**3 + 5*s**2 - 3*s - 3. Let g(t) = t**3 + 15*t**2 + 13*t - 19. Let q be g(-14). Let h be y(q). Is h not equal to 25/2?
True
Let m = 14 - 19. Let t = -2 - 1. Which is smaller: m or t?
m
Let n = -176355/104 - -13455/8. Which is greater: -14 or n?
n
Suppose -49*q = -24*q - 975. Which is bigger: q or 36?
q
Let h = 10.1 + -10. Let y = 5.04 + -5. Let w = y - 0.84. Which is smaller: w or h?
w
Let u = -8.41 - 63.59. Which is bigger: u or 2/13?
2/13
Let v be (-1055)/55 - (-3)/(15/25). Which is smaller: v or -15?
-15
Suppose 6 = 3*w, -3*q - w + 1 + 19 = 0. Let x be 2/q + 34/6. Let m be (3/x)/(2/(-48)). Is m at most as big as -12?
True
Let b = -1977 + 1981. Which is smaller: b or -0.17?
-0.17
Let s(r) = r**2 - 3*r - 68. Let q be s(8). Let o = q + 51/2. Suppose -4*d - 10 = -2*f, 0 = d + 4*f - 6*f + 1. Is d > o?
False
Let v = -13.01 - -24.01. Which is smaller: v or 4?
4
Suppose 4*o - 16 + 20 = 0. Let w = -88 + 88.16. Is o <= w?
True
Let o = -16 - -22. Let t = o + -11. Let y = 5.03 + t. Are -2/5 and y equal?
False
Let l = -185 - -741/4. Which is bigger: l or 3/22?
l
Let x be (7/(-119))/((-10)/4). Let q(l) = -l**3 + 7*l**2 - 7*l - 6. Let j be q(6). Let v be 2/(-3)*j/8. Which is bigger: x or v?
v
Let l be -2 - ((-78)/(-12)*2 - -1). Is -21 at least as big as l?
False
Let a = 45.99 - 46.89. Let f = -4 + 1. Let v = f - -2. Which is smaller: a or v?
v
Let t = 20306/3 + -6671. Let s = t + -99. Which is greater: s or 0?
0
Let s(o) = o**3 - 7*o**2 + o + 3. Let p be s(7). Suppose -4*i = -3*u - 17, p = -u + 5*i - 3. Let n = u - 2. Are -4 and n unequal?
True
Suppose -9 = 4*g - g. Let w be (1 - g)/((-6)/(-15)). Suppose -3*c = 2*c - w. Is c greater than 1?
True
Let h = -2.88 - 39.42. Which is smaller: h or 1?
h
Let q = 107 + -102. Suppose 0 = 3*j - q*j + 5*j. Which is greater: j or 3/88?
3/88
Let g(u) = -u**3 - 3*u**2 - u + 10. Let a be g(0). Let y(k) = -4*k + 23. Let x be y(a). Which is smaller: x or -35/2?
-35/2
Suppose 2*m - 17 = -t, -2*t + 3*t = 4*m + 5. Let z(g) = 1 + 0*g + 12 + g**2 - 3*g. Let h be z(0). Is t at least as big as h?
True
Let o be 5 + (5 + -9 + 5)*-7. Which is smaller: o or 5?
o
Let s = -328 - -326. Which is greater: -3 or s?
s
Suppose 0 = -3*y - y + 2*v - 56, 3*y + 55 = -5*v. Is -15 equal to y?
True
Let i be ((-12)/(-405))/((-154)/35). Suppose -4*y + 2*m = 10, 3*y - 15 = -y - 3*m. Is y not equal to i?
True
Suppose 708 = -2*p + p + 3*z, 0 = -2*p - 5*z - 1361. Which is smaller: p or -692?
p
Let n be -2*(-1 + -4)*-1. Which is smaller: -45/4 or n?
-45/4
Let b = 1171/7650 - 7/50. Is b less than -1?
False
Let j = -292.84 - -122.15. Let w = 170 + j. Which is smaller: w or -0.1?
w
Let v(o) = -o**2 - o + 5. Let f be (3 + 6/(-2))/(-1). Let k be v(f). Is 5 at least k?
True
Let r(h) = -3*h + 38. Let l be r(12). Suppose -p = -l*b + 14, 0*b = 4*b - 8. Which is bigger: p or -9?
-9
Let m be -3 - -2 - 125/(-75). Let a = 0.2 - 0. Which is smaller: a or m?
a
Let t be (-19)/(-76) - (-157966)/(-732072). Let w = -1/3102 + t. Which is greater: -1 or w?
w
Let v = -3 - -2. Let g be (3 - 8) + 2054/390. Which is bigger: g or v?
g
Suppose 4 = 2*w, 11 = 2*m + 4*w - 27. Suppose -19*o + 4 = -m*o. Is o bigger than -5?
True
Let y = -556958/5 - -40475064/365. Let l = y + 501. Are l and 0 nonequal?
True
Let b = -43 - -901/21. Let n = -0.89 + -0.11. Which is smaller: n or b?
n
Let r(y) = -y**3 - 6*y**2 + 3*y + 6. Let p be r(-6). Let i = -11 - p. Which is smaller: 7/4 or i?
i
Let j = -41267/3460 - -239/20. Let o = j - -230/5017. Suppose 0 = 5*c - 4*q + 5, 5*c = -5*q + 4*q - 5. Does o = c?
False
Let m be (-5 + -4)*40/(-12). Let l = -20 + 48. Is l smaller than m?
True
Let u = 38 - 38.42. Let n = u - -18.42. Let v = -15 + n. Is -2/7 equal to v?
False
Let v = 0 + 8. Let x be ((-5)/v)/(2/(-40)). Let y = -555 - -569. Which is bigger: x or y?
y
Let i = -0.08 + -13.92. Let f = i - -14. Let u = 0.6 + -1.6. Do f and u have the same value?
False
Let k be 10 - (-1 - -3) - 2. Let l be (k/(-8))/((5 + -4)/4). Do l and 4 have the same value?
False
Let c = -1359 - -1541. Which is smaller: c or 183?
c
Let b be (2 + -3 - -3) + -1771. Let f = -19441/11 - b. Is f not equal to 1?
True
Let p be (-2)/(-3) - (3 + (-235)/120). Suppose 0 = -4*z + 7*z - 15. Suppose -4*n + z = n. Which is smaller: p or n?
p
Let d = -9 - -9.2. Suppose 25 = g + 4*g, 5*t - 4*g = -105. Which is bigger: d or t?
d
Let w = -784703/44085 - 2/8817. Let q = w + 91/5. Is q greater than 0.1?
True
Let b be (-42)/(-70) - (-2)/(-20). Suppose 10*s = 8*s - 8. Let k = -25/6 - s. Which is bigger: b or k?
b
Let x = -153 + 150. Let c = x - -1. Is 1/7 less than or equal to c?
False
Let t(b) = -4*b + 1 + 2*b**2 - 4*b**2 + b**2 + 0. Let x = -14 - -10. Let v be t(x). Are 3 and v equal?
False
Let h(u) = -83*u - 1834. Let x be h(-22). Let k(b) = b**3 + 2*b**2 - 1. Let p be k(-3). Is x greater than or equal to p?
True
Let s = 25 + -21. Let m be (s + -2)/(-6 + 4). Let w be (m/2)/(129/12). Is 0 < w?
False
Let g be -2 + -1 + 1 + 4. Suppose -135 = -g*u - 3*u. Let r = 80/3 - u. Which is greater: -1 or r?
r
Let x be 3/12 - 38/(-8). Let c = 14 - 14. Suppose c*l = -3*l + 6. Which is greater: x or l?
x
Suppose -5*v - 2*z = 211, 4*z + 1 + 120 = -3*v. Is -43 less than v?
False
Let v(r) = 39*r**2 - 45*r - 46. Let i be v(-1). Let f(o) = -o + 37. Let h be f(0). Is h greater than or equal to i?
False
Let n = -3107/24 - -195149/1320. Let q = 91/5 - n. Are 2/23 and q equal?
False
Suppose -2*x - 40 = -5*