Let c = 12 - 2. Suppose -c = 4*p + 6. Let a = 5 + p. Is -2/9 <= a?
True
Let s = -9/10 + -3/5. Is 6 smaller than s?
False
Let s be 2 + (-2)/((-2)/(-17)). Let u be 42/8*32/(-12). Which is greater: s or u?
u
Let i be (0 - 1)/((-2)/(-18)). Is i not equal to -9?
False
Let c = 152 + -84. Let g = c + -543/8. Let k = 68 - 69. Is k < g?
True
Let h be 4/(-14)*(2 - 3). Suppose -5 = -0*v + v. Let i = -5 - v. Is i >= h?
False
Let f = -2566/55 + 231/5. Which is greater: 1 or f?
1
Suppose 0 = -q - 4*q. Suppose q = 5*s + 2 - 7. Let d = -3 + 3. Does d = s?
False
Suppose 8 = -4*d, -4*t - 9 = 3*d + 1. Let l be 1/(t/(12/7)). Which is smaller: l or -2?
-2
Suppose 10*f + 8 + 72 = 0. Is f < -9?
False
Let w = 232/2993 - 11/73. Is -1 smaller than w?
True
Suppose t - 6*a = -a - 22, -t = 3*a - 18. Suppose t*n + 7 + 2 = 0. Which is smaller: n or -4?
-4
Let t = 2039/40 + -51. Which is smaller: -1 or t?
-1
Let s be (-4)/24 + 37/(-2). Which is smaller: -19 or s?
-19
Let p be (-4)/40*-5*-3*4. Is -2 at most p?
False
Let q be (-7 + 1)*(-2)/(-3). Is q greater than 0?
False
Let z = 1.95 + -0.96. Let x = 0.01 + z. Suppose -5*v + 0*v - 5 = 0. Is x < v?
False
Let n be 2/(-6)*3 + 2. Is -1/4 at most n?
True
Let z = -0.033 + 4.833. Let s = 5 - z. Let y = 2 - 0. Which is smaller: y or s?
s
Let x be (4/18)/((-4)/3). Let a be 0 - (0 + -2 - -1). Let w be -2 + (-1 - -2) + a. Which is greater: x or w?
w
Suppose 6 - 1 = 5*m. Suppose 3*p - 2 = 5*s - 13, m = s. Suppose 8*a + 8 = 4*a. Is a <= p?
True
Let w = 0 + -1. Let f = -7 - 7. Let g = f + 11. Is g bigger than w?
False
Let h be ((-8)/56)/(5/(-20)). Let o be 1 + (0 - (-1)/(-2)). Is o <= h?
True
Let i = 140 + -96. Suppose 0*u + 17 = 3*u - t, 4*t = -4*u + i. Let x(d) = -d**2 - 7*d - 4. Let q be x(-5). Is q at least as big as u?
False
Suppose 4 = -3*j - j. Let k be -6 + 3 + j + 2. Let f = -4 - k. Is -3 at least as big as f?
False
Let x(l) = -2*l + 5. Let p be x(4). Let a = -21 + 6. Let y = a - -13. Is p greater than or equal to y?
False
Suppose -16 = 4*n - 56. Let p be 12/18*2/n. Which is bigger: p or 1?
1
Let h be 20/3 + 12/(-18). Suppose -7*t = -6*t - 5. Is t greater than or equal to h?
False
Let t be ((-7)/(-2) + -3)*0. Suppose t = -j - 2*o + 17, 0*j - 2*j - 2*o = -24. Is j smaller than 8?
True
Let d be (-147)/48 + 2 - -1. Is 0 < d?
False
Let o be (-5)/6 - (-10)/(-60). Which is smaller: -1/11 or o?
o
Let c be 0 - -1 - (-18)/2. Suppose a + 0*a = -3, -c = -y + 4*a. Do y and -3 have the same value?
False
Suppose 2 = 7*b - 6*b. Let h be (12 + 0)*b/(-4). Let m be 4/(-12) - 8/h. Do m and -2 have different values?
True
Let w(a) = -a + 10. Let p be w(7). Are 3 and p nonequal?
False
Let a(v) = -v**2 - 2*v. Let d be a(-2). Is d at least as big as 2?
False
Suppose -4*j = -7*j - 9. Let x be 0/(-2) - (-11)/j. Which is greater: -3 or x?
-3
Let g = 92041/5 + -18347. Let f = g - 61. Let m(x) = x**3 + 11*x**2 + 10*x + 1. Let t be m(-10). Is t smaller than f?
False
Let w(n) = -n**3 + 3*n**2 - n + 4. Let j be w(3). Suppose 3*u + x - j = 2*u, -4*x = 2*u + 4. Which is greater: u or 3?
u
Let w be (1 + (-3)/9)*-3. Let u = 6 - w. Which is smaller: 7 or u?
7
Let i be (2/6)/((-7)/(-84)). Let d be (i/10)/(8/(-10)). Is d bigger than -3?
True
Let j(b) = -b**2 + b + 1. Let l be j(0). Let w = 3/4 - l. Is w at most as big as 1?
True
Let w = 11 - 7. Let m = w + -7. Let c be 1 - (m - (-34)/7). Is 0 at most as big as c?
False
Let z(p) = -p**3 + p**2 + p + 12. Let l be z(0). Is l > 6?
True
Let n be 4/30*(-3 + 86/22). Is n != 1?
True
Let l be 1 + -1 - -1 - 4. Let c = -12.9 - -0.9. Let g = c - -11.8. Which is greater: l or g?
g
Suppose 3*g = 137 - 89. Is 15 < g?
True
Let b be 10 - -19 - (0 + -1). Which is smaller: 29 or b?
29
Let a = 1.2 + -44.2. Which is smaller: a or 0?
a
Let h = 2 + -2.12. Let m = 416 + -416.1. Which is greater: m or h?
m
Let w be 4/18 - (-2464)/(-882). Which is greater: w or -3?
w
Let c be (-1)/(-1935)*3*16916. Let h = 392/15 - c. Let u = h + -58/301. Which is smaller: u or -0.1?
u
Let y(a) = -a**3 + 6*a**2 + 8*a - 5. Suppose -12 = 4*d, 4*h + 3*d - 19 = -0*h. Let k be y(h). Which is bigger: 1 or k?
k
Suppose -10 = -5*m + 10. Suppose o = -3*o - m. Is -1 less than or equal to o?
True
Let f = -20 - 9. Let t = -21 - f. Is t not equal to 0.1?
True
Let g = -1319/38 - 1/266. Let l = g + 35. Are 1/4 and l nonequal?
True
Let g(t) = -t. Let p be g(-1). Let j be -1 + ((-6)/(-4))/1. Which is greater: j or p?
p
Let m be ((-6)/(-8))/((-18)/(-120)). Suppose 5*h - m = 10*h. Do h and -1 have different values?
False
Let j(p) = p + 3. Let o be j(-3). Let y = -1 - o. Let n be y - -2 - (-1 - -2). Which is bigger: -2 or n?
n
Let g be 40/100 - (0 + 1 - 1). Is 20/9 <= g?
False
Suppose -b + 552 = 3*b. Let y be 3/(b/134) - 3. Which is greater: y or -1?
y
Let v = 0.02 + 1.98. Let f = -2.1 + v. Let i = 0.4 + -0.3. Are f and i nonequal?
True
Let u be ((-69)/(-3) - 1)/1. Let f = u + -15. Let p be (-2)/3 - f/12. Are p and -2 unequal?
True
Let u = -1 - -4. Let o be 1/u*9/2. Which is greater: o or 2?
2
Let x = -1.6 + 1.67. Let j = -2.07 + x. Let u(i) = i**3 + 6*i**2 - 1. Let g be u(-6). Does j = g?
False
Suppose -12 = 2*i + 2*i. Let s be (-8)/(-28) + (-16)/7. Is s greater than i?
True
Let m = 45 - 46. Which is smaller: -5/6 or m?
m
Let c(p) = -p**3 + 5*p**2 - p + 4. Let v be c(5). Let w be (4 - 1)*5/5. Let m(j) = j**3 - 4*j**2 + 3*j - 1. Let s be m(w). Is v less than s?
False
Let p = -391/1191 + -2/397. Which is smaller: 0 or p?
p
Let p = -0.14 - -0.24. Which is smaller: p or -86?
-86
Let a = 36 + -34. Let m = -2 - -3. Let h be -1*m*(a + -3). Is -2/29 greater than h?
False
Let t = 6 - 6.7. Let l = -1.7 - t. Which is greater: l or 2?
2
Let y be (6/(-2 + 5))/(-2). Let q = 1 + y. Let m be (2 + 6/(-2))*-2. Is m != q?
True
Suppose -20 = -2*o - 3*o. Suppose o = 2*g - 8. Let y(v) = v**3 - 5*v**2 - 5*v - 8. Let s be y(g). Is s greater than -4/3?
False
Let k = 1.1 + -1.8. Let w = k + 1.7. Let s = w + -1.2. Is s != 0?
True
Let p = -0.08 - -0.05. Let c = p + 11.03. Let k = c - 7. Is 1 greater than k?
False
Let j(g) = -6*g**2 - 2*g**3 - 5 - 6*g + g**3 + 0*g**2. Let i be j(-5). Is 0 greater than i?
False
Let c be 5 + 2*(-3)/(3 + 0). Which is bigger: 2 or c?
c
Let u = -1 + 0.8. Let w = -0.8 - 2.2. Let k = 4 + w. Is u less than or equal to k?
True
Let w be 0*4/(10 + -2). Let g = -1 + w. Which is smaller: g or -3/4?
g
Suppose -a - 1 + 0 = 0. Let m be ((-8)/(-8))/(a/(-3)). Is -1/3 greater than or equal to m?
False
Suppose -4 = 2*d, 2*p - 5*d - 1 - 15 = 0. Let t = p - 4. Let a(h) = -h**3 + 11*h**2 + 13*h - 12. Let z be a(12). Which is smaller: t or z?
t
Let l(u) = -u**3 - 10*u**2 - 9*u + 1. Suppose 2*j + 41 = -5*b, -5*b - 4*j - 7 = 30. Let o be l(b). Let z be (-1)/o*(-12)/(-20). Is z at least as big as 0?
False
Let o be -1 + -31*(-4)/90. Let r = -1/45 - o. Let t = 61 - 243/4. Which is smaller: t or r?
r
Let n(i) = 3*i + 2. Suppose 6*q = 4*q - 4. Let s be n(q). Suppose -2*o + 31 = -5*g - 4, 0 = 5*o - 25. Does g = s?
False
Let o = -4.8 + 4.41. Which is smaller: o or 0.1?
o
Suppose -7 = d - 9. Let v(g) = -g**3 + 3*g**2 - 3*g + 1. Let l be v(d). Let m be (-6)/10*(-2)/3. Are l and m equal?
False
Suppose 6*s - 3 = 15. Let y = 17 + -11. Suppose -s = -3*v + y. Which is smaller: v or 4?
v
Let d be 96/8*3/(-20). Which is smaller: d or -3?
-3
Let a(o) = -2*o + 35. Let m be a(14). Is m bigger than 5?
True
Let r(d) = 7*d - 6. Let h be r(4). Suppose h - 6 = -3*b - 4*s, -2*b + 2*s - 34 = 0. Let l be ((-7)/(-21))/(14/b). Which is smaller: -0.1 or l?
l
Let l(r) = 4*r**3 + 9*r**2 + 15*r - 12. Let a(v) = v**3 + 3*v**2 + 5*v - 4. Let n(x) = -7*a(x) + 2*l(x). Let w be n(4). Is w equal to -1?
False
Suppose 3*v + 38 - 2 = 0. Is v smaller than -12?
False
Let i be 4 - 5 - (-1128)/(-27). Let g = i + 43. Is 0 greater than or equal to g?
False
Let w(v) = 2*v + 3. Let p be w(2). Let d(n) = 2*n**2 - 7*n + 4. Let x be d(4). Is x greater than p?
True
Let v(s) = s**2 - s - 1. Let t be v(-1). Let c(o) = -o + 9. Let a be c(-12). Let k be 2 - 87/a - -2. Which is smaller: k or t?
k
Let l be -2 + 5/(240/99). Which is smaller: l or 0?
0
Let m = 3/302 + -661/5738. Suppose -3*r + 9 = w, -7*w + 2*w + 15 = 5*r. Are m and w equal?
False
Let y = -8 + 7. Which is greater: y or 66?
66
Let t be (40/11)/2 - 2. Let x(u) = 3*u + 2. Let j be x(9). Let o 