
n
Let m = -3206392/515 + 6226. Which is smaller: -1 or m?
-1
Suppose -12 = -5*u + 3. Let a = 5 - 1. Suppose -f = u*f - a. Is -1/5 greater than f?
False
Let x = -365 - -366. Are x and -8/209 non-equal?
True
Let z be 1/((-3)/6)*(-78)/(-12). Let y(m) = -m + 1. Let j be y(-4). Let h = j + z. Is h not equal to -8?
False
Let z = -7975/2 - -3915. Let m = -64 - z. Which is smaller: 9 or m?
m
Let h = -1.99 + -0.01. Let m(n) = -4*n + 1. Let k(v) = -7*v + 1. Let z(l) = 3*k(l) - 5*m(l). Let d be z(-3). Which is smaller: h or d?
h
Let a be 2/(21/(-9) + 3). Suppose 0 = d - a*f + 4, d - 5*f = -f - 7. Let n = 1 - -3. Are n and d equal?
False
Let j = -872/3 + 290. Let p = 1.98 - 2. Is j not equal to p?
True
Let k = 29952 - 150222/5. Which is smaller: k or -92?
k
Let a = -1.5 - -1.34. Let c = -25.16 - a. Let m = -24 - c. Which is smaller: m or -1/12?
-1/12
Suppose 3*v = 5*m - 3*m + 1, -31 = -4*m - 5*v. Let i be 1 - ((-200)/(-44) - m). Let w = i - -207/77. Are w and 3 non-equal?
True
Let u be (-110)/(-2) - (-2 + 4). Let o be (144/30)/4*-260*6/(-36). Is o smaller than u?
True
Let i be 20/(-138)*(-124 + 121). Is i less than 0?
False
Let t = 23 - 23. Suppose t = -3*w - 5*j - 4, 0 = j + 2*j + 6. Suppose w*h = 3*h. Are 3/8 and h equal?
False
Suppose 10 = -5*t, -11 - 1 = -2*b - t. Suppose 3*z - 12 = -4*w + b*z, -4*z - 12 = w. Let x = -53/2 - -27. Is w bigger than x?
False
Let j = -282 + 289. Which is smaller: j or 4?
4
Let c be (9/(-5) - -1)/((-218)/13625). Is c less than 1?
False
Let i = -161 + 219. Let t = i + -59. Which is smaller: -43 or t?
-43
Let a(l) = 2*l**3 + l**2 + 2*l + 1. Let z be a(-1). Let u be z + (-51)/(-1 - 2). Which is bigger: 14 or u?
u
Let a = 1.1 - 1. Let z = 151343 + -1367294/9. Let y = z + 578. Do y and a have the same value?
False
Let l be ((-3)/156)/((-24)/(-120)). Which is greater: l or -8?
l
Let f = -2.20161 - -0.20161. Let b be 63/(-6)*(-2)/(-8). Let y = b - -153/40. Is y at most as big as f?
False
Suppose u - 2*u = -5. Suppose -3*b - 67 = -u*s - 7*b, 4*b - 22 = -2*s. Let v be s/(-9)*(-1 - -4). Is -5 at most as big as v?
True
Let z be (-75)/5*(-12)/10. Suppose -z + 14 = -p. Suppose -a = 7 - p. Which is smaller: 1 or a?
a
Let q = -180 + 134. Do -22 and q have different values?
True
Let p(u) = -u**3 + 5*u**2 + 6*u + 2. Let k be p(6). Suppose -c = k*c. Suppose 3*q - 7 + 1 = c. Which is smaller: q or 3?
q
Suppose -105*l - 4 = -103*l. Which is smaller: 35 or l?
l
Let v(t) be the first derivative of t**4/4 - 4*t**3/3 + 5*t**2/2 - 3*t - 3. Let r be v(3). Suppose 5*o - 12 = 3. Is r != o?
False
Suppose 3*b + 1375 = -22*b. Is -2/7 >= b?
True
Suppose 0 = 3*d + 3*q + 12, -8*d + 9*d - 2 = q. Is 0 not equal to d?
True
Let b be (-3)/((-27)/(-2)) + 58/18. Suppose 3*d - b = -6. Let v be (-4)/(-18) + 156/(-459). Are d and v nonequal?
True
Let k be ((-30)/12 + (-4)/(-8))/2. Which is bigger: k or -5/336?
-5/336
Let u(f) = 2*f - 11. Let d be 30/2*(-4)/(-6). Let n be u(d). Let v = n + -1. Does v = 10?
False
Let x be (-41)/1 - (20 + -19). Let o = x + 49. Which is bigger: o or -1?
o
Suppose 0 - 3 = -3*a. Let z = 32 - 30. Is z smaller than a?
False
Let n(d) be the third derivative of 4*d**5/15 - d**4/6 + d**3/2 - 6*d**2. Let f be n(1). Is f >= 15?
True
Suppose 0 = 8*q + 42 - 66. Let t(i) = -16*i**2 + 1. Let o be t(1). Let b = -11 - o. Is q less than b?
True
Let m be 16/72 - 286/153. Let c = -25 + 22. Which is smaller: m or c?
c
Let b = 1091 + -1624. Does b = -535?
False
Let m = 947 + -948. Are m and 26/63 non-equal?
True
Let v = -290029/31 + 9355. Are v and -2 unequal?
True
Let s = -2/867 - 859/3468. Let p(r) = r**3 - r - 4. Let k be p(0). Which is greater: k or s?
s
Let k(v) = -19*v - 1. Let g be k(-5). Let q = 94 - g. Is -6/37 at least q?
False
Let w be (28/4 + -5)/(-2). Let i be (-54)/(-549)*4/6. Which is greater: i or w?
i
Let c = -90 + 245. Suppose 13*j = 8*j - c. Is j not equal to -33?
True
Suppose -37*m - 5726 - 1637 = 0. Let y = 511826219/2571356 - 23/62716. Let h = y + m. Is h at most as big as -1?
False
Let g = 718408/18487 - 8/2641. Which is greater: g or 38?
g
Suppose -3*t - t = -4*g + 8, -10 = 3*g + 5*t. Does g = -6/11?
False
Suppose 5*u = 3 + 17. Let y(o) = o**3 - 3*o**2 - 5*o. Let p be y(u). Let d = -12 + 8. Is p at least as big as d?
True
Suppose -17*l + 136 = 17*l. Is 5/2 != l?
True
Let k be 6*-11 - 31/(155/(-30)). Is -62 >= k?
False
Let i = -42 - -32. Let c be i - -13 - 41/13. Which is smaller: c or -0.2?
-0.2
Suppose -2*h = -5*i - 10 - 27, 5*h + 2*i - 20 = 0. Suppose 0 = h*l - 8*l. Is -2/47 at most l?
True
Let l be ((-6)/(-24))/(2/8). Let v be 15/10*4/6. Is v equal to l?
True
Let v be (-9)/(-11) - (-2 + 3). Let o = -2/1139 - -1147/4556. Which is smaller: v or o?
v
Suppose 6*o + 45 = -5*r + 2*o, -5*r = -2*o + 15. Let l(a) = -3*a - 28. Let s be l(-8). Are s and r equal?
False
Let v be (-3)/2*84/(-9). Let u be (2 + v/(-6))*-3. Which is greater: 1/21 or u?
u
Suppose 2*u = -7*u - 135. Is -8 less than u?
False
Let y = 206 + -1853/9. Let r = 19 + -19.2. Which is smaller: y or r?
r
Let u(h) = h**3 - h**2 + 33. Let q be u(0). Let p = q + -3. Suppose -10 = 32*x - p*x. Is -5 bigger than x?
False
Let v = 180 + -179. Let u(b) = -b**3 - b + 6. Let n be u(0). Let j be (n - 5)/(v/(-4)). Which is smaller: j or -3?
j
Let y(h) = -h**3 - 20*h**2 + 117*h - 200. Let a be y(-25). Let t = -1.3 + -3.7. Is a at most t?
False
Let g = -2/15 + -4/15. Are 5/2 and g equal?
False
Let q = 29242/17 + -1720. Let s(m) = -m**2 - 5*m - 1. Let i be s(-5). Which is smaller: q or i?
i
Suppose -5*z = -5*u - 10, 4*z - 14 = -0*u + 5*u. Let x be 3 - (-3 - u)*-1. Is 6 not equal to x?
False
Let y = 987/19 - 52. Let v = 3 + -3. Which is bigger: y or v?
v
Let h be (321/(-20))/(8/10). Let u = 20 + h. Let g be 2/(-8)*-2*-2. Which is smaller: g or u?
g
Suppose -3*k + 2954 - 638 = -3*r, -2*r + 760 = k. Is 767 > k?
False
Let m = -122 - -3049/25. Let p(i) = i**3 - 5*i**2 + 3*i + 3. Let q be p(4). Which is smaller: m or q?
q
Let v be 13/1*(3 - (-14 + 13)). Which is smaller: 1/6 or v?
1/6
Suppose -4*l - 2 = -2*l. Let c be 6/225*25/(-20). Let u = -47/510 - c. Is l at most u?
True
Let g(k) = k**2 + 8*k - 2. Let r(m) = m + 4. Let y be r(7). Let w = y + -20. Let i be g(w). Which is smaller: i or 6?
6
Let b = -82 - -78. Which is bigger: b or -1?
-1
Suppose 3*p + p = -4*s - 12, 0 = -2*p - 4*s - 14. Let x be p*2 - (-117)/(-26) - -1. Which is smaller: x or -1?
x
Suppose -20 = 5*r + 4*h, h + 20 = -3*r + 1. Let b be (-2)/(-4)*-2*r/(-452). Which is smaller: b or 0?
b
Let v be 8/28 - 5/(-7). Let h be 1/12*162/12. Let x = h + -33/40. Is v less than x?
False
Let h = 350 + -933. Is h less than or equal to -583?
True
Let v = -735.11 + 735. Is v equal to 13?
False
Let p(s) = -s**3 + 9*s**2 + 20*s + 24. Let q be p(11). Suppose 4*d + 12 - 4 = 4*g, 0 = -2*g - q*d - 4. Which is bigger: -2/49 or g?
g
Let s = 235 + -157. Let v be 4 - (101/s)/(13/39). Which is smaller: 0 or v?
0
Let o(q) = 204*q**2 + 2*q + 4. Let d be o(2). Is 824 != d?
False
Let d = 1537/161 - 190/23. Suppose g - 5*h - 4 = -3, 0 = 4*g + 2*h - 4. Which is smaller: d or g?
g
Let v = 269 + -270. Let b = 10.94 + 0.06. Is b at least as big as v?
True
Suppose -6*n - 244 = -10*n. Let w = n + -79. Which is bigger: w or -13?
-13
Let c be ((-2)/4)/(-2 + (-82)/(-42)). Which is greater: c or 12?
12
Let g = -104/3 + 34. Do -47 and g have the same value?
False
Let v(t) be the second derivative of -t**5/20 - t**4/4 + t**3/2 - 3*t**2/2 - 31*t. Suppose 3*u = 8*u + 20. Let x be v(u). Is x at most as big as 7/4?
True
Let g(f) = -106*f**3 + 4*f**2 + 5*f + 1. Let m be g(-1). Is m smaller than 3?
False
Let h(d) = d**3 + 2 + 6*d**3 - 5*d**3 - d**3 + 2*d**2. Let k be h(-2). Suppose -5*w - 34 = -k*o, -2*w - 17 = 5*o - 73. Is 12 < o?
False
Let k(m) = -2*m**2 + 27*m - 20. Let f be k(13). Which is smaller: 4/9 or f?
f
Let l = -305 - -306. Which is smaller: l or -8/39?
-8/39
Let w(b) = -4*b**3 + 2*b**2 - 8. Let t be w(-3). Let h be (-4)/(-12) + 1 + t/(-84). Is -1 smaller than h?
True
Let t = -77 + 81. Suppose -b = 5*q + 12, 0*b + 9 = t*b + q. Is b > 4?
False
Let a be ((-297)/120)/(66/88). Which is smaller: a or -4?
-4
Let h = -472188/139 + 3397. Is -1 >= h?
False
Let j(c) = c + 1. Let p be j(-1). Let q be 234/3393 - 39/145. Which is smaller: p or q?
q
Let q(z) = -4*z**2 + 3*z + 1.