rue
Let n be ((-11)/(-4))/(-11) + 18/152. Which is greater: n or -1?
n
Let u = -8 + 12. Suppose -v - 1 = 3, -m - 3*v = 6. Let a be m/12 - 2/u. Is 0 != a?
False
Let p = 140 - 136. Is -4/13 > p?
False
Let n = 18.648 + -19.1. Let v = 0.012 + n. Which is smaller: v or -1/4?
v
Suppose -6*n - 56 = -4*n. Let t = n + 31. Suppose 0 = -2*l + 2*i - 2, t*l - 15 = -3*i - 0*i. Which is smaller: 3 or l?
l
Let s(u) = u**2 - 15*u + 4. Let o be s(15). Let l be (-2 - (-6)/1)*4/5. Is o bigger than l?
True
Let l = 1 + -2. Let z = -1 - -1.24. Let d = 2.24 - z. Are l and d nonequal?
True
Let g(n) = -n**3 + n**2 - 1. Let x(p) = -2*p**3 - 10*p**2 - 23*p - 8. Let c(u) = g(u) - x(u). Let j be c(-9). Which is smaller: j or -39?
-39
Let n be 295/1 - (-53)/(795/(-90)). Is 286 at least as big as n?
False
Let v = 0.068 - 0.038. Let p = v + 0.07. Is 2/67 != p?
True
Let u = 5 - 6. Suppose y - 8 = 3*y + 3*d, 0 = 2*d. Let n be y*(3/(-102))/u. Are n and -1 unequal?
True
Let c(v) = -2*v + 14. Suppose -4*j + 17 + 3 = 0. Suppose -j*t - 14 = -54. Let l be c(t). Which is smaller: -12/7 or l?
l
Let v = -113.7 - -132. Let r = -18 + v. Let m = -0.4 + r. Is m greater than or equal to -0.2?
True
Let n = -7/34 + 559/238. Which is bigger: 3 or n?
3
Let v = 4633 - 551331/119. Let f = v - 265/2737. Which is smaller: -1 or f?
-1
Suppose -2*o = -5*a - 24, -3*a + 18*o = 16*o + 16. Which is smaller: 6/7 or a?
a
Suppose 3*y + 0*y = 6. Suppose -3*x - v = 17, -2*x + x - 4*v - y = 0. Let b = 14 + -23. Is x at most as big as b?
False
Let v = -143/301 + 2/43. Which is greater: v or 1?
1
Suppose 0 = -5*v + 35700 + 53145. Let q be ((v/33)/(-1))/1. Let a = q + 539. Which is greater: a or 2?
2
Let a(x) = 10*x**3 + x + 1. Let r be a(-1). Let f = -300 - -299. Is r >= f?
False
Let o(g) = 640 - 309 - 4*g - 320. Suppose 9*s - 4*s - 25 = 0. Let m be o(s). Is m smaller than -9?
False
Let v be (-6 + 12)*76/6. Let q = v - 92. Is q at most as big as -12?
True
Let l = 0.06 - 0.36. Let k = 9.5 + -9.6. Let j = -0.4 - k. Are j and l equal?
True
Let v = 16 + -15. Suppose -4*y - 3*n = 57 + 11, 0 = -2*y - 2*n - 36. Let b be 18/y - (-1)/7. Which is greater: b or v?
v
Let d be -10 + 11 - (-4)/(1*2). Suppose -38*a = -35*a + d. Which is bigger: -1/59 or a?
-1/59
Let p be (1 - 311/4) + (-13)/52. Is -79 less than p?
True
Let w = 5 - 5.3. Let g = w - -0.4. Let t = -98 + 98.03. Which is smaller: g or t?
t
Let a = 443 + -408. Is -0.04 at least as big as a?
False
Suppose 3*k + 16 = 7*k. Suppose -3*z - 2*v - 2 = 0, 3*v = -k*z - 2*v - 5. Which is smaller: z or -2/35?
-2/35
Suppose 0 = 5*y - 4*y. Let w be 5/2*-21*(-10)/175. Let x be 0/w*(1 + y). Do x and -2 have the same value?
False
Let y(a) = -a**2 + 13*a + 32. Let t be y(15). Let b be t/10*330/15. Which is bigger: b or 3?
b
Let b be ((-4)/(-8))/(2/8). Let z = b - 2. Suppose -2*c + c + 1 = z. Is 2 not equal to c?
True
Let i = -6 + 5.91. Let u = 0.99 + -1. Let k = i + u. Is -2/17 less than k?
True
Let q(s) be the third derivative of -s**5/60 - s**4/3 - 5*s**3/6 + 98*s**2. Let v be (-2)/2 - 0 - 7. Let p be q(v). Which is greater: p or -25/4?
p
Suppose 13*a = 17*a - 8. Let v be 4/(-2) - (-156)/153*a. Which is smaller: v or 0?
0
Let v(b) = b**2 + 14*b - 25. Let r be v(-19). Suppose 63 - r = -7*o. Which is smaller: -43 or o?
-43
Let j = -34 + 26. Let m be ((j/2)/4)/1. Which is greater: -8 or m?
m
Let z = -1.34 - 63.66. Let m = 65.31 + z. Are m and -1/4 nonequal?
True
Let v be (-16)/(-6) + 10/(-15). Let n(s) = -2 + v + s**3 - 5*s**2 + s - 2. Let l be n(5). Is l < 3?
False
Suppose 5*y - 6 - 24 = 0. Let j = 15 - 17. Let k be (3 - 2) + (4 - j). Is y at least k?
False
Let j = 6.4109 - -0.5271. Let z = -0.162 - j. Let d = z + 7. Which is greater: 0.2 or d?
0.2
Let k(n) = -n**3 - 7*n**2 - 16*n + 7. Let w be k(-5). Which is smaller: w or 35?
35
Let f(s) = -8 - 7 + 19 + 2 + s. Let l be f(-2). Is l bigger than 3?
True
Let j = 504 - 504.2. Is -2.2 >= j?
False
Let x = -50 - -20. Let t be 216/x*4/18*-15. Is t smaller than 0?
False
Let l(t) = -6 - t**3 + 4 + 2*t**2 - t - 4*t**2 - 3*t. Let f be l(-2). Suppose 2*p + f - 4 = 0. Are p and -4/9 unequal?
True
Let b = 2 - 1. Let g = 71 + -134. Let o be (-27)/g*2/(-12). Which is smaller: o or b?
o
Suppose -4*n + 9*n + 30 = 0. Let p be 9/15*(0 + (-1 - n)). Is 3 greater than p?
False
Let m(a) = 5*a + 2. Let b be m(1). Let x be (b - 3) + 28/(-7). Is x smaller than -2/37?
False
Let s = -8624 - -457092/53. Which is smaller: s or -1?
-1
Let v(a) = -239*a - 225. Let s be v(-6). Is 1209 less than or equal to s?
True
Let i = -5 - -8. Let v be (2 + 58)/i - 3. Let n = 21 - v. Which is greater: n or 2?
n
Let j = 0.6 + -0.5. Let y = -15 + 15.02. Which is smaller: y or j?
y
Let t(x) = -314*x**3 + 2*x**2 - 9*x - 10. Let f be t(-1). Which is bigger: 314 or f?
f
Suppose 3*l = -4*y - 124 - 96, l - y + 64 = 0. Let t = l + 339/5. Is t bigger than 0?
False
Suppose -3*q = -3*h - 36, 5*h + 0*q + 56 = 3*q. Suppose -63*v - f = -64*v - 7, 5*v + 53 = -f. Do h and v have the same value?
True
Let o = -20 + 34. Suppose -o = -3*t - 71. Let s(r) = -4*r**2 - 2*r - 6. Let z be s(-2). Is t smaller than z?
True
Let c = -2.89 + 2.59. Is 2/215 >= c?
True
Let u(c) = 5*c**3 + 9*c**2 + 11*c - 13. Let h(t) = 18*t**2 - 27 + t**3 - 5*t + 28*t + 10*t**3. Let q(m) = -4*h(m) + 9*u(m). Let r be q(-8). Is r != -6?
True
Let r(v) = 9*v**2 - 6*v - 7. Let f be r(-4). Let p be (0 - 6/(-154))/(46/f). Which is smaller: p or 0?
0
Let o = 4985/917 - 38/7. Let v = -1037/1441 - o. Suppose 2*n - 5*r = -9, 4*n - 4*r + 20 = 8. Do v and n have the same value?
False
Suppose -4*q + 7*q + 290 = 2*x, -x - 184 = 2*q. Let r = 60 + q. Are r and -35 equal?
False
Let u = 86 - 256/3. Suppose -x - 4*i + 15 = 13, 0 = -2*x + 5*i + 56. Suppose -2*t - 2*t + p = -3, 4*p = t + x. Which is greater: t or u?
t
Let f = 10.25 - 0.25. Suppose 2*q - 4*j + 23 = 83, -4*j = 5*q - 108. Let v be (q/42)/(1 - 3). Is v bigger than f?
False
Suppose 0 = -6*l + 3*l - 18*l. Are l and -2/237 equal?
False
Suppose -h = 4*q + 192, -2*h - 240 = 5*q - 4*h. Let g = q - -40. Is g <= -8?
True
Let f be (4/(-4005))/(26/(-39)). Which is greater: 0 or f?
f
Suppose 2*b + 15 = 7*b. Let m(c) = 0*c - c**2 - b*c - c. Let j be m(-4). Which is smaller: -1 or j?
-1
Let i = -0.1208 + -8.6092. Which is bigger: -2/7 or i?
-2/7
Let k = -2 + 1.9. Let c = 0.1 - k. Let b = 31 - 26. Which is smaller: c or b?
c
Let q be (-7)/35 + (-12)/(-10). Let t be (0 + 2)/(0 - q). Which is greater: -6/11 or t?
-6/11
Suppose 4335*r - 4331*r + 4 = 0. Is 4/49 smaller than r?
False
Suppose -4*m + 5*m = -19. Let x = m + 22. Suppose -4*h = -2*h + 4*v - 46, 104 = x*h - v. Is h < 32?
False
Let b = 1459 - 1410. Let i(x) = -x**3 + 5*x**2 - x + 4. Let t be i(5). Which is smaller: t or b?
t
Let q be (2/6)/(3/27). Let n be (4/56)/((-1064)/539 - -2). Which is smaller: q or n?
n
Let n be -6*(-3 - 28/(-12)). Suppose 9 = -n*q - 7. Is q bigger than 0?
False
Let t be 55 + 5/(15/(-12)). Let z = -70 + t. Let o(j) = -j**2 - 4. Let m be o(-4). Which is bigger: z or m?
z
Let f be 32/6 + 2/(-6). Suppose f*m + y = 32, 5*y + 9 = -m + 25. Let q = -66729 + 66729.1. Which is greater: m or q?
m
Suppose 0 = 2*z + 101 - 275. Let f = z - 611/7. Let d be 2/9 + 43/9. Which is bigger: d or f?
d
Let x be ((-24)/20)/((-3)/(-10)). Let g = 166 - 168. Which is smaller: g or x?
x
Let i be 0/(((-2)/6)/(2/12)). Suppose -6*t + 9*t = i. Is t less than 3/28?
True
Let k be 4/14*(-28)/10. Which is greater: k or 0.23?
0.23
Let g be 4/(-14) + (-92)/(-126). Let j = 4/3 - g. Is 2 < j?
False
Let z = 63 + -59. Suppose -z*a + 20 = 20. Let v be 2 - ((-3)/(-2) + 1). Which is greater: a or v?
a
Let b(o) = -o**3 + 2*o**2 + 6*o - 4. Let x be b(5). Let l(h) = h**2 - 38*h - 712. Let r be l(-13). Is x smaller than r?
False
Suppose -1694 = -0*b + 77*b. Which is greater: -252/11 or b?
b
Let t be (2 + 2)/(10/15). Let i be t/(-9)*15/7. Let n = i - -47/28. Is n at least as big as 0?
True
Let x = 160.2 + -160.3. Is -1002 less than or equal to x?
True
Let j = 10 + -7. Let r be ((-1)/j)/(12/9). Let u be 3/(-63)*495/55. Is u less than r?
True
Suppose 2*b + 0*b - 2 = 0. Let x be (-30)/2*(-36)/(-60). Let l be (-4)/x*(-3)/36. Which is bigger: l or b?
b
Let d be 702/(-51)*20/30. Is -9 at least as big as d?
True
Suppose -2*g + 0*g = 6. Let c be g*(0 + -10 - -3). Which is gr