+ (-402)/78. Which is greater: n or l?
l
Suppose 13*u - 14 = 11*u + m, 3*u = -3*m - 24. Let t = 9 + -4. Which is bigger: t or u?
t
Let v(h) be the second derivative of -h**4/12 - 5*h**3/6 - 3*h**2/2 - 24*h - 1. Let n be v(8). Which is smaller: n or 1?
n
Let d = -664/9 - -658/9. Which is greater: d or -0.4995?
-0.4995
Let s(c) be the second derivative of -c**4/4 + 3*c**3/2 - 7*c**2/2 + 5*c. Let w be s(4). Let q(z) = 2*z - 3. Let j be q(-8). Do j and w have the same value?
True
Let i(g) = -g**3 + 7*g - 3. Let c be i(-3). Let d = 43.949 + -44. Is d greater than or equal to c?
False
Let j = -34 - -44. Let x = 13 + -3. Let o = x - j. Are o and 10 non-equal?
True
Let d be 12*25/(-20) - -5103. Are 1 and d equal?
False
Let q(b) = b**2 - b + 27. Let l be q(0). Let a = 599 - 576. Suppose -2*m + a = f, -f - 17 = -2*f - 4*m. Is f <= l?
False
Let x be (-1232)/(-11)*8/(-28). Let n be 15/(-3) - (-3 - -3). Let l be ((-2)/n)/(3/(-240)). Is x bigger than l?
False
Suppose o - 4*o = 5*o + 4*o. Suppose b = 4*u + 67, -3*b + 7*b - 268 = 4*u. Which is smaller: o or b?
o
Let r be (-196)/20 + 1/(-5). Let o = r - -25. Suppose 0 = -19*d + 7*d + 180. Is o smaller than d?
False
Let i = -353608/23 + 15382. Is i > 8?
False
Let i be (-85)/17 - (1 + 1)*9/(-3). Which is greater: -2/9029 or i?
i
Suppose 24 = 5*i + 24. Suppose -5*v = -5*d + 5, i*d = 5*d + 5*v + 25. Is d < 2/75?
True
Let t be 0/(-3) + (-1)/1. Let j be 0 + 2/(0 - t). Let m = 2867 + -2865. Are j and m non-equal?
False
Let b = -330 - -393. Suppose -3*s - 3*q = -b, -8*q + 7*q = -5*s + 105. Is 29 >= s?
True
Let y = -3688 + 3687.85. Is y equal to 0.13?
False
Suppose -2*o + h - 8063 - 3894 = 0, -h - 17938 = 3*o. Which is bigger: o or -5980?
o
Let a = 30.1 - 33. Let h = 3.32 + a. Let i = 0 - h. Which is smaller: 1/2 or i?
i
Let z(v) = 29*v - 654. Let m be z(-23). Are m and -1320 equal?
False
Suppose 441*d + 1362 - 266 = -1991. Let z = 23 - 7. Is z smaller than d?
False
Let y(a) = -2*a - 27. Let t be y(-12). Let p be 1 - (t + 1 + 3). Let d = 2862/13 + -220. Is d < p?
False
Let c be (-1)/(9 + 944/(-104)). Let d be (-30)/105 + 551/42. Is d equal to c?
False
Suppose -92*r - 7 + 23 = -76*r. Which is smaller: 810 or r?
r
Suppose -5*f = -4*p + 4025, -1582 = -5*p - 2*f + 3408. Suppose 4*r - 4*y = -r - p, -y - 191 = r. Is -197 at most as big as r?
True
Let b be 6/((-15)/350 - 0/(-2)). Let t be (56/18)/((-8)/b). Let d = t - 54. Which is smaller: d or -0.6?
-0.6
Let s = -36 - -28. Let k be s - (-4 - (-1 + -1)). Let p = k - -8. Which is bigger: 6/7 or p?
p
Let r be ((1 - 1) + -7)*(-4)/14. Suppose 4*y + r = 6. Suppose 2*s - s = -y. Is -1/3 smaller than s?
False
Suppose 41 = c + z - 103, 0 = -2*c + z + 267. Are c and 1498/11 equal?
False
Let r be (-45)/10*(-3)/((-108)/(-80)). Suppose 9*w + r*w = -418. Is -20 less than or equal to w?
False
Suppose f - 5*j = -589, 3*f - 2334 = 7*f + 2*j. Let y = f + 595. Is y smaller than 5?
False
Let j be 86/164 - (-3)/(-6). Let t = j - -38/123. Let s = t - 4/11. Which is greater: -0.1 or s?
s
Let b(m) = 2*m**2 - m. Let v be b(-1). Let z(k) = -3*k - 73. Let j be z(-25). Suppose 3*a - 27 = -v*f, -a - 4 - 2 = -j*f. Which is smaller: 33/8 or a?
a
Suppose 18 = 4*l - 2, -l + 13 = 2*k. Suppose 6*a - 4*a = 30. Suppose m + u - 1 = -3*u, 4*m - 3*u = -a. Is m greater than k?
False
Let f = 143 + 163. Which is smaller: 307 or f?
f
Let q = 2917 + -2924. Let w = 6.12 - 6. Which is smaller: w or q?
q
Let p = -0.20368 + 0.40368. Let n be (1 - -1)/2 + 180. Which is smaller: p or n?
p
Let p = 127076/297 - 28420/27. Let z = p + 7139986/11429. Which is greater: z or 0?
0
Let x = 50695 - 507869/10. Let z = -456/5 - x. Suppose 3*k - 12 = d, 6 = -k - 5*d - 22. Which is greater: k or z?
k
Suppose -6*y - 3405 = -11199. Let l = -9113/7 + y. Which is smaller: l or -4?
-4
Let i = 1.5 + -1.2. Let a = -0.315 + i. Let g be 2*(190/60)/19. Is a != g?
True
Let n = 40 + 6.4. Let u = n - 46. Suppose -3*z - 2*h + 18 = 0, z + 0*h - 2*h + 2 = 0. Which is smaller: u or z?
u
Let k = 9141 - 9150. Which is greater: -21 or k?
k
Let f = -2 - -1. Let j(z) = -151*z**2 + 2*z + 16. Let r be j(-3). Let d = r + 41815/31. Does d = f?
False
Let c = -306 - -251. Let y be (-5)/((c/80)/11). Which is greater: y or 81?
81
Let v = 5717 - 1902. Which is smaller: v or 0.2?
0.2
Suppose 438 = 43*h + 1255. Which is greater: h or -39?
h
Let m = 0.89 - -7.11. Let z be 0/(-1) + 0 + 0. Suppose -4*d - 11 + 3 = z. Is m < d?
False
Suppose 0 = 254*q - 264*q - 200. Which is greater: q or 26?
26
Suppose -5*c = -4*q + 23, 3 = -3*q + c - 4*c. Suppose 17 = -0*b + b. Suppose 19 = -q*x + b. Which is bigger: x or 3/26?
3/26
Let b = -38932 - -33458. Is -5478 >= b?
False
Let i be 5 + 2/(-14) + -2. Let r = i - 18/7. Do r and -0.49 have the same value?
False
Suppose -5 = 2*o + 3*x - 16, -4*o + 20 = 4*x. Suppose -r - 4*d = -10, -4*r - o*d - d = -7. Let f be 3/(-12)*(-21 + r). Which is greater: 6 or f?
6
Suppose 168*w + 5441 = -36430 + 1047. Which is smaller: -254 or w?
-254
Suppose 45 = 3*o - 69. Suppose 2081 = 11*c + 46. Suppose 0 = 5*i + 4*u - c, i - 21 = 4*u + 16. Which is bigger: i or o?
o
Let o be (2/3)/((-4)/186). Let v = o - -16. Let i be 1/2*(-35)/v. Are -0.1 and i nonequal?
True
Let o be (0 - (0 + 0))/(-2). Suppose -5*p - 1780 = -5*f, -5*f - 13*p = -11*p - 1808. Suppose o = -4*r + 13*r - f. Are 40 and r equal?
True
Let h = -62 - -65. Suppose -43 = h*g - 2*g + 2*w, -5*g - 180 = 3*w. Let v be 21/g*(-180)/(-42). Which is greater: v or -0.1?
-0.1
Let n = 26206 - 8830. Let s be (-6)/75 + n/207200. Which is bigger: 0 or s?
s
Let h = 7243 - 7310. Let n = 1.602 + 65.318. Let b = n + h. Which is smaller: b or 0.3?
b
Suppose 0 = -3*b + 12, -4*b = -46*q + 44*q - 16. Which is greater: q or 4/2495?
4/2495
Let k be (255/(-10))/(6/(-80)). Let t be 4/7*(-3 - (-1048)/k). Is t greater than or equal to 1?
False
Let s be ((7/(-21))/(8 + 2))/((-12)/10). Is 17 bigger than s?
True
Suppose -5*h = -3*w - 0*h + 158, -4*w + 180 = h. Let f(b) = -5*b**3 + 3*b**2 + 3*b + 2. Let y be f(-2). Which is smaller: w or y?
w
Let g(l) = -6*l**3 - 13*l**2 - 14*l - 287. Let d be g(11). Which is smaller: -9999 or d?
d
Suppose -o + 4 = 3*d - 9, -2*o = 4*d - 32. Let x = -22 + o. Which is bigger: x or 0.85?
0.85
Let s = -5.97216 - 0.02784. Is 2/327 >= s?
True
Let o be (-765)/(-51)*(-5)/(-75). Are o and -4/715 nonequal?
True
Let l(j) = -j**3 + 5*j**2 - 6*j + 6. Let c be l(4). Let m be c/118*(-5 + 4). Let b(w) = 2*w**2 + 15*w - 27. Let t be b(-9). Is m greater than t?
True
Let t be (4 - -1) + 3 - 2. Suppose t*y = 548 - 1952. Is y >= -236?
True
Let q = -326.67 + 328. Let p = 4.67 + q. Is p smaller than 0.01?
False
Suppose -6*p = r - 5*p + 4, -4*r = 5*p + 17. Let d(j) = j**3 + 4*j**2 + 2*j + 7. Let t be d(r). Let z = t + -10. Is -3/5 at least as big as z?
False
Let g(c) be the first derivative of c**3/3 - 6*c**2 + 10*c - 12. Let w be g(11). Let n be ((-85)/(-10))/(-2 - w). Is -10 != n?
True
Let l = 31 - 32. Let x be ((-13)/(-52))/(l/(-188)). Let b = x + -140/3. Is b less than 0?
False
Suppose 74*u = -71*u + 60*u - 24565. Are -4 and u equal?
False
Suppose 132*o + 11 = 131*o + 5*u, o + 6*u - 11 = 0. Which is smaller: -2/26485 or o?
o
Suppose -22*z + 19*z - 18 = 0. Let a be 7 + z + 0 - 0. Which is bigger: a or 2.1?
2.1
Suppose 47*m + 10312 = 52*m + f, -4138 = -2*m + 4*f. Let v = m + -10296/5. Let j = -11 - -16. Is j greater than v?
True
Suppose 0 = -2*q + 3*g - 12, 0 = -2*q + 4*g + 10 - 26. Suppose 33*h - 20*h = 39. Let f be (-21)/(-56) + h/(-3). Is q greater than or equal to f?
True
Let q = -261 - -145. Let v = -42.81 + -73.21. Let r = q - v. Does 2 = r?
False
Let i(h) = -137*h**2 + 7*h - 6. Let n be i(1). Let a be -1*2/6 - n/(-51). Let c be (a/(-5))/(3/(-2)). Is 3 at least c?
True
Let h = -6 - 38. Let a be (h/(-77))/((-2)/(-14)). Suppose -3*g - a*b = 2*g - 81, 2*g + 5*b = 46. Is 13 greater than g?
False
Let p = 53727969/13 + -4136315. Let b = 3398 + p. Which is smaller: 5 or b?
b
Suppose o + 6 = 2*o. Suppose 21 = 5*d + o. Suppose -6*m - 130 = -m + 3*x, -4*x = d*m + 89. Is m != -22?
True
Let d = -81 - -81. Let s be (d - 394)*60/168. Let f = s + 141. Which is bigger: f or 0?
f
Let o = -11 + 23. Let f = 11.8 - o. Let q = -712 + 2853/4. Which is smaller: q or f?
f
Let l = -3 + -7. Let t be (-526)/l - (-6)/15. Suppose 5*c - t 