 + 53. Is -1 greater than or equal to x?
False
Suppose 16*p = 13*p - 114. Let n = p + 15. Let l = -23 - n. Which is greater: -2/17 or l?
l
Let w = -314/3 - -1152/11. Let y = -42/107 - -340/321. Which is smaller: w or y?
w
Let h be (-187)/(-63) + -1 + -2. Suppose -2*n = 4*d + 24 - 12, -4*n = -d - 3. Is n at most h?
False
Let w be 3 - ((-700545)/(-100192) + -4). Let c = w - 3/992. Which is bigger: 0 or c?
c
Let f = 8289083/139900 - 2/34975. Which is smaller: 60 or f?
f
Let z = -5.9 + 7.1. Let i = 29.8 + z. Which is smaller: 1/2 or i?
1/2
Let l = -0.18 + 0.15. Let s = -1.02 + l. Let o = 0.05 + s. Is -2 at most as big as o?
True
Let s be (-112 + 109)*8/(-54). Which is bigger: s or 0.04?
s
Let k be (-106)/(-22) + (-18)/(-99). Suppose 0 = -5*l - 2*s + 4, 0*l - k*l - 10 = -5*s. Suppose l = -0*b + 3*b - 3. Which is smaller: b or 5/4?
b
Let k be ((-6)/(-8))/(95/(-46) - -2). Let d = 41/4 + k. Suppose 0 = 2*n + 2*h - h, 2*h = 2*n + 6. Which is smaller: n or d?
d
Let u = 228141/112 - 2037. Let o = u + 317/3472. Which is greater: o or 1?
1
Let j = -1.609 + 0.059. Let n = 0.05 - j. Let s be (1/(6/2))/1. Which is greater: s or n?
n
Suppose 0 = -3*s - 2*s + 5, -s + 39 = -2*z. Let j = z + 12. Which is greater: -9 or j?
j
Let n = -75/452 + 218771/1323908. Let f = n - -9005/319261. Is 0 not equal to f?
True
Suppose -19798 = -5*i + 5*o - 1953, 5*i = -2*o + 17838. Let d = i + -913409/256. Let w = -237/4864 + d. Is 0 at most w?
False
Let s be 411/162 - (-3)/(-9). Let m = -8/27 - s. Which is smaller: m or -2?
m
Let f(w) = -w**3 + 9*w**2 + 11*w - 11. Let o(g) = -g**3 + 19*g**2 + 44*g - 32. Let c be o(21). Let t be f(c). Let h = -105 + 519/5. Which is greater: h or t?
t
Let g = -2 + 0. Let a be 2 - 0/g - 3. Suppose 4 = 2*w - 4*w. Is a greater than or equal to w?
True
Let y be ((-12)/36)/(7946/1470). Let t = y + -1/137. Is -1 less than or equal to t?
True
Let s be 2/10 - (-26)/(-5). Let w = -4 - s. Is w greater than or equal to -1/4?
True
Let v = -9.87 - 0.13. Let h = 9.6 + v. Let o = 0.6 - h. Which is greater: -3 or o?
o
Let s = -6 + 9. Suppose 0*p + 8 = -2*v - 2*p, -s*p + 6 = 0. Let c = -7 - v. Is c greater than 2/9?
False
Let m be (27/255)/(-1) - 4/(-10). Let n = m + 2/51. Which is bigger: 0.1 or n?
n
Let a(o) = -6*o**2 - 16*o + 7. Let n be a(-4). Is -118/5 less than n?
False
Suppose 12 = -15*l + 18*l. Let y(f) = -1 + 0 - 2*f + l - 1. Let o be y(1). Is 9/8 greater than or equal to o?
True
Let u be 83/35 + (-2)/(-10). Suppose 2*m + 53*o - 49*o + 12 = 0, -2*o = -m + 14. Which is bigger: u or m?
m
Let q = 0 + -1. Let n be 0 + 3 - 447/150. Which is bigger: n or q?
n
Suppose -2*y = 4*y - y. Let w(k) = -9*k + 1. Let f be w(-1). Let d be (-8)/f - 4 - y. Which is smaller: -5 or d?
-5
Let o(a) = -a - 1. Let k(q) = -7*q - 6. Let g(s) = -k(s) + 6*o(s). Let n be g(4). Suppose 0 = 3*c - n*c. Is -3/5 bigger than c?
False
Let m = -11.2 - -11. Let j = -166/387 - 2/129. Is j smaller than m?
True
Let r = 107048/171 - 626. Let o = r + -287/171. Let g be (-2)/(-40) - 2/8. Are g and o non-equal?
True
Let h(a) = 63*a - 2. Let p be h(0). Which is bigger: 648 or p?
648
Let y(p) = -p**2 - 11*p - 28. Let i be y(-4). Is i > -0.044?
True
Suppose 0 = 4*g - 3*q - 2*q - 35, 4*g - 42 = -2*q. Let p = g - 3. Is p at most 7?
True
Let h = 1071 - 787. Is 284 >= h?
True
Let y(m) be the first derivative of -m**4/4 - 4*m**3 - 11*m**2/2 - 14*m - 9. Let d be y(-11). Let q = d - 0. Is q != -14?
False
Let i(v) = v**3 + 5*v**2 - 20*v - 3. Let o be i(2). Suppose -g = 2*z - 3 - 25, 102 = 3*g - 3*z. Suppose -b - g = b. Which is smaller: o or b?
b
Let x = -209 + 273. Which is bigger: 63 or x?
x
Let d = -0.356 + 2.356. Does d = 0.8?
False
Suppose 0 = 4*a, -g - 2*g = a + 42. Let c be g/42 + (-1)/3. Do c and -6 have the same value?
False
Let s = 98 - 194. Are s and -97 non-equal?
True
Let c be (-3)/(-4) - (-75)/(-4). Let z = 15 + c. Let p be 5/25 - z/60. Which is smaller: p or 13?
p
Let w(c) = -22*c + 1. Let u be w(2). Let i(d) = -6*d**3 + 3*d**2 - 4*d + 2. Let o be i(2). Which is smaller: u or o?
u
Suppose -i - q + 46 = 0, -3*q = 11 + 1. Which is greater: 47 or i?
i
Let b(o) = -o**2 + 6*o - 1. Let l be b(6). Let u be 2 + -1 - (3 + l). Let x be 10/48*(4 - (-185)/(-50)). Which is smaller: u or x?
u
Let r(x) = -4*x + 30. Let g be r(7). Suppose -2*q = 38 + g. Is q equal to -21?
False
Let l = 175 + -171. Which is bigger: 3 or l?
l
Let u = -2561/6 + 855/2. Which is greater: u or 0.051?
u
Let i = 296 + -293. Let c be ((-8)/42)/((-2)/18). Which is smaller: c or i?
c
Let i be (0 - 1)*59*1. Let k = i - -54. Let m(f) = -f + 4. Let y be m(7). Which is smaller: y or k?
k
Suppose -6 = -3*l, 3*a + l - 334 = -a. Are a and 85 unequal?
True
Let p be ((-9 - -5) + 1 - 1) + 3. Is 6/139 < p?
False
Let g = -6.7 + 34.7. Let a = g + -27.8. Is a at most as big as -3?
False
Let n(a) = 1 + 0*a**2 + 2*a + 2*a**3 - a**3 - 3*a**2. Let u be n(2). Let h = -40069/15 + 2671. Is h bigger than u?
False
Suppose i + 9 = 3*l + 88, 3*l - 3*i = -87. Suppose 0 = 73*t - 71*t - 8. Suppose 5*s = 3*j + 63, s + t*s - 11 = j. Which is smaller: l or j?
j
Suppose -5*s + 0*p - 3*p + 77 = 0, -2*p - 18 = -2*s. Suppose f + 16 + s = -4*c, 0 = 2*c + 5*f + 37. Let o be c/(2*(-3)/9). Is -1 equal to o?
False
Let w = 3653 + -1121465/307. Is w > 1?
False
Let n = 3 - 5. Let m = n - -1. Which is smaller: m or -2.7?
-2.7
Let c = 0.058 + 1.642. Is 1/4 >= c?
False
Let r be 2*(-4 - (-385)/99). Suppose -5*f + f = 4. Is r greater than f?
True
Let c(f) be the first derivative of f**3/3 + 7*f**2/2 + 7*f + 16. Let l be c(-7). Are 7 and l unequal?
False
Let j = 0.141 - -0.031. Are j and -0.1 nonequal?
True
Let t be -2 + (-1)/(-75458)*171674. Let j = -1/1301 - t. Which is smaller: 0 or j?
j
Let s(c) = -8*c + 32. Let a be s(10). Is -50 > a?
False
Let l be ((6 - 0) + -4 + 22)/(-2). Let o(z) = -10*z**3 - 2*z + 1. Let q be o(1). Is q less than l?
False
Let a be ((-8)/24)/(1/975). Which is smaller: -326 or a?
-326
Suppose 2*o - 3 = 3. Suppose -3 = o*x - 9. Suppose -s - s = -x. Are 3/11 and s equal?
False
Let f = 3320 + -63095/19. Which is greater: -1 or f?
f
Suppose 4*v - 66 = 3*r - 239, v - 97 = -2*r. Let f = -259/5 + r. Is -1 greater than or equal to f?
False
Let u(i) = -i + 21. Let l be u(19). Let z be 8/(-16)*54/l. Which is smaller: z or 1/3?
z
Let n(h) = -2*h**3 + h**2 + 4*h + 3. Let z be n(-1). Let u(t) = -13*t + 4. Let r be u(z). Do -22 and r have the same value?
True
Let t be (7/2 - 2)*14. Let c = -12 + t. Is c greater than 10?
False
Let f be (44/(-12) - -6)/(2/108). Are 126 and f nonequal?
False
Let t = -3.9 - -4. Let z = -11.1 + t. Let a = z - -9. Are a and 3 non-equal?
True
Let q = -255 + 256. Which is bigger: 0.7 or q?
q
Let v be (-3)/2*(-12)/9. Let n be -32 - -6 - v*-2. Is -23 at most n?
True
Let t = 48.2 - -6.8. Let g be 0 + (-28)/(-20) + (-1 - 0). Is g >= t?
False
Let z = -164.02 + 164. Suppose -4*o + 5 - 1 = 0. Which is greater: z or o?
o
Let b = 78.46 + -82. Which is smaller: b or 0?
b
Let f(a) = 8*a + 307. Let g be f(13). Is 411 at least g?
True
Let k = 55/7 - 921/119. Is k >= 0.2?
False
Let g(q) = -q**3 - 2*q**2 - 1. Let t be g(-2). Let c = 46 + -22. Let a be (-2)/(-5)*c/(-16). Is t less than a?
True
Let y(z) = -10*z**2 - 3*z + 5. Let k be y(-4). Suppose 2*p = -5*s - p - 579, 2*p - 4 = 0. Let w be 8/s + 22/k. Is 0 at least as big as w?
True
Let n(i) = -7*i**2 + 5*i - 3. Let v be n(2). Suppose 57 = 4*u - 5*o, 2*o + 2*o + 30 = 2*u. Let x = u + v. Is -7 at least x?
True
Let b = 4/23 + -90/253. Which is greater: b or 102?
102
Let n = 25 - 47. Suppose 69 = -15*u + 12*u. Which is greater: u or n?
n
Let g = -41 + 42. Let y = -645/266 - -42/19. Is g greater than y?
True
Let c = 2 - 9. Let o be (-5*815/(-750))/(-1) - 4/10. Which is smaller: o or c?
c
Let j = -27/221 - -5073/3536. Is j greater than 1?
True
Let m = -2410419/7 + 343733. Let a(g) = 202*g + 4. Let s be a(3). Let b = m + s. Is b <= -4?
False
Let m = 0.16 + 3.84. Let g = 79.13 + -79. Which is bigger: m or g?
m
Let s = -58/7 - -108/35. Is 2/3 > s?
True
Suppose -5*z + 4*g + 176 = 0, -3*z + 107 = -2*g + g. Let i be (z/15)/((-76)/(-50)). Let u = i + -3/38. Is 3 at least as big as u?
True
Let a(d) = -4*d**3 + d**2 + 2. Let f be a(2). Let x = 30 + f. Let i be x - (1 + 0 + 1). Which is greater: 2/3 or i?
i
Let k(s) = -s**2 + 7