 c be l(-18). Suppose 2*k - 15 - c = 3*y, -4*k + 4*y = -48. Is 9 at least as big as k?
False
Suppose -59 = -2*r - 61. Which is greater: 6/95 or r?
6/95
Let m = 0.24 + 2.76. Which is greater: m or -37?
m
Let x = -0.2 + 0. Let z = -17 + 24. Suppose -2*g - 4*i + 22 = -z*g, 5*g + 5*i = 5. Are x and g non-equal?
True
Let c = -480 + 479.93. Is c equal to 0.13?
False
Let r = 6 - 3. Let i(x) = x**3 - 4*x**2 + x + 4. Let f be i(r). Let o be (9/11 - f) + -3. Which is bigger: 0.2 or o?
0.2
Let o be ((-276)/(-27) - 10) + (-4)/18. Is 1/114 at least o?
True
Let u = 0.02 + -0.006. Let f = u - -6.986. Which is bigger: -2/5 or f?
f
Let i = 7 + -12. Let j be ((-3)/i)/(15/(-75)). Let n be ((-3)/134)/(j/(-4)). Which is bigger: 0 or n?
0
Let w(h) = -h - 1. Suppose 3*p = -0*p. Let a be w(p). Let b = -518/13 - -40. Which is smaller: a or b?
a
Suppose 0 = -5*s + 3*s. Let w be (3/27)/(5/(8 - 18)). Is w not equal to s?
True
Let r = -0.128 - -0.085. Let d = 7.043 + r. Is 7 less than or equal to d?
True
Let f = -49 - -49. Is f greater than -7/6?
True
Let b(d) be the second derivative of -d**4/12 - 2*d**3 - 3*d. Let x be b(-6). Suppose 3*k = 5*l - x, 2*l + k = -12 + 33. Are 10 and l equal?
False
Suppose 9 + 5 = 2*j. Let h be 2 + (30/j)/(-2). Suppose -f - 4 = 2*b, 2*b - f - 2*f = 12. Which is smaller: h or b?
h
Let n = -73 + 70. Which is bigger: -11/3 or n?
n
Let a be 192 + 0 - (1 - (-4 - -2)). Is a <= 189?
True
Suppose 0*t - 23*t + 92 = 0. Which is bigger: t or 6?
6
Suppose 0 = -p - 4*p - 235. Let y = -4 - p. Which is smaller: 44 or y?
y
Suppose 3*g = 4*t - t, 4*g - 12 = t. Suppose 0 = -t*m - 5*u - 60, u + u = -m - 18. Suppose 0 = 2*d + 4*b + 18, 3*d - 4*b = -8*b - 29. Is d > m?
False
Let u be 8/(-14) + (-132)/(-231). Do 8/75 and u have different values?
True
Let s be (-10)/55 + 228/44. Suppose 3*q = -s*c + 3*c + 84, q = -3*c + 112. Is 36 at least c?
True
Let j(h) be the second derivative of h**5/20 - 7*h**4/12 + 5*h**3/6 + 3*h**2 + 6*h. Let f be j(6). Let z be (25/4 - 6)/(26/4). Which is bigger: f or z?
z
Let v be (-4 - (-21)/(-6))*376/(-10). Is 282 at most as big as v?
True
Let u be (((-44)/15)/(-11))/((-184)/40). Do u and 0 have different values?
True
Let k = 77 + -55. Is k > 22?
False
Let z(w) = -5*w**2 + 21*w + 6. Let l(g) = -6*g**2 + 22*g + 7. Let p(n) = 4*l(n) - 5*z(n). Let s be p(17). Which is bigger: s or 4?
4
Let z(a) = -15*a + 1. Let m be z(1). Let y be (-4)/m - 52/(-112). Suppose 9*i = 26*i - 15*i. Are y and i equal?
False
Let i(c) = -239*c - 360. Let r be i(-3). Is r less than -3?
False
Suppose 114 = 32*u - 13*u. Is u at least 63/10?
False
Let t be 4 + 9/((-225)/(-10)) + 5. Suppose 6*z = 34 + 26. Are t and z nonequal?
True
Let l be (-3 + 2)*(-2)/5. Let n(o) = -o + 7. Let y be n(5). Let z = y - 2. Which is bigger: l or z?
l
Let c = -1 + 1. Suppose c = t - 4*t. Let a be (4/(-48)*4)/(2/6). Do a and t have the same value?
False
Suppose 4*n - 4 = 3*n. Let m = n - 2. Let f = 19.83 + -20.03. Are m and f unequal?
True
Suppose 0 = w - 3*h - 4, -2*w - 4*h = w - 38. Let b be ((-9)/(-27))/(1/24). Which is greater: b or w?
w
Suppose 3*f - 2*i + 5*i + 30 = 0, i - 10 = 3*f. Suppose -236*r + 244*r = 40. Let q be (r - 1) + 1*f. Is -2/9 greater than or equal to q?
True
Let j(i) = -i - 12. Let f be j(-12). Let n = 12.6 + -13. Which is bigger: n or f?
f
Suppose 3*h + 8 = 125. Let x be (-6)/(-4) + h/(-6). Let k be (-8)/x + 9/(-15). Is k at most as big as -0.12?
False
Let u(b) = 3*b + 13. Let y be u(9). Let h be ((-6)/156)/((-2)/y). Which is bigger: 0 or h?
h
Let l be -2*3*155/10. Let f be (-1)/2 + l/2. Which is smaller: -49 or f?
-49
Suppose -q = 4*u - 13 - 8, 2*u + 4*q = 28. Suppose 2*y - 4*y = 2*a - 16, 0 = 3*y + u*a - 24. Is 7 at least as big as y?
False
Let x be 0/(2/(2 + 0)). Let a(o) = o**2 + 8*o - 3. Let d be a(-8). Let j be (d/9)/1*-3. Which is greater: x or j?
j
Let y = 5 + -5.1. Let n = -133 + 125.6. Is n != y?
True
Let n(h) = h**2 - 2. Let m be n(-3). Let s be (-24)/8 + 19/m. Which is bigger: s or -1/3?
s
Let k be -2*(25/30 + 5). Let i = -35 + 22. Is i bigger than k?
False
Let s(f) = f**3 + 5*f**2 - 9*f - 18. Let t be s(-6). Which is smaller: t or -518?
-518
Suppose -2*n + 22 = 5*o - o, n = 3*o - 9. Which is smaller: o or 49/10?
o
Let u be ((-92)/(-184))/((-2)/948). Is u < -236?
True
Let u(r) = -r**2 + 8*r - 2. Let x be u(11). Let j = 39 + x. Which is smaller: j or 24/5?
j
Let c = 19 - 19. Suppose h - 3 + c = 0. Suppose h = 2*o - 2*u + 15, -u = 4*o - 1. Is -11/5 > o?
False
Suppose f + 0*f + 88 = 2*w, -2*w = -4*f - 88. Let q be (-134)/w - 40/(-16). Is 0 <= q?
False
Let i(r) = 5*r - 2. Let z(c) = -c + 1. Let b(x) = i(x) + 4*z(x). Let g be b(0). Let f(t) = t + 6. Let w be f(-5). Is g greater than w?
True
Let a be (-2253)/5 - (-40)/(-100). Let y = -7213/16 - a. Is -1 > y?
False
Let j be (-4)/16 + 7 + 1386/(-24). Is -49 <= j?
False
Let j(w) = -3*w**2 - 24*w + 61. Let r be j(-10). Is r at least -1/315?
True
Suppose -42*o + 34*o + 88 = 0. Which is smaller: o or 54/5?
54/5
Let y = -4007 + 200377/50. Let p = y - 1/25. Which is smaller: p or -4?
-4
Suppose 4*g + 2*k = -822, -4*k = 5*g + 251 + 769. Is -208 less than or equal to g?
True
Let z = -90 + 1707/19. Which is greater: z or 1?
1
Let q = 59/13 + -327/52. Are q and -2/3 equal?
False
Let w = -0.95 - 0.05. Let h(r) = -r**3 - 4*r**2 - r - 11. Let f be h(0). Which is bigger: f or w?
w
Let g(i) = i + 9. Let d be g(-7). Suppose 4*s = -2 - d. Let n be (0 + 2/7)*63/42. Which is smaller: n or s?
s
Let d = 0.068 + 29.932. Let m = -30.18 + d. Is m > 0.1?
False
Let o be 2*(9152/(-13))/8. Is -1 less than or equal to o?
False
Let y be (3/3)/((-2)/(-6)). Let j = 70245/17 + -4135. Let m = y + j. Are 0 and m non-equal?
True
Let o = -9 - -19. Suppose -32 = -4*a - 3*p, p = 3*a - a - 26. Which is greater: o or a?
a
Let p = -161.17 + 162. Let d = p + 0.17. Let b = 0.04 - -3.96. Which is smaller: b or d?
d
Let x be (14/26)/(73/(-12) - -6). Let a = x - -394/65. Which is smaller: a or -69?
-69
Let k(x) = -x - 3. Let n be k(-2). Let i be 3/(-9)*(38 - n). Which is smaller: -25/2 or i?
i
Suppose 0 = -17*p - 101 - 69. Let l(a) = a + 9. Let f be l(p). Is -4/23 <= f?
False
Let r = 290 + -290. Is r greater than or equal to 1/661?
False
Suppose 35 = v + 4*v. Let y be 182/6 - v/21. Let u be (y/9)/((-1)/3). Are -10 and u non-equal?
False
Let i be 10 + -4 - (1 + 0). Suppose -55 - 65 = 6*k. Let l be 545/(-20) - i/k. Which is bigger: l or -28?
l
Suppose w + h = 3, -16*w = -13*w - h + 3. Let v = 13/5 - 17/5. Is w >= v?
True
Let v be 12 - 2/(-39)*-522. Which is smaller: v or -16?
-16
Let x = 0.089 - -4.011. Let o = x + -3.1. Which is smaller: 0.15 or o?
0.15
Let t = 0.7 + 1.1. Let j = t + -1.6. Is j equal to -1/6?
False
Let t be (-16)/(-10) + 18/(-30). Suppose 2*a + 3*b = -t - 10, -5*a + 5 = b. Suppose 0 = 3*m + z - 1, a = 2*z - 0*z. Is 2/21 at most as big as m?
False
Suppose 29 = -5*x + 49. Let v = -8 + 6. Let o be (0 + v)*x/8. Do o and -2 have the same value?
False
Suppose 270*w + 464 = 278*w. Is w greater than or equal to 57?
True
Let m = -1159 + 1158. Which is smaller: m or 8/195?
m
Suppose 2*q - 10 = -0. Let b be (-100)/15*18/(-4). Suppose -q*m + 0*m = -b. Which is bigger: m or 4?
m
Let a(q) = -q**2 - 3*q - 2. Let m be a(3). Suppose 2*n + 1083 = 21*n. Suppose 0 = 4*l + 19 + n. Is m smaller than l?
True
Let v = -0.2 - 0. Let u = -0.136 - -0.42. Let y = -0.016 - u. Which is smaller: y or v?
y
Let q be (-4)/18 - (4240/(-450) + -2). Which is smaller: 10 or q?
10
Suppose 4*x = -d - 7, 3*x = -3*d - 2*d - 1. Let o be (1 - 10/4)/(x/(-4)). Is -2 != o?
True
Let p = 83 + -82. Let v be ((-2)/(-7))/(351/63). Are v and p non-equal?
True
Let q = 30588 - 153484/5. Which is bigger: -110 or q?
q
Suppose 0 = 4*n - n - 6. Suppose -u = -2*u - n. Let b = -3/2 - u. Is 0 bigger than b?
False
Suppose -4*l = -3*l + 5*l. Which is greater: -2/367 or l?
l
Suppose -4*h + 2*a - 18 = 0, -7 = 2*h - 4*a + 17. Let z be -7*3/(-3) + h. Suppose 3*f - 5*t + 3 = 0, -154*f - t = -158*f + 13. Is z greater than f?
True
Let s = 21.8 + -21.84. Let z = 0.06 + -0.1. Let q = s - z. Which is smaller: 0.04 or q?
q
Let q = -134.61 + -5.39. Which is smaller: 1 or q?
q
Let n = -9 + 7. Let p = n - -2.01. Let i = -0.31 + p. Is i bigger than 0?
False
Let l = 817 + -817. Do 38/5 and l have the same value?
Fal