
z
Suppose 0 = 4*p - 47 + 3. Let c be 45/(-55) + (-2)/p. Is c at most as big as 2/3?
True
Let a = 260/3 + -86. Are a and 0 non-equal?
True
Let a = 14 - 5. Suppose a*q + 5 = 4*q + 2*k, 5*q - 5*k + 20 = 0. Let o = 1/11 - -7/165. Do q and o have different values?
True
Let j be (-8)/12 - 40/(-6). Let h(z) = z**3 - 5*z**2 - 6*z + 2. Let c be h(j). Is 4 greater than c?
True
Suppose -528 = 7*y - 13*y. Is y greater than 88?
False
Let p(i) = i**3 - i**2 - 3*i - 4. Let b be p(3). Suppose b*h = 4 + 6. Let a = 37 - 36. Which is smaller: h or a?
a
Let y = 5 + -4. Let u = y - 1. Let v be 2*(-2)/(-50)*5. Is u at least as big as v?
False
Let i = -8 - -5. Suppose 5*p - 8 = 12. Let u = p + i. Is u at most as big as -5?
False
Let g = -2/259 + -2050/2849. Which is greater: g or 1?
1
Let i be (-4)/(28/(0 + -2)). Which is smaller: 0 or i?
0
Suppose 4*w + 27 = -h, h - 31 = 5*w + 5*h. Is -12 > w?
False
Suppose 0 = 4*q + 3*k - 164, 2*q - 74 = 2*k - 6. Is q at most as big as 38?
True
Let d(t) be the second derivative of -t**3/6 + t**2 + t. Let q be d(-2). Suppose 4*y - q = -0. Is 0 > y?
False
Suppose s + 1 = 5. Suppose 0 = -5*x - s - 6. Which is smaller: x or 0?
x
Suppose -6 = b + 4. Let h = b + 10. Is h smaller than 2/5?
True
Let y = 11 - 7. Is y less than -2?
False
Let p = -2 + 2. Let l = 467327/68 + -6871. Let f = -12/17 + l. Is p at most as big as f?
True
Let j = 254/3 - 84. Let k = 0.1 - 0.1. Which is bigger: k or j?
j
Let k = -23.7 - -24. Is 0.1 at most as big as k?
True
Suppose 0 = 2*o + 5 - 1, -3*o + 34 = -4*q. Which is smaller: -15 or q?
-15
Suppose 0 = -0*h - 2*h - 4. Let o be (h/((-4)/(-6)))/1. Which is greater: o or -2?
-2
Suppose 1 = -s - q, 0 = -8*q + 4*q + 4. Let h(y) = -2*y + 4. Suppose -t + 3*t = 6. Let g be h(t). Is g less than s?
False
Let x = -2.1338 - -0.0238. Let a = -0.11 - x. Let r = -0.04 + 3.04. Which is bigger: a or r?
r
Let j = 4 - 4.06. Let f = j + 0.26. Which is smaller: f or -0.1?
-0.1
Let w = -77 + 77. Which is greater: w or -2/129?
w
Suppose 4*k = 2*k - 4. Let n be k/10 + (-21)/(-5). Suppose 0 = n*h - 0*h - 4. Is 2/5 >= h?
False
Let n be (-16)/10 + 2 + 56/(-40). Is n <= 2/85?
True
Suppose -d - 2*d = 3*b + 9, 5*b = -d + 5. Which is bigger: -1 or b?
b
Let d be (1/3)/((-1)/(-6)). Suppose 0 = -d*v - 1 + 3. Let m be ((-21)/56)/((-6)/4). Which is greater: v or m?
v
Suppose -l + 4*l = o - 10, 4*o + 2*l = 12. Suppose 8*h - o*q + 97 = 3*h, 13 = -h + 4*q. Let p be (-1 - 15/h)*-1. Is p >= 0?
True
Let b be 3/(0 - 0 - 156/(-8)). Let g = 7 + -6.7. Is b bigger than g?
False
Suppose 3*f - 14 - 4 = 0. Let v be 6/(-3) - (-24)/f. Let r = 312 + -2178/7. Is r greater than v?
False
Let m(l) = l + 2. Suppose 0 = p - 6 + 2. Let f = p + -6. Let b be m(f). Which is bigger: b or -2/3?
b
Let q(k) = k**2 + 4*k + 4. Let m be 10/(-3) + (-1)/(-3). Let w be q(m). Which is smaller: 1/6 or w?
1/6
Let b(p) = -p. Let l(m) = 2*m - 3. Let a(f) = 2*b(f) + 2*l(f). Let v be a(5). Suppose -4*c - 5*g - 10 = -2*g, v*g = -5*c - 13. Which is smaller: c or 1/4?
c
Suppose 0 = 3*q - 6*q + 9. Let y be (-6)/39 + q + -3. Which is smaller: -1 or y?
-1
Let i = -4 - -1. Let w = -4 - i. Is w not equal to 0.1?
True
Let w = 12 + -9. Suppose 2*x - 9 = -m + 3, -16 = -w*m - 2*x. Which is smaller: -1 or m?
-1
Let q = 25 - 21. Are q and 0.3 equal?
False
Let y(s) = -4*s + 31. Let a be y(8). Is a greater than 1/30?
False
Let g be (-1)/(-1 + (-465)/(-468)). Let h be g/365 - (-6)/(-15). Let l = h + -79/219. Is 1 >= l?
True
Let p = -75 + 44. Let k = p - -94/3. Let w = -0.02 - 1.98. Which is smaller: k or w?
w
Let p be 6/(-2)*(-40)/(-12). Which is greater: p or -8?
-8
Let p = -13 - -7. Which is bigger: p or -2/3?
-2/3
Let j(c) = -c**3 - 9*c**2 - 4. Let u be j(-9). Is u bigger than -5?
True
Let y = 52 - 54. Are y and -26 non-equal?
True
Let n be 45/(-30)*(-8)/6. Are n and 10/11 non-equal?
True
Let a be (-2442)/8*4/24. Let t = a - -51. Which is bigger: t or 0?
t
Let v = -1/9 - -43/144. Is v != 0?
True
Let i = 10 + -3. Which is greater: i or 15/2?
15/2
Suppose 0 = -7*y + 4*y - 3. Let l(n) = 11*n - 1. Let o be l(y). Let m be ((-6)/o)/((-2)/4). Is 1/3 greater than or equal to m?
True
Let s = -21 + 17. Let l = s + -1. Suppose -16 = 3*q - 1. Is q equal to l?
True
Let m = -10 + 8. Which is smaller: m or -8/9?
m
Suppose -10*t = -9*t. Let s = -149 - -5365/36. Is s bigger than t?
True
Suppose 2*m - 6 = -18. Let a = -6 - m. Which is bigger: a or -2/3?
a
Let c(k) = k**2 + 7*k - 5. Let y be c(-6). Let p be y + (-1)/1 + -2. Is -13 greater than or equal to p?
True
Let y = 1245787/6895 - -34/985. Let z = -180 + y. Which is bigger: 1 or z?
1
Let o = 26/11 - 133/33. Let r be (3 + 6)*(-1)/(-3). Let a = -4 + r. Which is smaller: o or a?
o
Let x be -4 + (0 - -4) + 8. Is 8 >= x?
True
Let f be (3 - 38/12)/((-10)/4). Which is smaller: 2/5 or f?
f
Let n = -15.5 - 3.4. Let r = n - -19. Is r less than 0.1?
False
Let h be -2 + 5/(10/(-48)). Let j be ((2/h)/(-1))/(-1). Suppose 4*n = -b - 5, -4*b - 1 = 3. Which is smaller: j or n?
n
Suppose -83 = 5*a + 57. Do a and 1 have different values?
True
Let p be (1 - 1) + (-32)/(-5). Let c = p - 6. Is 0 smaller than c?
True
Let l be 1 - -2 - -1 - 21. Which is bigger: -18 or l?
l
Let a = -33 - -34. Is 1 >= a?
True
Suppose 3 = 5*o - 32. Let h = o - 7. Let v(r) = -r**2 + 1. Let b be v(1). Is h at most as big as b?
True
Let g(h) = -2*h - 7. Let n be g(-6). Suppose 0*q - 25 = -n*q. Do q and 5 have the same value?
True
Let s(p) = -p**2 + 7*p - 4. Let h be s(7). Let m = h + 2. Is -2 <= m?
True
Suppose n - 6*n = -3*j + 20, 0 = -4*n - j + 1. Let h = -246 + 1231/5. Is h less than n?
False
Let q = -7 - -7.5. Which is smaller: q or -0.1?
-0.1
Let b be (0 - (3 - 9))/(-1). Let n be (b/(-5 - -2))/2. Is n > -3/10?
True
Let y = -0.16 + -0.19. Let z = y + 0.25. Which is smaller: -5/4 or z?
-5/4
Let w = 1 + -5. Let a = 2/83 + -921/332. Is a >= w?
True
Let b = 10 - 5. Suppose 0 = -5*r - 0*r + 20. Suppose 2 = c - r*a - 18, -b*c + 20 = -4*a. Which is bigger: 1/5 or c?
1/5
Let y = 21 - 2. Suppose -4*g = 3*t - y, -2*t + 14 = 3*g - 0*t. Suppose 3*b = 7*b - 4*a + 8, g*b - 2*a + 2 = 0. Is 1 equal to b?
True
Let b = -8 + 10. Let c be b + 22*(-3)/48. Is 1 < c?
False
Let v = 40.3 - 40. Which is smaller: v or 0.02?
0.02
Suppose -3*c = -3*a + 3 - 9, 4*c - 10 = 3*a. Let m be ((-1)/a - -1)*-28. Let w be 4/m - (-45)/84. Is w at least 0?
True
Suppose 2*v + 2*u + 112 = 6*v, -5*u + 28 = v. Which is smaller: v or 27?
27
Suppose 3*o = -2*u + 10, 0 = -o - 2*o + 3*u - 15. Which is smaller: -2/85 or o?
-2/85
Let z = 8 - 16. Let x = z + 7.9. Let q = -0.1 + 0.1. Which is greater: x or q?
q
Let r = -96 - -93. Which is smaller: r or -2?
r
Let f(o) = o - 11. Suppose -6*p + 0*p = -78. Let j be f(p). Let g be 33/18 - 2/6. Is j at least g?
True
Let k = 1328 + -118191/89. Let b = -95/534 + k. Which is bigger: b or -1?
b
Let j = -136 + 143.9. Let o = -8 + j. Which is greater: o or 0?
0
Let m be (-57)/38*(-64)/(-42). Is -1 != m?
True
Let m(b) = b**3 + 5*b**2 - 8*b - 3. Let l be m(-6). Is l less than or equal to 11?
True
Let y = 2/83 + -172/249. Let h = 0.05 - -0.25. Which is greater: y or h?
h
Suppose -3*p - g + 24 = 2*g, 2*p - 3*g = 1. Let a be p/(-3) - (1 - 3). Are a and -1/4 equal?
False
Suppose -2*p + 0*p - 31 = 5*w, -4*w = -p + 17. Which is smaller: p or -5?
-5
Let y be (453/(-9))/(12/9). Let r = -38 - y. Is r equal to 2?
False
Let l = 9.13 - 0.03. Let g = l - 9. Which is smaller: g or -6?
-6
Suppose -4*p + 13 = 9. Is -1/3 < p?
True
Suppose -4*u - 2*j = 14, 2*j + 5 = -5*u + 4*u. Let r be 1/(-8)*-26 + u. Is r bigger than 0.2?
True
Let y = -0.4 - 1.6. Which is smaller: -0.03 or y?
y
Let j be (0/1 - 2) + 9. Suppose k = -5*m + 12, -k - 6 = -5*m + k. Let g be (j/m*4)/(-2). Is g equal to -7?
True
Let q = -4 - -3. Let j be q - (8/4 - 3). Is j at least as big as -2/3?
True
Let d(w) = -w + 2. Let v be d(-5). Suppose 5*i + 9 = 4*y, -y = -3*y + 5*i + v. Let c = -197 + 2169/11. Is y bigger than c?
True
Suppose -3*c + 3*q - 1 - 2 = 0, -3*c + 5*q = 1. Let p be 6/(-21) - c/7. Suppose d + 2 = -p. Does d = -2?
True
Let y be 6/12 + 21/(-2). Let h be 25/y*(-18)/15. Which is smaller: h or 4?
h
Let q = 1.09 + 3.91. Which is smaller: q or 2/5?
2/5
Let z = -2 + -1. Let b = -1.1 - -0.1. Which is bigger: z or b?
b
Let p be (-21)/98*(-2078)/15. Let k = p - 198/7.