r z?
s
Let u(a) = -a**2 - 13*a + 15. Let c be u(-9). Suppose -5*x - 2*r + 110 = -5*r, 4*x + 5*r = c. Is x greater than 18?
True
Let u = 345 + -4483/13. Which is smaller: -0.8 or u?
-0.8
Let f be -4*(148/16)/1. Let w = f + 37. Which is greater: -2/5 or w?
w
Let m = -119 + 601/5. Let b be ((-48)/350)/((-15)/100). Let z = m - b. Does 1 = z?
False
Suppose 6*j - 5*a = 5*j + 4, j + 3*a = -12. Let r(f) = -f**2 - 7*f + 3. Let c be r(j). Do c and 11 have the same value?
False
Let r = 20842 + -251291/12. Let p be 12*(2 + 25/4). Let y = r + p. Which is smaller: y or 0?
0
Let m be (2/(-6))/(28/9492). Let y = m - -12090/107. Which is greater: -1 or y?
y
Let g = -40445/63 - -642. Is g less than -1?
False
Let m(h) = 38*h**2 + h. Let p be m(1). Let q be (-6)/p*(-3)/15. Do q and -1 have different values?
True
Let k be ((-1)/14 - 9/21)*-36. Is k at most as big as 21?
True
Suppose -5*h - 18 = 2*q, 10 = 2*q - 3*h + h. Suppose -q = 3*y + 8. Let f be ((-12)/60)/(1/11). Are f and y nonequal?
True
Let r = -21.8 + 21.7. Which is greater: -5 or r?
r
Suppose 0 = 3*c + 176 - 158. Is c at least as big as -11/2?
False
Suppose 4*u = 2*u. Let g = -191/284 + 30/71. Which is greater: u or g?
u
Let d = 85/18 + -2/9. Let v be ((-10)/6 + 1)*-6. Let j = v - d. Is 0 at most j?
False
Suppose -24*d = -34*d - 1880. Is -188 < d?
False
Suppose -24 + 30 = 6*j. Suppose -3*o - 3 = -3*r, -8 = -2*r - 2*r + 3*o. Let g be (-11)/r - (-2 + 0). Is g equal to j?
False
Suppose -5*t + 1199 = -4*v, -5*v = -7*t + 2*t + 1195. Is 244 less than t?
False
Let a = -254 + 584. Is a <= -0.1?
False
Let a = 977 + -977.53. Is 10 at least a?
True
Let y be (-1)/13*(5 - 6). Is 0.3 <= y?
False
Let u(v) = -2*v - 4. Let a(h) = h**3 - 9*h**2 + 8*h - 2. Let o be a(8). Let r be u(o). Which is smaller: 3/26 or r?
r
Suppose 44*a = 9*a - 665. Let t be (-4)/4 + -15 + -2. Which is bigger: t or a?
t
Let b(c) = 5*c - 46. Let z be b(11). Let r be 1/3 - (-71)/3. Let x = -16 + r. Is z >= x?
True
Let m = -10 + 15. Let s be (-5)/m*1 + 2. Is 0 at least as big as s?
False
Let p be 10 + (-3 - -2) + 0. Let g(m) = -m + 16. Let f be g(p). Suppose -4*h - 1 - f = 0. Which is bigger: h or -1?
-1
Suppose 2*j - 58 = -4*i, 3*i = 2*j - 1 + 27. Let x be i/(-8) + -1 - -2. Is 0.1 greater than x?
True
Let v(g) = -45*g + 497. Let z be v(11). Are z and -29 non-equal?
True
Suppose 3*q + 6*q = 675. Suppose -3*c = 2*c + q. Suppose 0*y - 4*z = -2*y - 32, -48 = 3*y - 5*z. Which is bigger: c or y?
c
Let y = 17 - 31. Let k = 9 + y. Let b = 2 - 8. Which is smaller: b or k?
b
Let k be (-9)/(1 + 2) - -5. Let o = -58 + 61. Let c be k*(27/6 - o). Is -1/11 at least as big as c?
False
Let k = 44.806 + 0.194. Are k and 2/19 equal?
False
Let q = 24 - 14. Let z = -4.2 + 4.6. Let k = z - 0.3. Is k >= q?
False
Suppose 69*b - 90 = 72*b. Let n = b - -25. Which is smaller: -10 or n?
-10
Let u(c) = 279*c**3 - 13*c**2 - 3*c + 6. Let o be u(-2). Is o bigger than -2272?
False
Let b = 22 + -16. Let i = b + -9. Are 0 and i non-equal?
True
Let g = 36 + -32. Which is bigger: 6 or g?
6
Suppose -120*d + 2*o + 192 = -121*d, 2*o - 808 = 4*d. Is d at most as big as -200?
True
Let c(f) = -3*f + 3. Let d be c(2). Let y be 3 + 3 + (-12)/d. Let b be ((-9)/(-15))/(8/y). Is b less than -1/3?
False
Let y = -15 - -14.852. Let j = 0.048 + y. Is 42 not equal to j?
True
Let u = -61 + 61. Let a be (-310)/93*(u + -3). Is 4/3 <= a?
True
Suppose -2*j - 5 = -15. Let z be 6/(-7)*j/(-10). Are 0 and z unequal?
True
Let s = 473/323 - 24/17. Suppose 8*m = 4*m - 68. Let j = m - -17. Do s and j have the same value?
False
Let w = 0.8 + 0.2. Let b = -35 + 39. Let t be 1/2*b/(-6). Which is smaller: w or t?
t
Let u(o) = o. Let m be u(0). Let q be 9/(-4)*(-140)/15. Suppose q = -4*a - 3*a. Is m at least as big as a?
True
Let i = 7 + -6.9. Let y = -2.988 - 0.112. Which is smaller: i or y?
y
Let w = -14.97 - -15. Let p = -33 - -33.23. Let q = p - w. Which is bigger: q or 0?
q
Let a = 19 - 13. Let b be (78/(-18))/((-2)/a). Let j(c) = c**3 - 12*c**2 - 12*c + 4. Let t be j(b). Are 17 and t equal?
True
Let l = -25 - -34. Which is smaller: 7 or l?
7
Let j = 39.17 - 0.07. Let n = 39 - j. Which is smaller: n or -5?
-5
Suppose 7*g - 4*q - 290 = 4*g, 4*g - q = 378. Let l = g + -4229/45. Does l = 0?
False
Let t = 1/516 + 383/2064. Suppose o - 4 = -2*h - 0*o, 4 = o. Which is greater: t or h?
t
Let j = 49 - 46. Suppose 2*t - 3*r + 0*r = 78, -j*t + 87 = 3*r. Which is bigger: t or 34?
34
Let y = 184 + -128. Let q = y + -614/11. Is q >= 0?
True
Suppose -3*l = -2*l - 3*a + 208, -2*l - 2*a - 416 = 0. Which is bigger: -210 or l?
l
Let i = -3/8674 - -18851/4345674. Let m = i + -340/1503. Are 15 and m nonequal?
True
Let d(a) = a**3 + 9*a**2 - 9*a + 9. Let x be d(-10). Let f be 45/9 + x + 1. Suppose 4*t - f*t = 3. Is -0.2 greater than or equal to t?
True
Let j(q) = 0 + q**2 + 1 - 5 - 7*q. Let k = -20 + 27. Let x be j(k). Which is smaller: x or -5?
-5
Suppose -5*g = -6*g + 3*k - 1, 2*g = k - 2. Let n(i) = 7*i + 7*i + 0*i. Let c be n(g). Is -1 less than or equal to c?
False
Let a = -0.188 + 10.488. Let w = a - 10. Which is smaller: w or 2/5?
w
Suppose 19 = 4*l - 21. Suppose 2*t = -3*v + 18 + l, -t + 4*v - 8 = 0. Suppose 5*i + t = 38. Which is bigger: i or 7?
7
Let f = -0.07 - 8.93. Let u = f - -20. Suppose 0*p = -2*p + 2. Is p less than or equal to u?
True
Let h(j) = 5*j - 24. Let p be h(12). Let q = p - 33. Let i = -1 - -1. Is q at most i?
False
Let t = -18 - -18. Let k be 1 + 0 + (t - -2). Do 2 and k have the same value?
False
Let p = -1 - -3. Let n = 2112 - 2109. Do n and p have the same value?
False
Suppose 0 = 5*x + 5*z - 2085, 347 = 3*x - z - 888. Let i = x - 5366/13. Suppose 4 = -2*n, 2*n + n = 2*a - 6. Do i and a have the same value?
False
Let h = -0.14 - -3.14. Let i = 79/4 + -20. Which is greater: i or h?
h
Let k be (6/(-84))/(26/(-8) - -2). Is k != 0?
True
Suppose x - 4*n = 9, 2*n = 38*x - 42*x - 18. Which is smaller: -80/19 or x?
-80/19
Suppose 3*k + 3*f = 4*f + 10, -4*k + 30 = 2*f. Suppose k*p = 4*b - 130, -2*p - 2*b - 52 = -6*b. Is p <= -26?
True
Let p(b) = 51 + 6 + 2*b - 31. Let y be p(-20). Is y at most as big as -13?
True
Let s be (4/2 - -22)*(-1 - -3). Let q be s/26 + (-6)/(-39). Is q at most -1?
False
Let o(u) = u**3 + 14*u**2 - 9*u + 6. Let q be o(-15). Let w be (-30)/4*q/15. Let z be ((-4)/(-6))/(w/(-18)). Is -1 greater than or equal to z?
False
Let s be (-5)/((-1)/2 + -2). Suppose s*w = -4*g + 7*w + 101, g - 5*w - 44 = 0. Is 19 less than g?
False
Let n(w) = -3*w**2 - 5. Let o(v) = -7*v**2 + v - 10. Let u(d) = -5*n(d) + 2*o(d). Let q be u(0). Suppose q*i = 4*i. Is i not equal to -4?
True
Let g(x) = -2*x**2 - 2 - x**2 + 5*x**2 - x - 4*x. Let o be g(4). Let l be (18/(-4))/(5/(-10)). Which is smaller: l or o?
l
Let h = -50.01 + 50. Is h at least -7?
True
Let m be 4*((-707)/(-357) + -2). Which is smaller: -0.2 or m?
-0.2
Let v = 7/115 + -913/13110. Which is greater: v or 0?
0
Let p = -2 + 1. Let f be 1/(p/((-2)/(-12))). Let s(k) = 4*k - 8. Let c be s(2). Does c = f?
False
Let i(m) = 86*m - 339. Let r be i(-8). Is -1026 > r?
True
Let p = -647/1095 - 2/219. Let f = 16 - 47/3. Is p less than or equal to f?
True
Let y be (10/2)/((-824)/(-2)). Is -1 <= y?
True
Let s be 83/70 + 9/(315/(-10)). Let z(p) = -2*p**2 - 10 + 5*p + 3*p**2 - p. Let h be z(-6). Is h at least as big as s?
True
Let v(z) = z**3 - 5*z**2 - 3*z - 16. Let g be v(6). Suppose g + 1 = -3*p. Which is smaller: p or -1/4?
p
Let b be (-16)/4 + (-628)/(-158). Let y be 8/(-64) + (1 - (-7)/(-8)). Which is smaller: b or y?
b
Let r = -416 + 276. Let t be (-1 + 3)*(-4)/r. Which is greater: 0 or t?
t
Let t(d) = d**2 - 2. Let l be t(-3). Let h be (16/56)/(11/l). Let x = -1.99 + -0.01. Is h bigger than x?
True
Let i be (-12)/(-60) - 1/5. Suppose -q - 2 = -i. Suppose 4*n = -0*n. Which is smaller: q or n?
q
Let o = 1111 + -1860. Is -748 smaller than o?
False
Let h(c) = -c**3 - 2*c**2 + 2*c + 2. Let n be h(-2). Let l = -3 + n. Which is bigger: l or -7?
l
Let k = -255 - -271. Are k and 19 non-equal?
True
Let s be -3 - ((-1035)/50)/3. Is s != 5?
True
Suppose 224 - 16 = -4*v. Let j be (-91)/v - (1 - -3). Is -1 greater than j?
True
Let j = -806 - -780. Is j greater than or equal to -38?
True
Suppose k - 72 - 133 = 0. Is -2 at most as big as k?
True
Let z be 1 - (3 + 15/7 - 4). 