
Suppose 3*a - 10 = a. Suppose -9 = j + a*n, -2*n = -4*j - 3 + 11. Let f = 226/295 + 2/59. Are f and j equal?
False
Let c = 1.5 + 8.5. Let m = c - 10.2. Is -3 at least m?
False
Suppose 0 = -4*a + 5*i - 29, a = -2*i + 6*i - 21. Which is smaller: a or 1/18?
a
Let q be (21 - 20)/(0 + 1). Is 7/9 bigger than q?
False
Suppose -u - 4*y - 14 - 5 = 0, -5*y = -u + 17. Are -1 and u equal?
False
Let u be 1/5 + (-131)/5. Is -28 <= u?
True
Suppose 0*c - 55 = -4*c + 5*v, -3*c - 3*v + 21 = 0. Which is smaller: -1/4 or c?
-1/4
Let v be 2*(-1 + -6) + -2. Let p be 5/2*v/(-20). Suppose k + p + 2 = 0. Which is smaller: k or -5?
-5
Suppose 4*u - 8*u = -8. Suppose -2*g + 3*g = 1. Is u bigger than g?
True
Let r = 7 + -3. Let i = 7 - r. Let z be ((-2)/i)/(18/27). Is z != 2?
True
Let t = 28.46 - 35.3. Let o = t - 0.16. Let z = -7.2 - o. Which is smaller: -1 or z?
-1
Let n = 38 + -38. Which is greater: n or -1/6?
n
Let a(s) = s + 9. Let k be a(-9). Let t = -9 + 15. Let o = t - 8. Is k at most as big as o?
False
Suppose 3*p + 2 = -z + 10, 0 = 4*z - 20. Which is bigger: 1/29 or p?
p
Let p be (-1 - (-58)/18) + -2. Let y = 3.223 - -0.867. Let m = -0.09 + y. Is m equal to p?
False
Suppose -4*l - r = -3*r - 102, -5*r - 80 = -3*l. Let i = l - 27. Let x be -2 + 0 - (-6)/4. Is x smaller than i?
False
Suppose r - 8 = -1. Let x be (-10)/20 + r/2. Suppose c + 2*v + 3*v = 7, 0 = -5*c - 4*v + 14. Is c not equal to x?
True
Let m = 1554 - 10946/7. Which is bigger: -9 or m?
-9
Let w(n) = n + 3. Let h be w(-11). Let i(l) = l**3 + 7*l**2 - 10*l - 12. Let a be i(h). Suppose -2*x + 4*x + a = 0. Is x greater than -5?
True
Let d be ((-144)/40)/(2/10). Is d less than or equal to -20?
False
Let j be 9/7 - (-6)/(-21). Suppose 5*s = 2*g - j, -3*g - 3 = s + 4. Is -1 bigger than g?
True
Let m = 42 + -40. Let i(f) = -2*f + 1. Let l(j) = -4*j + 1. Let q(u) = -5*i(u) + 2*l(u). Let g be q(m). Which is greater: 0 or g?
g
Let w = 24 + -11. Is 12 greater than or equal to w?
False
Let n = 7.3 + -7. Let l = -0.5 + n. Which is smaller: 1 or l?
l
Suppose -158 = -6*j + 106. Does j = 43?
False
Let i = -3.99 + -0.01. Let b = i + 1. Let y = b - -4. Do y and 1 have the same value?
True
Let n = 7764 + -23063/3. Let m = -77 + n. Let l = 2 - 4. Is l less than or equal to m?
True
Let s = 3 + 1. Are 3 and s unequal?
True
Let y = 592687 + -79419325/134. Let i = y + -11/2. Let m = 59/268 - i. Is -0.1 bigger than m?
False
Let z = 40 - 27. Is z >= 12?
True
Let u = -0.012 - 8.988. Which is smaller: u or 1?
u
Let d(n) = n + 1. Let f be d(-5). Let r be f/(-3)*(-3)/(-12). Is r greater than 0?
True
Let k be (-2)/(2/2*-2). Let m be ((-12)/(-3))/(-4) + -42. Let l = m + 303/7. Is k >= l?
True
Suppose 0 = 5*d - 11 - 4. Is d greater than 4?
False
Let w(x) = -14*x - 9*x**2 + 3*x + 3 + 1 + x**3 + 4. Let i be w(10). Which is greater: i or -10/7?
-10/7
Let f(d) = -d**2 - 3*d + 5. Let y be f(-5). Is y <= -7?
False
Let h = -59.1 + 62. Let x = h + -3. Which is smaller: -3 or x?
-3
Let m be 0 + 2 + -1 + 1. Let g be (1 - (7 - m)) + 1. Let b be (-56)/12 - (-4)/6. Is b bigger than g?
False
Let y(c) = -c + 2*c + 1 + 4. Suppose -8 = 2*k + 4*n, -3*k - k - 16 = -3*n. Let b be y(k). Is -1 bigger than b?
False
Let a(k) = k**2 - 6*k + 1. Let y be a(5). Let c be ((-15)/(-6))/(2/y). Let b = 4 + c. Which is smaller: -1/3 or b?
b
Let f be 8/(-6)*(-9)/(-42). Suppose v = -0*v + 4*d + 15, 3*v + 23 = -5*d. Which is smaller: v or f?
v
Suppose 2*w + 5*x + 2 = 0, -1 + 2 = -w - 4*x. Is -2/25 at most w?
False
Let c(k) be the second derivative of -k**4/12 + 4*k**3/3 - 3*k**2/2 + 9*k. Let q be c(4). Which is greater: 14 or q?
14
Let n = -4 + 4/3. Which is smaller: -0.1 or n?
n
Let h(b) = -b**2 + 12*b - 27. Let x be h(5). Are x and -5 non-equal?
True
Let u(o) = o - 3. Suppose -4*n = -14 + 2. Let r be u(n). Let x = 63 - 505/8. Which is smaller: x or r?
x
Let m = -517/3 - -188. Let a = m - 16. Which is smaller: a or -4?
-4
Let i(t) = t**3 - 19*t**2. Let x be i(19). Let v = -62 + 67.4. Let u = -5 + v. Does x = u?
False
Let j be (3 - 72/21)/(2/7). Is j not equal to 0?
True
Let k be (-5 + 6)*1/(-3). Which is greater: k or 118?
118
Let c be (6/10)/((-4)/30). Let g = 121/26 + c. Let l = 2 + -1. Which is smaller: g or l?
g
Let s be (3 - 4) + 0 + 35. Which is greater: s or -0.2?
s
Let b be (1/(-2))/((-11)/(-132)). Let c be -4 + 2 - 13/b. Let a be (-2)/8 - 1/12. Which is greater: c or a?
c
Let v(y) = 1 - 12*y - 4*y + 2*y - y**3 - 15*y**2. Let z be v(-14). Is 2 bigger than z?
True
Suppose 3*l - 2*c - 26 = 0, l + c - 3 = 9. Suppose -r = 7*r - 72. Does r = l?
False
Let z = 25/48 + -3/16. Which is greater: z or 1?
1
Let r = 11 - 16. Let w = r + 7. Which is bigger: w or 1?
w
Let x = 3 - 3. Let y(i) = -i - 3. Let z be y(x). Let v(n) = -n**3 - 4*n**2 + n + 4. Let u be v(-4). Which is smaller: z or u?
z
Let l = 1 - -19. Suppose 4*d - l = 2*i, d + 1 = 6. Which is bigger: i or -4/9?
i
Let t = -1 - -1.4. Let p = 6.4 - t. Let y = p - 3. Do y and -1 have the same value?
False
Let f = 67/470 - 2/47. Let a = -3 + 2. Which is bigger: f or a?
f
Suppose -b + 4 = -5*b. Let d be -1*(-9)/6 + b. Suppose 2*h - 4*h + 4*a - 14 = 0, 0 = 4*h - 2*a + 4. Which is greater: h or d?
h
Let u = -0.1 + 0.2. Let b = -7 - -4. Let y = 4 + b. Is y >= u?
True
Let s = -33.8 + 37. Let r = -1.2 + s. Is -2 smaller than r?
True
Suppose 16 = -2*i - 2*i. Is -2 at most as big as i?
False
Let b = 0.1 + 0.9. Let a = 0.012 + 5.988. Is a bigger than b?
True
Let n = -0.27 + 0.21. Let j = 0.76 + n. Which is smaller: -1 or j?
-1
Let d = 0.33 - 1.33. Which is bigger: d or -2/63?
-2/63
Suppose -2*c - 6 - 2 = 0. Suppose 2*x + o = -5, -o + 3 = -3*x - 17. Are x and c equal?
False
Let j = -0.45 - -0.05. Let h = j + 0.3. Let f = 97/68 - 20/17. Which is greater: h or f?
f
Suppose 4*o = -125 - 11. Let m be 1 - (-1 - 97/3). Let k = m + o. Is k at most 1?
True
Suppose 3*j - f = j + 8, 4*f = -5*j + 7. Let c be -5 + 4 - (-61)/2. Let z = 30 - c. Is z at least j?
False
Suppose -h - 4 = f, 5*h - 8*f + 3*f = 10. Which is smaller: h or -2/11?
h
Let a be (-12)/90 - (-23)/1230*8. Which is greater: a or 1?
1
Let n(d) = 2*d**2 + 10*d + 9. Let h be n(-4). Which is smaller: 3/19 or h?
3/19
Let d = 633/376 - -9/47. Which is bigger: d or 3?
3
Let g = -1274/55 + -23367/385. Let c = g - -84. Do 1 and c have the same value?
False
Let w = -9 + 12. Suppose 6*t - 3*t + 5*r = 14, w*t + r - 10 = 0. Let j(b) = b**3 + 7*b**2 + b + 9. Let a be j(-7). Which is greater: t or a?
t
Let w = 0.6 - -0.1. Let v = -0.8 + w. Let s = 2.8 + -3. Which is smaller: s or v?
s
Let h = 53 - 158/3. Suppose -2*n + 3 = -t, 4*n - t - 7 = -2. Is h >= n?
False
Suppose 4*t - 4 - 8 = 0. Suppose -t*b - 50 = 58. Let w be 2 + 1 - b/(-14). Is 0 bigger than w?
False
Suppose 4 = g + 1. Let p = g + 0. Suppose -p*l = -6*l. Which is greater: l or -2?
l
Suppose 4*l + 3*x = -2*x + 48, 2*x = 2*l - 42. Let m = 1287/2 + -626. Let z = m - l. Which is smaller: z or 1?
z
Suppose 5*d = 3 + 12. Let n be -1 + ((-6)/d - 0). Let b be n + 3 + 0/2. Is 0 > b?
False
Let l = 0.053 + 0.047. Which is smaller: l or -0.14?
-0.14
Let a = 0 + -4. Which is greater: 5 or a?
5
Suppose 700 = 3*f + 2*f. Let g be ((-24)/16)/((-6)/f). Suppose -2*i + g = -5*j, 4*i + 3*j = 5*i - 20. Is i bigger than 4?
True
Suppose 0 = -2*d + d. Let s be (2/2)/(41/(-2)). Let x = 47/123 + s. Which is greater: d or x?
x
Let r be -2 + 2 - (0 - -1). Let o = -21 - -10. Let c be (1/o)/(4/8). Which is greater: c or r?
c
Suppose -5*i - 74 = -919. Let c = 848/5 - i. Suppose 0 = -4*p - p + 5. Which is smaller: p or c?
c
Let n = 53 - 50.1. Let b = -3 + n. Is -1/3 greater than b?
False
Let f = 214 - 216. Let y = -7.94 - -8. Which is greater: f or y?
y
Let c = 4 + -4. Let j(u) = u**2 + 6. Let a be j(c). Let z be a/(-9) + (-11)/(-3). Is z at most as big as 3?
True
Suppose 7 - 1 = c. Suppose -2*a - c = -4. Which is smaller: -1/5 or a?
a
Let t = 27 - 188/7. Which is greater: t or -1?
t
Let a = 1/613 + -5540/14099. Which is smaller: a or 0?
a
Let c = 0.1 + 0. Let g = -25.7 + 26. Is c < g?
True
Let i = 2.92 - 2.9. Is i smaller than 1?
True
Let k(a) = -a**2 + 8*a - 7. Let s be k(6). Suppose -15 = 2*w - 0*r + 3*r, -5 = s*r. Suppose d + 0*d + 17 = -3*i, 0 = 2*i + 3*d + 16. Which is smaller: w or i?
w
Suppose -5*k + 57 + 18 = 0. Let a = -10 + k. Suppose -a = 2*i + 3