(-20)/(-12). Is 54 not equal to o?
True
Let j = -323.6 + 321. Which is bigger: -8 or j?
j
Suppose -14*i - 74*i - 1584 = 0. Suppose 0 = -5*s - 3*r - 85, -s - s - 34 = 4*r. Is s < i?
False
Let y be (-4)/((-16)/126)*(-6)/(-9). Is 16 equal to y?
False
Let h be 1/(-29)*4*5. Let t = -401/203 - h. Is t at most -2?
False
Let f = 553 + -553. Which is greater: -8/19 or f?
f
Let k(n) = -2*n + 1. Let y be k(1). Let t = 68 - 66. Let c be t/11 - (-1 - (-24)/11). Is c equal to y?
True
Suppose 295 = 5*g - 5*p, -42 + 156 = 2*g - 4*p. Which is bigger: g or 62?
62
Let b be 1122/14 - ((-30)/35)/(-6). Let t = -83 + b. Which is bigger: -17/8 or t?
-17/8
Suppose -11 = -2*p + 9. Are p and -1/11 nonequal?
True
Suppose -468 = 5*y - 3*y. Are -236 and y equal?
False
Suppose 3*i + 7 = 5*x + i, 1 = -2*x - 3*i. Let d = 5/313 + -89/44759. Is x > d?
True
Let t(v) = 5*v**2 + 9*v - 75. Let a be t(7). Which is smaller: a or 698/3?
698/3
Let q(p) be the first derivative of -p**3/3 + 6*p**2 - 10*p + 7. Let a be q(12). Let c = 2 + a. Is -8 equal to c?
True
Let i be ((-132)/(-55))/(2/5). Suppose l = 3*l - i. Let g be (l + (-24)/9)/(-1). Which is smaller: g or -0.02?
g
Let w = -29 + 31. Let j be (-1)/((-303)/(-150) - 1*w). Which is smaller: -49 or j?
j
Let p = 180 + -113. Is 70 greater than p?
True
Let n = -1217/9 + 135. Which is smaller: n or -1.9?
-1.9
Suppose -34 = g - 5*c, -4*g - 3*c = 89 + 24. Is g < 4?
True
Let s = 1386/13 + -3560/39. Let p(k) = -6*k + 68. Let c be p(14). Let u = c + s. Which is bigger: 1/13 or u?
1/13
Let b = 23 - 23. Let y = 14 + -16. Let u = y + 3. Which is greater: u or b?
u
Let c = 12 - 16. Let g = -0.5 - 1.5. Is c >= g?
False
Let p = 2240649/143 + -15669. Which is bigger: p or 0?
0
Let d be (62 + 1)/(3 + -4). Let a be (-5)/((-135)/6) - (-959)/d. Is -14 >= a?
True
Let y = 62 - 56. Suppose t + 25 = 3*j, 3*j - 1 = -t + 22. Which is bigger: y or j?
j
Suppose -3*m + 4*l + 19 = 0, -4*m + 4 = -l - 4. Let d be 48/18*m/(-2). Which is smaller: d or 8?
d
Let a = 890 - 891. Let u(g) = -g - 1. Let y be u(-2). Is y at least a?
True
Suppose 50*m = 36*m + 154. Let l(w) = w**3 - 4*w**2 + 3*w - 5. Let g be l(4). Is g equal to m?
False
Suppose -12 = -28*f + 16. Is -16 <= f?
True
Suppose 2*b - 8*d = -6*d + 2, 4*b = 3*d. Suppose 0 = -s + 2 - 4. Which is greater: s or b?
s
Let b be ((-35)/(-7))/((-2)/(-2)). Let u be 3/(2574/(-30))*2/b. Which is smaller: u or 1?
u
Let o be (-133)/252 - 1/(-2). Suppose 1 - 1 = -f. Is o < f?
True
Suppose 0 = -4*g - 0*g. Suppose 84 = -4*z + 2*d, -z - 2*z + d - 63 = g. Let q be (-3)/(-1) - (-51)/z. Which is bigger: q or 1?
1
Let g = 0.29 - -0.2. Let h = g + -0.19. Let f = -0.8 - 0.2. Is h >= f?
True
Let l = 279 + -198. Let x = l - 80.6. Suppose q = 4*k + 2*q + 4, -2*k = -5*q - 20. Is x <= k?
False
Let c = -0.23 + 0.62. Is c <= -2?
False
Suppose -4*l + 2*i - 6 = 0, 13*l + 3*i = 14*l + 9. Which is bigger: l or -2/1471?
l
Let m = 610 - 604. Suppose 4*d = 6*d - 3*a - 8, 2*a = -8. Which is bigger: d or m?
m
Let m be (16/24)/(4/18). Suppose i - m*q = 32, 0 = 4*i + 2*q - 18 - 82. Is i < 26?
False
Let i be ((-1090)/40)/((-4)/16). Is i at least as big as 107?
True
Suppose 2*r = -2*m + 14, -3*r = m - 2 - 1. Let g(b) = 2*b**2 - 7*b + 13. Let z be g(m). Let c be z/48 + (-2)/6. Which is greater: c or 5/4?
c
Suppose 11*z + 479 + 2810 = 0. Which is smaller: -298 or z?
z
Let m be (-3 - -1) + (2 - 1). Let o(d) = d**2 + d + 10. Let l(t) = t**2 + t + 8. Let v(i) = 5*l(i) - 4*o(i). Let z be v(m). Is z not equal to 3/4?
True
Let m be (-2 - (1 - 24))/4. Let a be 12 - 13/((-52)/(-32)). Which is bigger: m or a?
m
Suppose 115 = -5*h + 3*o, 5*h + 5*o + 27 = -48. Let n = -27 - h. Which is smaller: -5 or n?
n
Let i be 56/5 + (-36)/(-45). Suppose 4*p = -60 - i. Which is greater: 2/7 or p?
2/7
Let c = 48.6 - 52.6. Is -1/2 > c?
True
Let y = -12.2 + -41.8. Let m = y + 53.7. Which is smaller: 2/13 or m?
m
Let l(t) = -5*t - 23. Let v be l(2). Do -27 and v have the same value?
False
Let b be (-1735)/217 + 2 + (-24)/(-4). Which is smaller: 1 or b?
b
Suppose -2*n + 16 + 0 = 0. Suppose -13*i = -n*i. Which is smaller: -1/3 or i?
-1/3
Let k be -2*((-1)/(-5) + 87/(-10)). Suppose -44*a = -43*a - k. Do -4 and a have different values?
True
Let i(b) = 11*b - 100. Let r be i(9). Is -1/1473 smaller than r?
False
Suppose 15*m - 128 = 19*m. Let q = m - -94/3. Which is smaller: q or -5/2?
-5/2
Let w = -74 - -39. Let v be -4*1 + w/(-7). Suppose -d + 0 = -v. Is d greater than or equal to 1?
True
Let h = 22.04 + 407. Let f = h + -418. Let b = -0.04 + f. Is 1 less than b?
True
Let q = -1314 - -1314. Which is bigger: -2.6 or q?
q
Suppose -2*g = -4*o + 5 + 9, 4*g + 8 = 4*o. Which is greater: g or 23?
23
Let k = -20 - -98. Suppose -2803*x + 2804*x = 79. Is x <= k?
False
Let d = -194 + 964/5. Let u(j) = j - 5. Let g be (1 - 1) + (-6 - -9). Let l be u(g). Is l smaller than d?
True
Suppose -5*r + 9*r = 8. Let a be (170/(-34))/(-1 - 21/r). Which is greater: 1 or a?
1
Let q = -1 + 1. Let k be q + 1 + -3 - (-165)/78. Which is smaller: 1 or k?
k
Let p be (7144 + 62)/(7 + -1). Is 1201 bigger than p?
False
Suppose -4 = -4*x - 8. Let u be x + -1 + (-2)/2. Suppose -49*l - 6 = -46*l. Is u at least l?
False
Let a(v) = 3*v + 41. Let i be a(-13). Suppose i*k = -k - 2*d + 40, 0 = -5*d - 5. Is 12 at most k?
True
Let w = -356 - -307. Which is smaller: w or -51?
-51
Let y(r) = -61*r + 1. Let c be y(1). Let u be (-3)/(c/(-8))*-20. Let t = 14 - u. Which is smaller: t or 5?
5
Let f = -14 + 16. Suppose f*i = 4 + 2. Let b = 1703/4 - 423. Is i > b?
True
Let v = 1028.82 - 0.82. Which is greater: v or 1?
v
Suppose -20*b = -17 - 3. Is b > -3/701?
True
Let r = -87 + 54. Let j = -8 - r. Suppose 0*t - 3*y - 14 = t, 5*y = -j. Does t = 1/4?
False
Let b(m) = 6*m - 5. Let h be b(3). Suppose 7 = 4*g - h. Suppose 0*s - s + g = 0. Which is greater: s or 3?
s
Let f = 0 - 1. Let s = -266771/75 + 3557. Let w = s - -31/825. Which is smaller: f or w?
f
Suppose -4*q + 139 + 31 = -2*v, 4*v + 307 = -3*q. Let n = -457 + 378. Are v and n non-equal?
False
Let o(a) = -341*a - 3. Let i be o(-4). Let v = -889 + i. Let m = 10858/23 - v. Which is greater: m or 0?
m
Let u = 347 - 196. Are u and 150 non-equal?
True
Let r = 423 + -426. Do -5/16 and r have different values?
True
Suppose 5*j - 45 = -25. Suppose j*a = -t, -2*t + 2*a = 3*t. Suppose 5*o - 1 = -4*l, 6*o - 9 = o + 4*l. Is t < o?
True
Let o be 10/25*(-10)/(-14). Let w be 1367/6 - (-1 + 1). Let c = w + -229. Which is bigger: c or o?
o
Suppose 5*m + 2 - 47 = 0. Let l(b) be the third derivative of b**5/30 + 17*b**4/24 - b**3/2 - 7*b**2. Let o be l(-9). Which is smaller: o or m?
o
Suppose -4*i - 90 = -7*i. Let f be (1/(-3))/(i/72). Let t be -2 + 1/(-1)*-1. Is t equal to f?
False
Let j = 14.908 - 15. Let b = 1.092 + j. Do 23 and b have the same value?
False
Let g = -1254.6 + 1255. Which is smaller: g or -0.227?
-0.227
Suppose -2*i = 3*z - 98, 4*z + 4*i - 136 = -0*i. Is -5 > z?
False
Let m be (-6)/21 + 187/(-7). Let v be 110/(-4) + (-2)/(-4). Is v at least as big as m?
True
Suppose 85*c - 91*c + 378 = 0. Is c greater than 574/9?
False
Let u(q) = -q - 2 + 2*q + 1 - 3. Let i be u(15). Is i greater than or equal to 11?
True
Let b = -285 - -286. Let d be (-569)/1295 + (-18)/(-42). Which is bigger: d or b?
b
Let g(l) = 6*l - 3. Let c be g(4). Let q = 22 - c. Which is greater: q or 1/13?
q
Suppose 19*t - 46*t = 38*t. Which is bigger: 8/31 or t?
8/31
Suppose 2*q + m = -79, 0 = -m - 36 + 39. Is q > -41?
False
Suppose -t - 14 + 25 = 0. Let d(s) = -t*s - s**3 + 2*s + 11*s. Let r be d(2). Which is bigger: -5 or r?
r
Let h be (0 + 15)*1/3. Let u = -5 + h. Let k = 253/2 - 4803/38. Is k > u?
True
Let f be 2 - (95 - -2) - -6. Does -87 = f?
False
Let z = 62 - 69. Suppose 5*x - 15 = 0, f - 2*x - 24 = -3*x. Let b = f + -27. Is z greater than b?
False
Let s be 217 + (-1 - (1 - 1)). Let m = 7559/35 - s. Which is bigger: -1 or m?
m
Let f = 0.1101 - 14.2201. Let n = 14 + f. Let y = n + -0.09. Are y and -2 non-equal?
True
Let u = 111/676 + 3/338. Which is bigger: u or -1?
u
Let v be 22192/(-4275) - (-4)/50. Is -4 > v?
True
Let s be (-20)/45*6/16. Let w be ((-8)/24)/(1/15). Let m be 8/(-15) - w/25. Which is smaller: m or s?
m
Suppose 4*n - 2*d + 1 = 17, 5*n = -4*d - 6. Suppose 24 = 4*q + 12. Suppose -2*b = -k, q*b - k - n = k