40
Let t be 6*(104/120)/(-13). Which is smaller: t or 2/15?
t
Let z(f) = 2 - 2*f - f + 3 + 3. Let a be z(0). Is 0.2 < a?
True
Let j be ((-72)/27)/((-2)/(-12)). Let p(d) be the third derivative of -7*d**4/12 - d**3/6 - 3*d**2. Let t be p(1). Which is smaller: j or t?
j
Suppose 6*u = 8*u - 2*l - 2376, 5946 = 5*u - 2*l. Which is greater: u or 1191?
1191
Let x = 486.92 - 487. Let a = -2/13 - 3/65. Which is smaller: a or x?
a
Let t = 0 + -1. Let k = -2345.934 - -2346. Which is greater: k or t?
k
Let z = -26.7 + 25. Let w = -0.3 + z. Suppose 8*o + 8 = 4*o. Are w and o equal?
True
Suppose 3*i = -19 - 20. Which is smaller: -1 or i?
i
Let m = 2794/3 + -998. Which is greater: -66 or m?
-66
Suppose 8 = -0*o - 2*o. Let s be (-27)/36 + 31/4. Let x(m) = -m + 4. Let z be x(s). Which is bigger: z or o?
z
Let g = -243303 - -3647462/15. Let l = 226 + -87. Let v = g + l. Is v less than -1?
False
Let t = -6.996 - -0.096. Let n = t + 7.2. Is n at most as big as 8?
True
Let i be (-26)/4 - 2/4. Suppose -448*k = -451*k - 9. Is i at most as big as k?
True
Let b = 2659 + -2906. Are b and 1/2 nonequal?
True
Let n(x) = x**3 + 8*x**2 - 8*x + 3. Let a be (-8)/(-2) - (18 - 5). Let b be n(a). Let w be (b/(-7))/((-12)/84). Is -2/3 less than w?
False
Let o = -1677 + 1676.9736. Which is smaller: o or -1?
-1
Suppose 6*n + k = 2*n + 55, -5*n + 77 = 4*k. Let y = 8 - n. Are y and -34/7 non-equal?
True
Let u = -20 - -22. Suppose 2*m + u*m - 4*j = 24, -4*m + j = -24. Let c be 39/m - (-6)/4. Which is smaller: 7 or c?
7
Let y(s) = 4*s - 7. Let z be y(2). Let w be (z + -3)*2 + 8. Let f be (w/((-8)/5))/(-5). Is 1 less than or equal to f?
False
Let g be -8 - (0 + 0)/2. Suppose -7 - 11 = -h - 5*a, -5*h = 2*a + 25. Which is smaller: g or h?
g
Let m be ((-24)/(-84))/(2/14). Let v be (-2 + 3 + -37)/(-3 - m). Which is greater: 8 or v?
8
Suppose -f - 2*f = 2*w + 349, -4*f = -w + 480. Let x = f - -135. Which is bigger: x or 18?
18
Let h = -236/65 + 42/13. Which is smaller: h or 199?
h
Suppose 11*s + 4*s = 0. Let w = -3914 - -1295533/331. Does w = s?
False
Let a be (-130)/(9/((-72)/(-16))). Which is smaller: a or -63?
a
Suppose 0 = -3*q + 2*w - 0*w - 6, q = 5*w + 11. Let n be q*(1/12)/(1/3). Let x be (6 - 7)/(2 - 1). Is x less than n?
False
Suppose -2*d - 21 = 3*a, 0*a + 6 = -2*a. Let f be -1 + d - 2/1. Which is smaller: f or -10?
-10
Suppose 4*i - 6*i = -m - 6, 0 = 2*m - 8. Suppose -2*a + 15 = i. Suppose a*n = -0*g + g - 26, g - 6 = n. Which is bigger: g or -1/3?
g
Suppose 10*n + 5*j + 5 = 9*n, 0 = -4*n + j - 62. Let p be ((-2)/33)/((-5)/n). Which is smaller: p or -1?
-1
Let s = 354 + -1063/3. Suppose 0 = -c - 1. Let j be 0/((c/(-1))/(-1)). Which is bigger: s or j?
j
Suppose -121*r - 792 = -124*r. Which is greater: 265 or r?
265
Let l = 13 - 13. Suppose -4*a - 1 = -s, l*s - a = -2*s - 5. Let d be (12/10)/(s/60). Are 2/7 and d unequal?
True
Suppose 4*a - 8 = 0, 5*t - 23*a + 24*a = 507. Are 89 and t equal?
False
Let t = -9.09 - -8.29. Which is smaller: t or -5?
-5
Let i = 10.454 - 10.2. Which is smaller: 1 or i?
i
Let t be -8*(-9)/((-45)/(-20)). Let m = t - -6. Which is smaller: 40 or m?
m
Let i(p) be the first derivative of -p**4/2 + 4*p**3/3 - p**2/2 + 2*p + 3. Let f be i(2). Which is greater: 3 or f?
3
Suppose -47 - 106 = -17*p. Which is greater: 7 or p?
p
Let k be (2/4)/((-28)/(-26)). Let d = 2/7 + k. Does 0 = d?
False
Let p(o) = -o + 8. Let v be p(4). Let w be v/(-10) - (-1104)/60. Let y = w + -17. Is y < -2/5?
False
Let u(h) = h**2 + 2*h - 4. Let o(q) = q**3 + 9*q**2 + 9*q + 11. Let i be o(-8). Let p be u(i). Is p <= 10?
False
Let b(m) = -m**2 + 9*m - 21. Let c be b(5). Suppose 2*t = w - 59, -2*t + 0*w - w = 65. Which is smaller: c or t?
t
Let c(u) = -283 + 15*u - u**2 + 283. Let y be c(11). Let i be y/(-11) - (-98)/25. Is 0 not equal to i?
True
Let u be 17/34*(1 + -1 + 0). Suppose u = 2*p + 6, 3*p = 3*h - 65 + 8. Is 18 equal to h?
False
Let k = -14 + 6. Let f = 3 - 1. Let r be 1/f*-8 + -2. Is k less than r?
True
Let r = -80 - -91. Which is smaller: 4 or r?
4
Let k = -1073/63 + 17. Is -1 smaller than k?
True
Let i(t) = 10*t + 1. Let d be i(-2). Let o(s) = -19*s + 1. Suppose 3*w + 4*l - 4 = -5, 2*w - 3*l - 5 = 0. Let m be o(w). Do m and d have different values?
True
Let y(o) = -4*o + 36. Let u be y(15). Let z be ((-16)/u)/(1/(-3)). Let a = 9/7 + -2. Is a >= z?
True
Suppose 2*j + 4*f - 14 = 0, 4*j + 2*f + 2*f = 40. Suppose -2*i = -43 - j. Is i at least 28?
True
Suppose 5*g + 10 + 15 = -3*p, -2*p = 4*g + 20. Suppose 0*z - 3*z + 144 = 0. Let b be z/22 + (-4)/2. Is p > b?
False
Let w = -275 - -446. Let y = w + -1195/7. Which is bigger: -5/4 or y?
y
Suppose 0 = -5797*a + 5796*a - 10. Are 47 and a equal?
False
Let f = 0.2 - 0.1. Let s = f - 0.1. Let n = 0.02109 - 4.02109. Is s at most n?
False
Suppose -4*g - 4*q + 3*q = -20, 0 = 5*g - 4*q - 4. Suppose 3*c = -r + g*r - 21, 4*r = 5*c + 32. Suppose 0*x = r*x. Is x <= 0?
True
Suppose -3*v - 3*v = -702. Suppose 118*j = v*j - 28. Which is greater: -29 or j?
j
Let n = 0.376 - 0.376. Is 1.9 bigger than n?
True
Let j be 35/(-295)*(2 - 11) + -1. Which is bigger: j or 1?
1
Let m = 9 - 3. Suppose -5*n = 5*g + 5, m*n - n - 5*g - 5 = 0. Let b = 184/3 + -1297/21. Is n equal to b?
False
Let m(b) = -36*b**2 - 16*b + 64. Let v be m(3). Which is bigger: v or -309?
v
Let s = 4 - -4. Suppose 13 = r - s. Let b be ((-18)/r)/((-1)/7). Is 6 < b?
False
Let t = 192 - 192. Does t = 9/41?
False
Let r = -0.072 + 0.259. Let v = 0.047 - r. Which is bigger: 3/8 or v?
3/8
Let a be (2*-1)/(6 - (-133)/(-14)). Which is greater: a or -3?
a
Suppose -s + 3*s = 20. Suppose -4*t = -2 + s, x + 2*t - 10 = 0. Suppose -l + 4*l - x = c, -c - 2*l = -11. Which is greater: 4 or c?
4
Suppose 6*h - 2*j + 1 = 9*h, -h + 3 = 2*j. Which is smaller: h or 10/119?
h
Let w = -65 - -64.24. Let j = 0.24 - w. Is j < 2/23?
False
Let x be 1680/25 + 6 + (-31)/5. Which is smaller: x or 63?
63
Let h = -2 - 13. Let d = 59 - 58. Suppose k - 15 = z + d, -4*z - 55 = 5*k. Is h bigger than z?
False
Let w = 118 - 126. Which is smaller: w or -0.2?
w
Let a be 4/4*(-6)/51. Suppose -2 = -4*u + 5*y, 6 = -u - 3*u + y. Let b = u - -3. Which is smaller: a or b?
a
Suppose d - 2*d = -1, 0 = 2*z + 4*d - 4. Suppose -4*m = -5*g - 0*m + 18, -g + 3*m + 8 = 0. Suppose 4 - 14 = -g*p. Which is bigger: p or z?
p
Let p be (-6)/4*56/21. Let o be (-6)/p*2/(-5). Let h = -2 - -1. Which is smaller: o or h?
h
Let t be (-140)/84 + ((-6)/9)/((-6)/27). Let q(z) = -z + 1. Suppose 4*k + 2*c + 0*c = -6, 5*k = -4*c - 12. Let g be q(k). Which is greater: t or g?
t
Let k be (130/30)/(111/(-36) + 3). Which is bigger: k or 0.1?
0.1
Let h = -269.3 - -269. Which is bigger: h or -4/9?
h
Let u be -5 + 1 - ((-14)/(-6) - 7). Which is bigger: -136 or u?
u
Let k be (-9)/(-12)*-2*-2. Suppose -5*x = -2*i + k*i + 24, 8 = -4*x + 2*i. Let w be (22/x)/(2/(-4)). Which is smaller: 9 or w?
9
Let g = 4 - 9. Let o = -27 - -38. Let d = -15 + o. Which is bigger: d or g?
d
Let q = 3 + -2. Let t = -1267 - -267338/211. Let k = 623/2110 + t. Which is greater: q or k?
q
Let r = 42 - 41.8. Let i be 4/104*(-4)/1. Which is smaller: r or i?
i
Let c = 19 - 16. Suppose -w + 4*w + c = 0. Let o be (-2)/56 + 1/(-4). Which is bigger: w or o?
o
Let z = -40.8 - -48.8. Which is greater: z or 4/3?
z
Let u(n) = 2*n - 2. Let b be u(4). Let i(y) = 5*y**2 + 3*y - 1. Let p be i(2). Suppose p*t - 20*t = 40. Is b at least t?
False
Let y = -108 - -108. Which is bigger: y or 72?
72
Let j = 76 + -39. Let g = j - 59. Is 2/3 greater than or equal to g?
True
Suppose -18*o = -9 - 9. Which is bigger: 5/179 or o?
o
Let k be 0/(14 + -12 + -3). Let z = -192 - -5569/29. Which is bigger: z or k?
z
Let o = -8 - -7.94. Let l = -5.06 - o. Let h = 5 + l. Is -2/9 >= h?
False
Let r = -824 - -834. Let n(t) = -2*t. Let z be n(-1). Suppose 3*o - r = -z*o. Which is smaller: o or 5/7?
5/7
Let m = 108.7 + -102.62. Which is smaller: -1 or m?
-1
Let x(c) = -c**3 + 2*c**2 + 5*c - 2. Let r be x(3). Let q be (-29)/(-28) - (-1)/r. Let l(u) = -514*u + 1028. Let a be l(2). Which is smaller: a or q?
a
Let u be (5 - 31)*(-10)/4. Suppose 0 = 13*z + 351 + u. Which is smaller: -31 or z?
z
Let r be (4/16)/(-4 - (-558)/138). Let u = -15 - -21. Is r less than u?
True
Let k(s) = -10*s. Let j be k(-3). Let d be 4/(-10) + 132/j. Suppose -32 +