 or -1?
-1
Let a be 3*(0 - (-3)/387). Let x be (-3)/2 - 2/(-4). Is x at most as big as a?
True
Let j = 97/105 + 1/7. Which is smaller: j or 2?
j
Let n = 7 - 4. Suppose 0*h + n*h = 0. Let i = 279/5 - 56. Which is smaller: h or i?
i
Let r = 470 + -457. Which is smaller: r or 158/11?
r
Let i be 4/(-15)*15/6. Let g = -11.25 - -11. Is g < i?
False
Let u be 10/(-6) + 2 - 66/(-99). Which is smaller: 10 or u?
u
Let v(q) = -q**2 + 2*q + 3. Let j be v(3). Suppose 0 = -24*u - 252 + 348. Is u less than j?
False
Let u(n) = 2*n + 9. Let t be u(8). Let a = t - 74/3. Let v(m) = 16*m - 1. Let p be v(1). Is a at most as big as p?
True
Let m be (1552/(-32))/((-1)/2). Let l = -53 - -150. Are l and m equal?
True
Let q be (6/2)/((-10 - -3) + 6). Let s(f) = -f**2 - 4*f - 3. Let l be s(q). Suppose 4*h + 4 = -0*h. Which is greater: l or h?
l
Let t = -34 + 36. Suppose 0 = 4*x + 4*f - 120, 0 = -2*x + t*f + 34 + 26. Which is smaller: x or -1?
-1
Let a be -4*((-30)/4 - -4). Let k = -48 + a. Let l = k + 39. Which is smaller: l or 31/5?
l
Let h = -343 - -336. Which is smaller: -5 or h?
h
Suppose 5*g + 3*t = 108, -t - 62 = 2*g - 5*g. Let v(y) = y**2 - 2*y - 2. Let h be v(-4). Which is greater: h or g?
h
Let r(w) = -w**2 + 8*w + 24. Let c be r(-2). Is c less than 8?
True
Let n(o) = 6*o - 37. Let u be n(6). Let m be (56/(-10))/2 - (u - 1). Which is smaller: m or -2?
-2
Let h be 2*(-12)/(-1)*(-4)/6. Is h < -15?
True
Let f be (10 + -11)*5/(-1). Suppose -15 = -5*m + f. Which is bigger: m or 7?
7
Suppose -26*c + 15 = 41. Which is greater: c or -389?
c
Suppose 5*n - 2 = c + 9, 7 = -2*c - 5*n. Let u be 5/((-125)/(-2))*(-4)/c. Is u less than -1?
False
Let q = 100.4 - 100.3. Which is bigger: 341 or q?
341
Let y(x) = -x**3 - 6*x**2 - 4*x - 1. Suppose 0 = 4*i - 5*m + 34, -2*i - 17 - 1 = -3*m. Let z be y(i). Is z equal to 22?
False
Suppose 57*d - 59*d = -8, 2*d = z + 9. Which is smaller: z or -6/35?
z
Suppose -g - 2*g = 3*m + 57, 2*g = m + 7. Let v be 0/((m/(-3))/(-5)). Is -2.1 != v?
True
Let c = -9 - -6. Let v be c/(-3) - (-6)/(-2). Let y be v/(-8) - 14/(-8). Which is smaller: y or -2/13?
-2/13
Suppose -16 = 4*q, -7*q - 92 = -2*z - 5*q. Which is smaller: 41 or z?
41
Let t be (-6)/4 - 1/(-1). Let r = -0.83 - -0.853. Let n = -3.023 + r. Is t equal to n?
False
Let z be (-31)/(-93) - ((-335)/3 + 1). Is z less than 112?
True
Let d = -18 - -71. Suppose -d = -4*v - 21. Is v != 9?
True
Suppose 5*p - 1 = 14. Suppose 4*o = r - p*r - 8, 5*o + 13 = -r. Let s = 4 - 3.8. Which is bigger: o or s?
s
Let z be 40/(-670)*1/2. Let n = -9 - -3. Let g be (-12)/18 + n/(-9). Which is smaller: z or g?
z
Let z(p) = 70*p - 1. Let d be z(-3). Is d at most -210?
True
Let h = 1.417 - -0.243. Do 0 and h have different values?
True
Let o = -118 + 118.67. Let j = o - 0.76. Which is bigger: j or 3?
3
Let j(q) = -q**3 + 8*q**2 + 6. Let h be j(8). Suppose -p = h*p - 210. Are p and 30 equal?
True
Let u = 21 - 15. Let s(b) be the first derivative of b**2/2 - 7*b + 9. Let m be s(u). Which is smaller: m or 2/13?
m
Let z be 1/3*2*3. Let y(n) = -5*n**3 + n**2 - n - 2. Let d be y(-1). Let m be 46/9 + (1 - d). Is m at least z?
False
Let n be (21/(-4))/((-30)/320). Suppose -n*x + 5 = -61*x. Is -2/9 less than or equal to x?
False
Suppose w = -3*s + 7, 5*w + 0*w + 25 = 0. Suppose -5*i = -4*a + 9 + 14, -2*a + s = 0. Let g(c) = c - 2. Let v be g(-2). Is v less than i?
True
Let g = 11.3 - 2.7. Let n = g + -9. Let a = -0.3 - n. Is -0.5 > a?
False
Let f(t) = t**2 - 4*t + 1. Let n = -7 + 11. Let x be f(n). Let b = -74/5 + 804/55. Is b greater than x?
False
Let d(w) = -17*w**2 + 2*w - 3. Let t be d(2). Is t < -70?
False
Let w(p) = -p + 11. Suppose q + 0*z + 5*z = -17, 4*q + 2*z - 22 = 0. Let d be w(q). Is d at most 23/6?
True
Suppose -12 - 18 = 3*s. Let v be 61/21 - (-30)/s. Is v greater than -0.1?
True
Suppose 30 = 4*n - 2*z + 16, 12 = 4*z. Which is greater: n or 4?
n
Let g = 31041/4 + -7812. Let d = -51 - g. Is 2 not equal to d?
True
Suppose -5*h + h = 4*d + 216, 4*d = -2*h - 106. Let x = 54 + h. Is x at most -5?
False
Suppose 2*s = 6*s. Suppose -2*w - 10 = 5*y - 3*w, 4*y + 4*w + 8 = s. Let d = -10 + y. Is d at most -12?
True
Let u = 0.6 + 0.1. Let d be (2/20)/(-5 - -1). Let o = 3/8 - d. Which is smaller: o or u?
o
Suppose 4*k - 544 = 6*k. Are -271 and k non-equal?
True
Let g(b) = -5 + 3 + 9 - b. Let s be g(6). Is 5/9 at most as big as s?
True
Suppose 10*y + 83 = 223. Which is smaller: y or -22?
-22
Let j be 91 + 4*(-1)/(-2). Let d be (-4)/6*j/(-24). Let a = -7/4 + d. Which is bigger: 0 or a?
a
Let y = 58 - 58. Suppose -l = -y*l + 3. Is -3 != l?
False
Let z = -367/11951 + -87876484/752913. Let i = z - -1070/9. Do 3 and i have different values?
True
Let k(s) = -11*s - 98. Let a be k(-9). Is a less than 1/76?
False
Suppose 4*t - 3*i - 449 = 0, -4*t - 4*i + 617 = 189. Let x be 132/t*(-70)/(-8). Which is bigger: 10 or x?
x
Let s = 0.31 + -0.06. Let b = -0.23 + s. Let u = b + -0.06. Which is smaller: 1/4 or u?
u
Let w(y) = y**3 + 4*y**2 - 3*y + 3. Let j be w(-4). Suppose j = -0*l + 3*l. Suppose l = -4*d - 3. Which is greater: d or -0.4?
-0.4
Let q(h) = -h**3 + 13*h**2 - 12*h - 3. Let m be q(4). Let s = 82 - m. Is s less than or equal to -15?
False
Let l = -9 + 9. Let c = -192/7 + 27. Which is smaller: l or c?
c
Let b = -13 - -19. Let m be (-15)/(-13) + -4*b/156. Is m > 2/3?
True
Let s(u) = -u**3 - 9*u**2 + 6. Let b be s(-9). Suppose -7*g + g = b. Which is greater: 1/8 or g?
1/8
Suppose 4*x - 4 = -i + x, 3*i - 3*x = 0. Suppose t - i = -0*t. Let j = -42 + 292/7. Is t at most as big as j?
False
Let p(b) = b**3 - 12*b**2 - 13*b. Let r be p(13). Let k be ((-5)/(-4))/(2 + (-15)/(-12)). Which is greater: k or r?
k
Let y be 8/((-2)/(24/2)). Suppose 0 = -t + 5*k - 73, -106 = 2*t - 75*k + 73*k. Is t bigger than y?
False
Let x(d) = -d**2 + 3*d. Let a be x(3). Suppose a = -4*m - 3 + 15. Let q(h) = -h**3 + 3*h**2 + h - 1. Let y be q(m). Is y at most 3?
True
Suppose l - 5 = -2*a + 16, 0 = 4*a - 20. Suppose l*c + 18 = 5*c. Is -3 != c?
False
Let x be (-4 - 24534/(-6132))*-1*299. Let k = -1/146 - x. Is k greater than 0.1?
True
Let u = 47 - 43. Suppose u*h - 35 - 25 = 0. Is 15 smaller than h?
False
Suppose r = -0 + 2. Suppose x + 10 = -r*t, -t + 0 = -4*x - 13. Which is smaller: -2 or t?
t
Let g be (0 + -1 - -3) + -2. Suppose 0 = -f - 5*m - 19, -19 = f + 4*m - 5. Suppose f*c + 10 - 4 = 0. Is c at most as big as g?
True
Suppose 0 = 2*u + 4*o - 3*o - 191, -5*u = 3*o - 480. Let p(c) = c**2 + 5*c - 2. Let v be p(-5). Let l be 1 - (v + u/30). Which is greater: 1/3 or l?
1/3
Let g(h) be the third derivative of 0 + 0*h + 1/4*h**4 - 1/60*h**5 - 4/3*h**3 - 11*h**2. Let z be g(4). Does 0 = z?
True
Let y = 0.074 - 0.654. Let v = 1.58 + y. Which is smaller: 19 or v?
v
Let p = 121 + -120. Is p smaller than 1/152?
False
Let m be 2*(5 - 183/36). Are 16/3 and m unequal?
True
Let v = -78 - -55. Let b = v + 23.2. Which is smaller: 4/3 or b?
b
Suppose -125 = 18*t - 431. Which is smaller: t or 15?
15
Suppose 0 = -12*c + 4*c + 504. Let f = c - 109. Which is bigger: f or -45?
-45
Let c be ((-8)/(-24))/(219/(-9)). Which is bigger: 1 or c?
1
Let p be 2/(-9) + (-2212)/(-2016). Is 0.1 equal to p?
False
Let s = -74518/93135 + 2/18627. Let i = -0.2 - -0.4. Which is greater: i or s?
i
Let y = 16 - 10. Let r(u) = 2*u**3 - 17*u**2 + 9*u - 8. Let s be r(8). Suppose -5 = p + k, s = 2*k - y*k. Is p > -3?
False
Let z(p) be the first derivative of -p**2/2 + 6*p + 5. Let h be z(-9). Let v be 5*(-1)/(h/(-12)). Which is bigger: v or 6?
6
Let r(n) = n - 3. Let s(k) = -k + 1. Let z(j) = r(j) + 3*s(j). Let l be z(0). Do 5 and l have the same value?
False
Let q(s) = -157*s - 20. Let l(j) = -78*j - 10. Let g(p) = 5*l(p) - 2*q(p). Let f be g(-4). Let a be 2/4 + (-119)/f. Which is bigger: a or 0?
a
Let c = -0.2 - 8.8. Let a = -9.06 - c. Let q = -0.16 - a. Does -6 = q?
False
Let q = 900 + -1277. Which is smaller: q or -376?
q
Let h = 12.966 - -0.034. Let z = 53/22 - 32/11. Which is smaller: z or h?
z
Suppose -2*x + 4*x = -2*b, 2*x + 4*b + 4 = 0. Suppose 4*c + 0*f - f + 78 = 0, -f = -x. Let k = 18 + c. Is k < -1/2?
True
Let k(r) = r - 3. Let b be k(3). Let y = 290 - 6672/23. Is b less than or equal to y?
False
Let t = 107.8 - 108. Let q = 3 + -3. Which is bigger: t or q?
q
Suppose 3 = 4*s - 1. Suppose -