p = z + -4. Let k = 0.2 - p. Is -2 greater than or equal to k?
False
Let d = -1.98 + -0.02. Let v = 2.6 + 0.4. Which is greater: v or d?
v
Let i(f) = -f**3 - f**2 + 2. Let q be i(0). Suppose 2*v + q = 4. Let c = 330 + -2300/7. Are c and v equal?
False
Suppose -4 = -8*b + 6*b. Suppose -b*w - 5 = 7. Does -5 = w?
False
Let u(m) = -m**2 - 5*m - 6. Let a be u(-4). Is -2 not equal to a?
False
Let c be 5*(-2)/(-110) - 2/11. Is 3 less than or equal to c?
False
Suppose -92 = -7*y + 48. Is 19 smaller than y?
True
Let x = -7.4 + 2.4. Let d = 0.06 - 2.06. Let b = x - d. Is b at most -0.1?
True
Let b be 0*(-1)/(-4) - 2. Is b < -4/3?
True
Let j be (3/6)/(2/(-8)). Suppose -2*b = -5*v - 13, 6*v - 2*v = -4*b + 12. Is v less than or equal to j?
False
Let t be 3/5 + (-44)/(-10). Suppose -3*o + d = 16, t*d + 20 = -4*o - o. Is -5 at most as big as o?
True
Let b be 10/(-15)*(-10)/(-4). Do b and 2 have the same value?
False
Let q be 4 + 12*(-1)/(-1). Which is greater: 1/3 or q?
q
Let s = -15/8 - -241/120. Let u = 4 - 4. Which is greater: s or u?
s
Let n = 0.953 - -0.047. Are 13/2 and n equal?
False
Let j = 0.2 - 0.2. Let s = 7 + -6. Let l = s - 1. Is l less than j?
False
Let g be 1/(-5) - 42/(-10). Suppose -4*w = -t - 3*t, g = -t + 5*w. Suppose -t = -3*i + 4*r, 17 = 3*i + 2*r + 2*r. Which is bigger: i or 3/2?
i
Suppose -4*u = 2*h + 10, -2*u - 3*h - 25 = 2*h. Suppose -2*m + 6*m + 20 = u. Let c = -3 + -1. Is c at least as big as m?
True
Let u = -1.99 - -2. Let h = 5.01 - u. Which is greater: -0.1 or h?
h
Let o = -22 - -45/2. Let t(q) = q**2 - q - 2. Let b be t(0). Let s be b/(-3) - (-1)/3. Is s less than o?
False
Suppose -r = -3*m - 66, r - 3*m + 8*m - 66 = 0. Let n = r - 92. Let i be (-8)/n*1/2. Which is greater: i or 1?
1
Let g = 12 + 2. Let p = g - 14.9. Let d = 0.8 + p. Is d equal to -3?
False
Suppose -4*j + 14 = 2*p, 2*p + p = -4*j + 19. Suppose g - 1 = -0. Is p <= g?
False
Let g = -0.07 + 0.77. Let x = g - 0.6. Do x and -1/3 have the same value?
False
Suppose -a + 12 = 2*a, 0 = -4*x + 5*a - 44. Let r = -7 - x. Is r <= -8?
False
Let k = -1 + 4. Suppose 0*g = -k*g. Suppose g = -m - 0*m. Which is smaller: m or -0.3?
-0.3
Suppose 3*x + j - 1 = -3*j, -2*x = j - 9. Which is greater: x or -0.3?
x
Let p = 0 - 0. Let h be 5 + 124/(-24) + 2/6. Is p smaller than h?
True
Let y be 16/(-15)*(-5)/6. Let o = 1 - 1. Which is bigger: o or y?
y
Let z = 12 - 12.1. Suppose 0 = b + 2*b. Suppose -o - 1 = b, 4*o = -3*c + o - 6. Is z greater than c?
True
Let s be ((-15)/(-6))/(1/(-2)). Let g = 2 + s. Let y = -4 - g. Which is greater: y or -2/5?
-2/5
Let i be 275/418 - (-1)/(-2). Which is bigger: -1/4 or i?
i
Suppose 7 = 4*o + a - 13, o - 5 = -4*a. Suppose -2 = -y + o. Which is greater: -2/7 or y?
y
Let k = -43 + 42.97. Let o = -5 - -5.03. Let m = k + o. Which is greater: m or -2?
m
Let w = 22 - 20. Does -0.1 = w?
False
Let j(n) = n + 3. Let d be j(-6). Which is smaller: 2 or d?
d
Let s be (-6)/(-9)*6/(-4). Let g be 1/4 - s/(-4). Do 1/9 and g have the same value?
False
Let s = 36 - 58. Is -1/3 < s?
False
Let x = -0.9 - -0.7. Let u = 1 + -1. Which is smaller: u or x?
x
Let k = -14 - -27. Suppose 2*b - k = -v, -3*b + 12 = 4*v - 5*b. Suppose 0 = -3*j + v - 2. Does 2/5 = j?
False
Let t = 9 - 5. Let k = t - 8. Let d = -5 - k. Which is bigger: d or -2?
d
Let v be (-4)/(-14) - (-35)/(-637). Do 1 and v have the same value?
False
Let j = -3 + 2. Let w = 18 - 12. Let s be 34/w + -4 + -2. Which is smaller: j or s?
j
Suppose 0 = -o - 5*p + 7, p = -2*o - 3*p + 2. Let n = -16 - -16. Are o and n unequal?
True
Let h(a) = a - 5. Let d be h(5). Let g = 5 + -3. Let k be ((-2)/(-6))/(g/(-6)). Which is greater: d or k?
d
Let c be 9/(-6) - 3/(-2). Let s be -2 + 1*(2 + 2). Which is greater: c or s?
s
Let s = 159/5 + -32. Let f = 42 - 26. Let c = -14 + f. Which is smaller: s or c?
s
Let o = -1.2 - -1.9. Let l = o - 1.7. Which is smaller: -6/7 or l?
l
Let f = -119 - -119. Which is smaller: 6/77 or f?
f
Let m be (-14)/(-6) + (-4)/(-6). Let s = -0.32 + 3.32. Is s greater than or equal to m?
True
Suppose -4*p + 22 = 3*a, -3*p - 2*p - 3*a = -29. Let h(g) be the first derivative of g**3/3 - 4*g**2 + 10*g + 1. Let f be h(p). Which is smaller: f or 2?
2
Let z = 37 - 21. Suppose -d = -5*d - z. Suppose -15*w - 20 = -11*w. Which is greater: w or d?
d
Let x = -44.4 + 42. Is x >= -1?
False
Suppose -4*p = 1 - 5. Let a be ((-1)/2)/((-3)/6). Is a at most as big as p?
True
Let z be 30/(-189)*6 - 2/(-7). Which is bigger: -0.05 or z?
-0.05
Let f be 37 - (1 + (4 - 2)). Is 35 bigger than f?
True
Let h = 9/64 + -81/64. Is h >= -2/9?
False
Let x = -1.8 + 1.89. Let z = 13.91 + -14. Let j = z + x. Is -7 greater than j?
False
Let a(r) = -r**2 - 6*r - 3. Let p be a(-4). Suppose 3 = -5*f + h + 3*h, 2*f + 8 = p*h. Let j be (0 + -2)*(-1)/(-3). Do j and f have the same value?
False
Let o = 50 + -61. Is -13 equal to o?
False
Let r = 1 - 0.99. Let y = -0.59 - r. Let k = y - -0.61. Is k > 1?
False
Let c be -1*(0 + 2) + 0. Is c at least -4?
True
Let c = 45 - 46. Which is smaller: 3/8 or c?
c
Suppose 9*p - 76 = 5. Is p at most 8?
False
Let b(r) = r**2 + 8*r + 9. Let f be b(-6). Suppose -k = -6*k + 25. Suppose -k*s - 8 = -s. Is s at least as big as f?
True
Let o = -0.17 - -0.07. Which is greater: -9/8 or o?
o
Let i = -0.211 - -0.011. Do 0.08 and i have the same value?
False
Let a = 2 + 3. Suppose a*m = 2*n + 5, n - 5*n = 4*m - 60. Are n and 12 non-equal?
True
Let b(h) = 2*h**3 - 10*h**2 + h - 5. Let n be b(5). Which is bigger: -1/41 or n?
n
Let k = -0.33 - -0.53. Let t = -4.3 - -4. Is t smaller than k?
True
Let u = -73/6 - -12. Is -1 less than u?
True
Let i = 0.05 + -0.75. Is i at least as big as -2?
True
Let k = 83/5 - 17. Which is smaller: 2 or k?
k
Suppose 0 = 5*w + 2*n - 33, w + 0*n - 1 = n. Let p be (8/5)/(2/w). Suppose p*h - h = 2*v - 7, -2*v - 3*h + 1 = 0. Which is smaller: v or 3/4?
3/4
Let v be (5 - -1)*(810/(-4))/(-15). Are v and 82 non-equal?
True
Suppose 3*p = -5*q + 6 + 28, -3*p + 24 = 3*q. Suppose 0 = -0*c - 5*c - q. Let z = -0.4 - -0.2. Is c bigger than z?
False
Suppose 4*j - 10 = -3*y + 13, -5*j - 5*y = -35. Is j bigger than 3?
False
Let g = 15.88 + 0.12. Is -2 less than or equal to g?
True
Let u be (-3)/8*8/12. Suppose -w + 15 = 2*w. Does w = u?
False
Let m be (-183)/(-22) + 6/33. Is 9 <= m?
False
Suppose -u = u + 4*y + 104, 0 = -3*u + 4*y - 196. Let i be u/27 - 2/(-9). Let j = 5.1 - 5. Are i and j non-equal?
True
Let q(b) = 7*b**3 - 12*b**2 + 10*b + 13. Let v(d) = -d**3 + d**2 - d - 1. Let c(x) = q(x) + 6*v(x). Let j be c(5). Is 8/3 at least j?
True
Suppose -3*q + 58 = 16. Does 13 = q?
False
Suppose -46 - 19 = -5*z. Which is smaller: z or -2/7?
-2/7
Let g = -2/23 - -31/92. Let h be (0/2)/(0 - 1). Let j = h + -1. Which is smaller: j or g?
j
Let v = -39 + 24. Is v at most as big as 1?
True
Let b = 851/99 - -2/495. Let p = 9 - b. Let h = -162 + 1780/11. Is p not equal to h?
True
Let h be (2 + (-9 - 0))*1. Suppose -v - 2*v - 15 = 5*c, 5*v + 4*c + 12 = 0. Let x = v + h. Is x greater than -7?
False
Suppose 0 = -4*y + 1 - 17. Is y equal to -4?
True
Let z = 0.4 - 0.7. Let b be 7/(-196) + (-2)/(-7). Is b smaller than z?
False
Let z = -2/399 - -5989/798. Which is bigger: 8 or z?
8
Let w = 14.09 - 14. Let k = -0.0911 - -4.0011. Let q = w + k. Is q > -1?
True
Let d be (3/(-2))/((-1)/2). Let i = d + -4. Let p be (0 - i)*-4 - -2. Are p and -1 unequal?
True
Suppose 0 = -7*y - 4*q - 55, -q + 10 = -2*y - y. Suppose -5*t - 21 = -0*t - j, 2*t = -j - 7. Is t at most as big as y?
False
Let c(s) = s + 7. Let i be c(-5). Suppose 5*h = -11 + 41. Let u = h + -4. Is i greater than or equal to u?
True
Let g = 31 + -28. Which is greater: 8 or g?
8
Let g = 0 - -2. Let y = -3 - g. Does 1 = y?
False
Suppose -3*c + 0*y - y + 12 = 0, 4*c - 27 = -5*y. Suppose -t = c*g - 3, -2*t + 5*g + 4 - 31 = 0. Is -6 less than or equal to t?
True
Let a(w) = w**2 - 4*w + 21. Let q be a(6). Which is smaller: 1/2 or q?
1/2
Let w = -88 - -88. Which is greater: -8/29 or w?
w
Let f = -21 - -31. Which is smaller: f or 9?
9
Let w = 18 - 17. Is w > -1/9?
True
Suppose 0 = 4*m - 10 - 10. Suppose 5*z = w + 3*w + 5, -z = m*w + 28. Let x(t) = -t**2 - 14*t - 19. Let f be x(-13). Is w equal to f?
False
Let n = -2 - -1. Let z be (n - 1) + 3 + 6. Let s be -2 + (30/z - 2). Is -1 greater tha