equal?
True
Let d(w) = -2*w - 29. Let v be d(-11). Which is bigger: -12 or v?
v
Let p be 52/(-17) + 0 + 2. Let s be (-5)/((-20)/(-18)) - ((-15)/10 + -1). Do s and p have the same value?
False
Let z = -271/6 - -51. Suppose -4*p + 2*g - 2 = -3*p, -3*p + 5*g - 2 = 0. Which is bigger: p or z?
p
Let n be 15/(-204)*5/75*3. Which is smaller: 0 or n?
n
Let w = -0.018 - 0.052. Let i = w - -0.08. Is 3 >= i?
True
Let y be 5/20*51/(-45). Does y = 0?
False
Suppose -91*v + 506 = -69*v. Which is bigger: v or 26?
26
Let c = -0.41 + -16.59. Let y = c - -2. Let a = 15 + y. Which is smaller: a or -10?
-10
Suppose 0 = 6*x - 2*x - 72. Let g(t) = t**2 - 2*t + 3. Let o be g(-3). Is x at most o?
True
Let w = -0.023 - -26.023. Let p = -25.99 + w. Let o = p - -0.29. Which is smaller: -3 or o?
-3
Let p(d) = d - 2. Let f be p(0). Let z be f/(-6) + 256/24. Is z smaller than 10?
False
Suppose 4*c + 13*o - 44 = 14*o, 4*c - 2*o = 48. Which is greater: 28/3 or c?
c
Suppose 3 = -4*n + 35. Let p be n*((-1)/2)/(33/6). Is -2 smaller than p?
True
Let k = 277 + -224. Is k at most as big as 54?
True
Let z(d) = -d**3 - 12*d**2 + 28*d + 4. Let s be z(-14). Suppose -k - r + 6 + 0 = 0, -21 = -s*k - r. Is k at least 8?
False
Let v(i) = 85 + 2*i - 6*i - 2*i + 7*i. Let s be v(0). Let b be (-14)/s + (-44)/(-110). Which is smaller: b or 1?
b
Suppose -5*m + 2*u - 163 = 935, -4*m - 5*u = 885. Are m and -221 nonequal?
True
Let j(o) = -o**3 + 10*o**2 + 12*o - 11. Let t be j(11). Suppose -2*y = 3*y + 35. Let q be y + t/2 + 2. Which is smaller: -4 or q?
q
Let m = 119879/28 + -4282. Let k = 3/4 + m. Suppose 5*f - 3 = 2. Which is greater: k or f?
f
Let v(t) = -t**2 - 8*t + 1. Let k be (-2)/3*(-165)/(-5). Let l = k + 13. Let a be v(l). Is 0.1 at most as big as a?
False
Let c(r) = 3*r**2 + 6*r + 5. Let s(a) = 13*a**2 + 24*a + 20. Let n(k) = -9*c(k) + 2*s(k). Let g be n(-7). Let o be (-12)/(-16)*2/g. Is o bigger than 1?
False
Suppose -2*m - m = 5*g - 929, 4*g - 727 = 3*m. Which is greater: 185 or g?
185
Let m(h) = -h**3 - 8*h**2 + 19*h - 6. Let x be m(-10). Suppose -5*s - 10 = 0, -2*s - 15 + 5 = -2*t. Suppose -8 = f - t*f. Is f less than x?
False
Let f = 66242354/1881323 + 1/99017. Let v(l) = l**3 + 4*l**2 + l - 5. Let n be v(-5). Let r = n + f. Which is smaller: 1 or r?
r
Let f = -10.67 - 99.43. Let r = -110 - f. Is r less than or equal to -26?
False
Let r(w) = -2*w**2 - 21*w - 18. Let i be r(-10). Which is greater: i or -0.04?
-0.04
Suppose -2*f + 28 = -f - 5*s, 42 = 3*f - s. Suppose 22*l = f*l + 27. Is 6 < l?
False
Suppose 0 = 5*n - 3*x + 7, 0*n - 4*x = n - 17. Let w be (20/(-6))/(((-160)/(-5))/(-4)). Is n at least w?
True
Let d(r) = r**3 + 7*r**2 + 5*r + 3. Let n be d(-6). Let j be n/(-7) - (-54)/189. Which is smaller: j or -2/37?
j
Let b be (-60)/14 + 8/28. Let d = -13 - b. Let x = d - -9. Which is greater: 1 or x?
1
Let q = 23 + -7. Let y be (315/28)/(6/q). Let f be 8/y*(-21)/14. Is f at least -3?
True
Suppose -2*u - 345 = -5*u - 3*y, 5*y = u - 97. Let b = 115 - u. Are b and 27/7 equal?
False
Suppose n - 3*n = 5*g - 2, 5*g + 4*n + 6 = 0. Suppose v - g = -7*s + 4*s, -2*s + 18 = 4*v. Let u be 4/(-14) - (0 - 0). Which is smaller: u or s?
s
Let u be (-4)/(-1) + 5 + -6. Let i = -358/7 - -1853/35. Which is greater: u or i?
u
Let v = -42864/23 - -1864. Does 0 = v?
False
Let y be (-202)/18 - 2/(-9). Let a(r) = r**2 + 14*r + 32. Let v be a(y). Which is bigger: 3/29 or v?
3/29
Let g be (1 + 0)*-1 + 5. Suppose 0 = -5*d + 3*t - 114, g*d - 4*t + 9*t + 69 = 0. Which is smaller: d or -19?
d
Let c(b) = b**2 + 9*b + 3. Let u be c(-9). Let o be ((-8)/u)/2 + 0. Which is bigger: -2 or o?
o
Suppose -3*h - 5 = 2*y + 2, 2*h + 5*y = -1. Let q = h + 5. Let m be ((-1)/3)/(1/2). Which is smaller: q or m?
m
Let o = -9 + -6. Let i be o/5 + 1*-3. Let k be 20/39 - i/(-9). Which is greater: 2/11 or k?
2/11
Let q = -248.8 + 249. Is q at least as big as 24?
False
Let m be 16/(-88) + -3*(-2)/33. Which is bigger: 2 or m?
2
Suppose 11 - 13 = -q. Let l = q - 2. Is l greater than -3/34?
True
Suppose -2*b + z = -117, b + 4*z + 76 = 2*b. Which is bigger: 2 or b?
b
Suppose -40 - 53 = 31*f. Is f greater than or equal to 40?
False
Suppose 0 = -63*v + 48*v - 10080. Which is smaller: v or -674?
-674
Let p = 1/44 + -3/11. Which is greater: p or 6?
6
Suppose 5*w - 10*h - 69 = -7*h, w + 2*h - 19 = 0. Which is bigger: 2 or w?
w
Suppose -1372*p = -1363*p - 10188. Do 1130 and p have different values?
True
Let f = -21 + 14. Let j = f - -8. Which is smaller: j or 4?
j
Let g(s) = s**2 - 29*s - 20. Let z be g(25). Let t = z - -117. Which is smaller: t or -19?
-19
Let l(v) = 2*v - 3. Let z be l(5). Let j(i) = -i**3 + 16*i**2 - 17*i + 37. Let s be j(15). Do z and s have the same value?
True
Let t(o) = -o**2 + 17*o - 36. Let f be t(13). Are f and -1 unequal?
True
Let v = 10 - 11. Let c(u) = u**3 - 12*u**2 - 12*u. Let o be c(13). Which is smaller: o or v?
v
Let x = -3935/9 - -437. Are -11/4 and x equal?
False
Let z = -21 + 24. Let g be 10 + -2 + (2 - 3). Suppose 0 = 5*o - z*a + 10, -g = -4*o + 4*a - 23. Are 1 and o nonequal?
False
Let y = -288 + 137. Which is bigger: y or -150?
-150
Let t(c) be the third derivative of -1/4*c**4 - 7/60*c**5 + 0 - 5*c**2 - 1/120*c**6 + 0*c + 13/6*c**3. Let n be t(-6). Is n less than or equal to 13?
True
Let n = 397 + -375.3. Let k = 22 - n. Which is greater: k or -1?
k
Let h be (4/13)/(42/91). Which is greater: h or 69?
69
Let n(q) = -32 + 4*q - 3*q + q. Let t be n(18). Which is greater: 5 or t?
5
Let j = -0.08 + -0.02. Suppose 6*v = -0*v + 36. Let a be 1/5 + (16/v - 3). Which is smaller: a or j?
a
Let w = -2/16233 + 32960/4009551. Which is bigger: w or 0?
w
Suppose -17*s + 2380 = -0*s. Which is greater: s or 141?
141
Suppose 3*w - 590 + 74 = 0. Let p be (-2)/4 - (-94)/w. Is p at most -3/5?
False
Suppose 5*x - 1 = -6. Let i = x - -6. Suppose 0 = i*m + 2*v + 17, -5*m - 11 - 10 = v. Which is greater: m or -4?
-4
Suppose q - 21*w - 35 = -22*w, -4*q + 164 = -4*w. Is q less than -16?
False
Let f = -9.1 - 84.9. Which is greater: f or 0.1?
0.1
Let m(d) = 2*d**3 + 63*d**2 - 33*d - 28. Let o be m(-32). Which is bigger: o or 4/9?
o
Let o be (-3 + 1)*1*-2. Suppose -12 = -0*z - o*z. Suppose 4 = -z*t - t. Which is smaller: 3 or t?
t
Let b = -0.771 - 16.229. Is -0.17 at most b?
False
Let m = 45 + -61. Suppose -3*a - 55 = 7*t - 6*t, 63 = -3*a + 3*t. Which is smaller: a or m?
a
Let r be (-940)/282 + 209/(-3). Is -72 at most as big as r?
False
Let r be (-4)/8 + (-778094)/1740. Let c = 1343/3 + r. Is -1 <= c?
True
Suppose 4*g + 32 = 5*k - 9, 26 = -3*g - k. Let r = g - -5. Let m = -7 + 4. Is m at least r?
True
Let h be ((-17611)/(-68) - 1) + 83 + -81. Let m = -260 + h. Is 1 <= m?
False
Let q be ((-6)/(-16))/((-99)/28). Are q and -1 nonequal?
True
Let p be 363/1116 - (-6)/(-18). Let m = -489/868 + p. Is m greater than 0?
False
Let a(t) = -2*t**2 + 8*t - 9. Let m be a(2). Let c = -29.034 + 29. Which is greater: m or c?
c
Let z be (7 + 68489)/(1 - 2). Let x = z + 615359/9. Let f = -123 - x. Which is smaller: f or 1?
f
Let m = -395 + 590. Suppose -m = 2*r + 3*r. Are -39 and r equal?
True
Suppose -56*u + 59*u = -60. Let s be (u/(-630))/((1/(-12))/1). Is s at least as big as 0?
False
Let a = -0.033 + 0.173. Let s = -0.34 + a. Is -6 bigger than s?
False
Let b be (-60)/9 + 2/3. Let i be b/24 + 0 + (-2)/(-4). Are -1/7 and i non-equal?
True
Let f be (-9)/(-21) + 23187/(-54201) + 0. Let z = f + 139360/18067. Is z >= 8?
False
Suppose -4*q = -2*m - 1822, -19*m = -16*m + 15. Which is greater: 452 or q?
q
Let u = 591 + -591. Which is smaller: u or 12/13?
u
Let x(g) = g**2 - 7*g + 8. Let i(q) = q**2 - 7*q + 8. Let p(u) = -2*i(u) + 3*x(u). Let t be p(6). Suppose 5*z - 4 = 11. Which is bigger: t or z?
z
Let q = -9661 + 1159313/120. Are -1 and q unequal?
True
Let x = 60 - 20. Let m = 40.1 - x. Which is smaller: m or 13?
m
Let j = 0.09 + -1.59. Let n = -8.5 + j. Let g = 3.05 + -1.05. Which is smaller: g or n?
n
Let x = -63 + 17. Let l = -40 - x. Is -2 greater than or equal to l?
False
Let q = -3226 - -267761/83. Let x(u) = u**3 - 4*u**2 - 5*u + 1. Let s be x(5). Which is smaller: s or q?
q
Let u = -17 - -23. Suppose -3*t = 3*t + u. Is -1/28 bigger than t?
True
Let g = 0.705 - -58.295. Is g greater than -1?
True
Let f = 55/4 + -549/28. Let i be (-397)/(-794)