45?
True
Suppose -d - 2*b - 1 + 7 = 0, 3 = -d + b. Suppose u - 1 = -d. Let c = u + -2. Is 1/8 not equal to c?
True
Let a(o) = 3*o**2 - 6*o - 8. Let i be a(4). Are 14 and i non-equal?
True
Let p(d) = -4*d + 15. Let a be p(6). Let o = 9 + a. Are o and 1 nonequal?
True
Suppose -4*k + 3*j = -0*j - 6, -k + 4*j - 5 = 0. Which is greater: k or 6?
6
Let j = 0 - 5. Suppose -2*s = -4*s - 8. Which is greater: j or s?
s
Let m be -2*(-2)/((-40)/4). Is m != 2?
True
Let n be (2/3)/((-4)/(-42)). Which is smaller: 8 or n?
n
Let l = 13.3 - 0.3. Let t = l - 18. Let u = -4.96 - t. Is u < 2/5?
True
Let k = -10 - -7. Let z be (0 + 1 - k) + 2. Suppose 2 = z*u - 4*u. Which is greater: -4 or u?
u
Let w(y) = y**3 + 12*y**2 - y - 8. Let p(z) = z**2 - 11*z + 6. Let o be p(9). Let l be w(o). Suppose l*n - 50 = -14. Which is smaller: 10 or n?
n
Let p = -4 - -4. Let y be (1 - -1)/(p - -1). Suppose 7*u + 5 = y*u. Which is bigger: u or 1?
1
Suppose 0 = 5*r + 10 - 25. Do r and -0.3 have the same value?
False
Let s be (471/(-4))/3*-5. Let c = s + -189. Let p = -211/28 + c. Which is greater: p or -0.1?
-0.1
Suppose -8 = 2*b, -3*d - 44 = d + 5*b. Do d and -6 have different values?
False
Let h = 38/45 + -4/9. Which is smaller: 0.5 or h?
h
Let q(o) = -2*o. Let v be q(-12). Let w be (-4)/(-14) - v/(-14). Which is bigger: w or 1?
w
Let b = 0.11 + -0.21. Which is smaller: b or -4/11?
-4/11
Suppose 0 = 4*z + 3*q - q - 14, -2*z = -4*q + 18. Which is smaller: z or 6/19?
6/19
Let d(z) = z**3 - z**2 - 19*z - 9. Let t be d(5). Which is greater: -3 or t?
-3
Let j be ((-6)/(-5))/(6/(-40)). Let i = -7 - j. Let h = 17/3 + -16/3. Which is bigger: h or i?
i
Let q(y) = 7*y - 37. Let u be q(6). Is 5 equal to u?
True
Let z = 80 - 241/3. Which is bigger: z or -0.03?
-0.03
Let n be (-3)/(-9)*(-30)/(-2). Suppose -n = j - 2. Let w be (-17)/(-33) - (-1)/j. Is 1 bigger than w?
True
Let k be 70/(-77) - 2*-1. Which is smaller: k or 0?
0
Suppose -4*t + i - 6 = -2*t, 3*i = -12. Let d = -2 - 2. Which is smaller: t or d?
t
Let d(k) = k**2 - 5*k + 2. Let s be d(5). Suppose -2*t - s*t + 28 = 0. Let x = t - 5. Is 3 >= x?
True
Let c be (-9)/(-108) - (-1)/4. Which is greater: -1/5 or c?
c
Let j = -1 - 0. Let n be (-1)/(j/(-24)) - 2. Let w be n/(-24) - (-2)/8. Which is smaller: 0 or w?
0
Let x = 1.07 + -1.06. Let d = -10.3 + 8.31. Let s = x - d. Is s >= -1?
True
Suppose -8*j + 23 - 31 = 0. Let z be (-2)/6 - (-8)/(-3). Is j != z?
True
Let k = 2/227 - 231/454. Suppose 2*a = -0*a - 4. Which is smaller: k or a?
a
Let w(v) = -v**2 - 4*v + 11. Let s be w(-6). Let q be s/4 + (-2)/(-8). Is 2/3 smaller than q?
False
Suppose 5*w = 3*w + 64. Let i = 414/13 - w. Which is bigger: i or 1?
1
Suppose -3*j = -t + 6, 2*t - 2*j = 7 - 3. Is t less than or equal to -5/8?
False
Let z = 33 + -16. Are 17 and z non-equal?
False
Let q(t) = -4*t + 5. Let h be q(-3). Which is greater: h or 15?
h
Let l(d) = -d**3 - 7*d**2 + 8*d + 3. Let p be l(-8). Let v = p - 3. Let j = -9 - -13. Which is greater: j or v?
j
Suppose 2 = -3*c - 10. Let g = 7/2 + c. Which is bigger: g or -1?
g
Let v(w) = -w + 4. Let i be v(6). Let o be i/(-2) - (-81)/(-63). Do 2 and o have different values?
True
Let c = -5 + 2. Let r = -10/3 - c. Let w = -1/254 + -499/2286. Which is smaller: w or r?
r
Suppose 3*i - 26 = 3*t + 217, 242 = -3*t + 4*i. Is -83 not equal to t?
True
Let y = -30 + 929/31. Is -1 smaller than y?
True
Let j = -0.12 - -0.06. Let w = j - -0.01. Let a = -0.15 - w. Is -5 <= a?
True
Let k = -14 + 23. Suppose 5*m = k - 29. Is 2/7 at most as big as m?
False
Suppose -4*s + 5*v - 6 = -3*s, 2*v = s. Suppose y = -j - 2*y + 13, y - s = 0. Which is greater: -2 or j?
j
Let o be ((-11 - -2)/3)/(-1). Suppose 7*h = o*h - 4. Is -8/5 less than or equal to h?
True
Let w = -3 - -1. Let s be (-22)/36 - w/4. Let a = s - 7/18. Which is smaller: a or 2/7?
a
Let d = 8994/65 + -692/5. Let f(u) = -u**2 + u + 1. Let a be f(2). Which is smaller: a or d?
a
Let z be (-3 + 0)/(6/(-8)). Let u = -10 - -15. Let i be 2/2*(u - z). Is i <= 2?
True
Let z = -19 + 19.1. Suppose -4*y + 20 = 0, 0*i + 2*y = 3*i + 7. Which is greater: z or i?
i
Let n(d) = d**2 + 9*d + 7. Let h be n(-8). Is 4 > h?
True
Suppose 0 = 3*c + 2 - 35. Let r = c + -12. Is r equal to -1/13?
False
Suppose 2*p - p + 5*c = 15, 5*p - 23 = c. Which is smaller: p or -2?
-2
Let c = 0.11 + -0.41. Which is smaller: 8 or c?
c
Let a be (4/6)/((-45)/21). Let d = a + -4/45. Let r = -2 - -1. Which is smaller: r or d?
r
Let i = 1.59 - 1.69. Let b = -0.2 - -0.1. Are b and i non-equal?
False
Let o(q) = q**3 + 2*q**2 - 2*q + 1. Let a be o(1). Suppose 3*k = 4 - 1. Let w be a/6 - (k - 0). Do 1 and w have the same value?
False
Let j(r) = -r**2 - 4 + 4 - r - 1. Let n be j(0). Which is greater: 0.03 or n?
0.03
Let l = 12 + -4. Suppose -l - 1 = -n. Let p = 4 - n. Is -4 at least as big as p?
True
Suppose -2*i - 36 + 32 = 0. Let z be (1*-1 + -3)*1. Is z at most i?
True
Suppose -2*u = 3*u + 5. Let j = -2 - u. Let s = 127 + -124. Do j and s have different values?
True
Let z(u) = u**3 - 8*u**2 + 8*u - 4. Let l be z(7). Suppose -2*q = q - 4*j + 11, 0 = 5*q + j + l. Let b be q + 3 - (-1 - -1). Do 2 and b have the same value?
True
Let a be 4 - 2 - (-3 + 3). Let j be (-1 + a)/(1 - 2). Is j at most 0?
True
Let g = -14 - 15. Let j = -57/2 - g. Do j and 0 have the same value?
False
Let x = 356/1935 + -6/43. Which is smaller: 1 or x?
x
Let m(a) = 4*a + 2 + 1 - 3. Let k be m(1). Is k <= 2?
False
Let g = -0.76 + 4.76. Which is smaller: g or -12?
-12
Let p = 0.3 - 0.4. Let z = p - -0.3. Let m = 421 - 421. Which is smaller: z or m?
m
Let j be 6 + -7 + 1/1. Suppose 5*f - 16 + 1 = j. Suppose -f*y - 8 = -5*y. Is 3 smaller than y?
True
Suppose 3*k = 5 + 4. Suppose -8 = -k*f + 4*f. Are f and -9 equal?
False
Suppose 4*j + 10 = -j. Which is greater: j or -4?
j
Let u be 6/8*(-16)/(-30). Is -0.2 greater than or equal to u?
False
Let c = 24 + -21. Which is smaller: c or 11/4?
11/4
Suppose -3*o + 0*c - c = 13, 0 = 5*c + 20. Let k = o + -1. Let b = 6 + k. Which is smaller: b or 4/3?
4/3
Let b(z) = -z**2 + 1. Let g be b(2). Let s be 2/g*(-75)/(-10). Let a be (-12)/8*2/s. Which is bigger: 0 or a?
a
Let j = -26 - -16. Let h be ((-8)/20)/(18/j). Suppose -5*z + 4*y = -0*y - 5, y + 2 = 2*z. Which is smaller: h or z?
h
Let k = 44/35 + -6/7. Let q be 5/(-6) - 4/(-6). Which is bigger: q or k?
k
Let r(o) = 2 + o**2 - 10*o - 2 - 2. Let g = 62 + -52. Let t be r(g). Which is greater: t or -1?
-1
Let m(r) = 3*r**2 + 2. Let o be m(2). Do o and 13 have the same value?
False
Let t be (4/3)/((-2)/4). Let m = t - -3. Let a = -4 - -3. Which is bigger: a or m?
m
Let l = 2 + 1. Let d be -2*l/16*4. Is -2 > d?
False
Let f = 20 - 22. Let l = 0.16 - 0.06. Is f at least as big as l?
False
Let r = -5 + 7. Let i = -14 + 8. Let k = i - -7. Which is smaller: r or k?
k
Suppose 5*k = 4*k. Suppose 0 = -4*a - k*a - 16. Which is smaller: a or -2?
a
Let f be (-8)/(-5) + -1 + -1. Let p = 17.7 - 18. Which is greater: f or p?
p
Let n = 33 + -21. Which is greater: n or -1/3?
n
Suppose 20 = a - 6*a. Are a and -2 unequal?
True
Let k(u) = 8*u - 9. Let o be k(4). Suppose 3*z + 3 = 5*r - 4*r, 4*z + o = -5*r. Is z at most -1/2?
True
Let v be (12/(-5))/((-2)/(-25)). Let a be -2 - (v/4)/3. Which is bigger: a or 0?
a
Let t be (-12 + 9 - (-2 - 1))/1. Which is greater: 1/13 or t?
1/13
Let d be (60/25)/(2/5). Let y(a) = -2*a**2 + a**2 + 9*a - 2*a - 5. Let b be y(d). Which is smaller: b or 2/3?
2/3
Suppose v + 4*v + 2*q + 1 = 0, 0 = -2*v - 3*q + 4. Which is smaller: v or -4?
-4
Let f(c) = -c**2 + 8*c - 16. Let l be f(5). Does -93 = l?
False
Suppose -5*p = -4*i - 67, 2*p - 18 = -p - 5*i. Let d = p - 101/9. Is 0.4 < d?
False
Let u = 12 + -12.4. Which is greater: u or 1/8?
1/8
Let j(x) = -7*x**2 + 14*x - 10. Let g(r) = r**2 - r + 1. Let v(h) = 6*g(h) + j(h). Let t be v(7). Is 1 >= t?
False
Suppose -5*p - a = -3*a + 148, p = -5*a - 35. Let k be (p/(-18))/(2/(-12)). Let y be (-5)/(-26)*(-12)/k. Which is bigger: -0.1 or y?
y
Let m = 31.1 + -32. Which is smaller: m or -1?
-1
Suppose -11 = i - 12. Let z be (0 + 0)/(-1)*-1. Let y be 2/4*z/1. Which is smaller: i or y?
y
Let f be 12/(-16)*4/6. Suppose 23 = 5*m - 0*m - r, 4*m - r - 19 = 0. Let j be (-1)/2*m/2. Is j smaller than f?
True
Suppose 1 - 5 = 2*w. Is w at least 0?
False
Let x = 3 - 