-3*u + 3*p - 13197 = 10512. Is u at least -7902?
True
Let t be ((-37308)/14)/((-6 - 4) + (-595)/(-70)). Is t smaller than 1778?
True
Let l = 1861 - 1867. Is -2/213 smaller than l?
False
Let c = 2 + -3. Let f = 201179 + -201179. Is f != c?
True
Let m be (441/(-12))/((-324)/(-2160)). Which is bigger: -249 or m?
m
Suppose 4*h = -4*s + 1416, 1099 = 5*s - 3*h - 695. Suppose 4*f + 5*n - s = 0, -4*f - 2*n + 273 = -f. Which is smaller: 1 or f?
1
Let m be ((-16458)/1794 - (4 - -1))*-3. Which is smaller: 44 or m?
m
Let m = -366 - -395. Let x(n) = 2*n**2 + 27*n - 27. Let u(b) = b**2 - b + 1. Let v(t) = -3*u(t) + x(t). Let y be v(m). Which is greater: -1/7 or y?
-1/7
Let d(m) = m**3 - 6*m**2 - 237*m + 2201. Let b be d(10). Let j be (-3230)/(-14) - 4/(-14). Is j bigger than b?
False
Let s = -50 - -55. Suppose -4*k + 305 = -s*z, 2*z = k - 63 - 11. Suppose k = 5*y + 5*a - 0*a, -a - 36 = -3*y. Is y > 12?
True
Let h = 68 + -65.14. Let p = 2.96 - h. Which is greater: p or -21/2?
p
Let q = 6493 - 4940. Is q < 1?
False
Suppose -4*o = -4*a + 132, 2*o = a - 48 + 11. Suppose -5*b + a + 101 = 0. Let w be 159/(-9) - 336/(-126) - -42. Is w >= b?
True
Let g be 43/15 + ((-168)/90)/(-14). Suppose 3*k - 13 = -2*c - 22, 4*k = -g*c - 11. Are 5 and c equal?
False
Let i = -2.084 + 0.084. Let s = -0.39 + 0.43. Let o = s + 0.36. Which is smaller: o or i?
i
Let s(l) = l + 3. Let z be s(-5). Let j = -19263 - -539349/28. Is z < j?
True
Let b be (-2002)/(-1340) - (3 - 24/16). Suppose -5*p = 0, 4 = 4*x + p + 2*p. Which is smaller: x or b?
b
Suppose 2*v - 3*b + 14 = v, 4*v = 4*b - 32. Let n be v/25*20/(-6). Let l(j) = 28*j + 419. Let y be l(-15). Which is bigger: y or n?
n
Suppose -4*t = 4*p - 2*p + 614, 4*p - 455 = 3*t. Let v = t + 151. Is -4 greater than or equal to v?
False
Let z = 26.09 + 0.87. Let f = -0.04 - z. Let l = 30 + f. Is l less than 3?
False
Let s be (-2)/(-3) + 1280/24. Let l = s - 54. Suppose l*v + 9*v = 90. Is v at least 9?
True
Let i = 379.9312 - -0.0688. Let b = 381 - i. Which is greater: b or 0?
b
Let r be (-37)/((-44)/56 + (-10)/(-35)). Suppose 3*b + r = -3*o - 7, -b = -o - 29. Which is smaller: o or 0?
o
Let p be 2/6 + 11/(-15). Let m = -19.6 - -13.6. Let v = 6 + m. Is v at most as big as p?
False
Let a(p) = p**2 - 35*p - 111. Let f be a(38). Let c be (7 + (-133)/21)*f/(-13). Let j = 0.5 + -4.5. Is j at most c?
True
Let f be ((-200)/12)/(-10) + 1112/(-744). Let b = 10 - 11. Is f at least b?
True
Let i = 66 + -45. Let s = -16.21 - -0.21. Let w = s + i. Is -1 greater than w?
False
Suppose -122*b = -103*b + 988. Is b greater than or equal to -51?
False
Let x = 3.497 + -1.497. Is -288 < x?
True
Let b(a) = 2*a + 37. Let w = 33 + -52. Let d be b(w). Let r = -7.15 + 0.15. Which is greater: d or r?
d
Let k = 13.5 - -51.5. Let n = k - 54.3. Let r = n - 10.8. Is r at least -0.23?
True
Suppose -4*j = -m - 179 - 453, -5*m = -j + 3141. Is m equal to -2?
False
Suppose 2*z - 117*t + 13 = -120*t, t = 2*z + 33. Is -232/15 <= z?
True
Let u = -32093/113 - -284. Let m = 123/1130 + u. Are 1 and m unequal?
True
Let t(n) = -n**2 - 6*n - 6. Let o be t(5). Let k be 190/(-57) + 358/(-6). Which is bigger: k or o?
o
Suppose 4*a = -3*w + 4 + 3, -5*w = -a - 4. Let i be 28/(-26)*18/144. Let g = i - -575/5044. Does a = g?
False
Let a(y) = y**2 - 53*y + 603. Let i be a(16). Which is smaller: -374 or i?
-374
Let n = 448.149 + 0.851. Let o = n - 449.08. Is -15 < o?
True
Suppose 5*u = 10, 3*r + 0*u - 19 = u. Let c(w) = -w**2 - 16*w - 2. Let j be c(-16). Let z be r/(-105)*5/j. Is z at most 0?
False
Suppose -4*p + 20 = -4*b, 38*b - 35*b + 10 = -2*p. Is 33/146 greater than p?
False
Let w be (-38 - -46)/(2/99). Suppose 4 - w = 14*v. Let r(a) = -a**2 - a - 7. Let g be r(-5). Are v and g equal?
False
Let i = -32.66 - -33. Let o = -0.57 + i. Let f = 0.29 + o. Which is greater: 0 or f?
f
Suppose -4*o = -16, c - 3*o + 2774 = -10488. Let t be (2 - 17/8)/((-2)/c). Let b = 830 + t. Is b less than or equal to -1?
False
Let y = -7/11712 + 48358883/58560. Let t = -823 + y. Which is smaller: t or 4?
t
Suppose -36*i + 4092 = i + 5091. Is -76 < i?
True
Let l(v) = 22*v - 325. Let c be l(15). Suppose -a - 92 = -4*f, -c*f + 351 + 34 = -5*a. Is a less than -73?
False
Let u = 20096 - 20095. Is 12/1529 equal to u?
False
Let c(j) = -j + 38. Let a be c(39). Which is bigger: 13/196 or a?
13/196
Let x = 2.7915 - 0.7915. Which is bigger: 1/153 or x?
x
Suppose x + 49 = 25. Let r = x + 24. Let d be 3 - r/(4/4). Which is smaller: 1 or d?
1
Let b(g) = -3*g**3 + 2*g**2 + 5*g - 1. Let t be b(-2). Suppose -15*u = 6*u - t. Suppose -o + 2*o + 2 = 0. Which is greater: o or u?
u
Suppose q - 2*a = -5, -2*q - 195 = -5*a - 191. Do -1/133 and q have the same value?
False
Let u be (-25)/(42300/27)*380. Which is smaller: u or -6?
u
Let x(b) = -2*b - 2. Let s be x(-2). Suppose 27 = -s*o + 3*u, -3*o - 2*u - u = 18. Let i = 28789 - 28798. Is o smaller than i?
False
Let l be 1/3*(8 + 7). Let m be ((-5)/(l/(-18)))/(21/(-14)). Let b(q) = q - 28. Let f be b(15). Is f greater than m?
False
Let o = 652 - 386. Suppose 1010 = -6*y + o. Is y not equal to -370/3?
True
Let t be 104/(-3) - 1/3. Let q(o) = 6*o - 45. Let a(z) = 20*z - 181. Let l(h) = 6*a(h) - 22*q(h). Let w be l(-5). Which is bigger: w or t?
t
Let p(s) = 82*s + 286. Let o be p(25). Is 2336 less than o?
False
Let j = 193344 + -386681/2. Let v be (-16)/(-3) - 2/6. Is v < j?
False
Let r(h) be the third derivative of -h**6/120 + h**5/30 + 17*h**4/24 - 16*h**3/3 + 75*h**2. Let u be r(4). Is 21/4 > u?
True
Let u be ((-930)/8)/((5 + 553/(-105))*-9). Which is smaller: -47 or u?
u
Suppose 0 = -12*a + 2*a - 4*a. Suppose -10*s - 1614 + 34 = a. Which is greater: -157 or s?
-157
Let y be (-8)/20 + (-3)/5. Let f be (-1590)/(-9) + 6 - (-1)/3. Let c be -3 + 364/f - 4/(-4). Is y > c?
False
Let o(p) = -3*p - 5. Suppose 4*i + 12 = -4*d, 2*d - 12 = 2*i - 2. Let z be o(i). Let w be 62/(-266) + z/(49/2). Which is bigger: w or 0?
w
Let y be (18 + -3 + -70)*52/270 - -3. Which is smaller: -8 or y?
-8
Let o = -3/4 - -41/92. Let g = 474/1633 + o. Is g < 1?
True
Let b = 17415/8 - 182269/88. Which is bigger: 106 or b?
106
Let p = -1.047 + -0.953. Which is greater: p or 132.1?
132.1
Let i = 9147 - 9148. Is -2/275 <= i?
False
Let c = -15 - -12. Let i be (-6)/(c/(210/4)). Suppose 4*f + i = 9. Do f and -25 have different values?
True
Let o = -240 - -34. Let l = 207 + o. Which is greater: l or 9/8?
9/8
Let u = 135778 + -135779. Let t be 3*((-431)/433 + 1). Which is greater: t or u?
t
Let z = -39 + -1. Let t = 42 + z. Let x be -12*(t + 10/(-8)). Is -9 equal to x?
True
Let w = 4988 + -4988.159. Is 12/5 < w?
False
Let g = 4470 + -93872/21. Is g bigger than 9/19?
False
Let c = 2329/16591 - 12/353. Is 1 <= c?
False
Suppose -63*j + 631 = -440. Let g = -20 + 38. Is g smaller than j?
False
Let b = 2906 - 2905.3. Is 20.4 equal to b?
False
Let q(m) = -120*m + 1286. Let r be q(62). Is r at least as big as -6153?
False
Suppose -3*g - 5*s + 2878 = 0, -7*s + 8*s - 1928 = -2*g. Are 966 and g nonequal?
False
Suppose 0 = -4*z + 8, -4*z - 10 = 4*g - 7*g. Suppose 2*u + g - 75 = 5*n, -4*n - 5*u = 42. Is n less than or equal to -3?
True
Let f = -57/10 - -191/30. Is 26/45 >= f?
False
Let r = -1.03 + 3.284. Let f = 0.106 + r. Let j = -0.36 + f. Is j at least as big as 9?
False
Let i = -2421814/121 + 20015. Is -4/9 bigger than i?
False
Let g be (1*2/(-6))/(3/459). Let d be 17/g + (-100)/(-324). Which is smaller: d or 0?
d
Let v be 0/(5 + -3 - (0 - -1)). Suppose 9*z - z + 344 = v. Is z smaller than -45?
False
Let d be -140*((-4)/(-24) - (-3)/9). Let q = d - -65. Is -5 smaller than q?
False
Let l be 1/2*(3 + -1). Let i = 5349/815 + -33/5. Is l bigger than i?
True
Let l = 1.76 + -1.56. Let b = 0.4 + l. Is 1/4 at most as big as b?
True
Suppose 17*j - 3345 = 3166. Let n = 387 - j. Is n greater than 10?
False
Let n(g) = g**2 + 9*g + 13. Let a be n(-6). Let j be (a - (-12)/3) + 0. Let r be 1 - ((-29)/(-11) + 0). Which is bigger: r or j?
j
Let h = -890 - -898. Which is bigger: h or 78?
78
Suppose 6*r = 2*r + 20. Let q be (2/(-4))/(r/10). Let c be (-45)/(-110)*22/198. Which is greater: q or c?
c
Suppose -2*w = 4*j - 2316, 4*w - 246 = -222. Which is smaller: j or 578?
j
Let t = 14.9 + 586.1. Let f = t - 584. Is 7 smaller than f?
True
Let j = 187 - 187.21