 -p = -b - 10. Is b < c?
False
Let r = 1/294 - -97/294. Let i = -296/195 - -18/13. Which is bigger: r or i?
r
Let h(f) = -5 + 17*f + 5 - 16*f - 4. Let q be h(16). Let r be (7 - 1) + (-7 - -11). Which is bigger: r or q?
q
Let v be (2 - 19055/9525)*(-126)/147. Which is greater: 0 or v?
v
Suppose 17*c + 600 = 2*n + 14*c, 3*c - 885 = -3*n. Is n bigger than 296?
True
Suppose -n + o = -151, 11*o + 310 = 2*n + 13*o. Let q = n + -109. Let u = q + -47. Is -1 > u?
True
Let y(b) = -40*b**2 - 4*b + 12. Let z be y(-2). Which is smaller: z or -156?
-156
Suppose -594*f = -602*f + 72. Which is smaller: f or -0.0476?
-0.0476
Let b be (-7)/(-28) + 366/8. Suppose 0 = 29*i + 13 - 361. Suppose -w - i = -5*h - 58, -w = 2*h - b. Is w not equal to 47?
True
Let d(k) = -4*k**3 + 28*k**2 + 5*k + 11. Let a be d(6). Which is bigger: 2408/13 or a?
2408/13
Suppose 5*p = 2*m + 4987, m - 1675 - 1326 = -3*p. Which is smaller: p or 1000?
p
Let y = -114 - -125. Let x(b) = 2*b**2 - 12*b - 2. Let n be x(6). Which is smaller: n or y?
n
Let h(k) = 4*k**2 + 4*k - 986. Let v be h(-15). Let g(l) = -16*l**2 - 2*l + 4. Let z be g(3). Is z at most v?
True
Let z be ((-1)/4*2)/((-4)/56). Suppose r + 0*r = -2*f, -f - z = 4*r. Let w be (-45)/(-5) - (3 + f + -3). Which is greater: w or -3?
w
Suppose -30*o + 27*o = -243. Suppose -n = -22*l + 18*l - 61, -2*l = -n + 71. Do n and o have different values?
False
Let t = -2 + 1.5. Let o = 567.49 + -567.36. Which is smaller: o or t?
t
Let v be (-135)/4*(-5232)/(-1090). Are v and 12 non-equal?
True
Let o = 0 - 2. Let f = -241.86 - 6.14. Let t = -245 - f. Is o >= t?
False
Let z be ((-6)/(-4))/((-1)/2). Let d = 7744 + -38734/5. Are z and d unequal?
True
Suppose -12 = 2*g - 4*h, 3*g = -5*h - 0*h + 26. Let d be (0 - g/(-4))/((-15)/(-450)). Suppose -2*k = -4*v - 12, -v + 0*k + d = -5*k. Is v less than -5?
False
Let m be (-2)/12*8/(-12)*9. Is -6/569 < m?
True
Let x = -498.02 - 0.98. Let i = -516 - x. Which is greater: i or 0.03?
0.03
Let c be (-376)/32 - (5/4)/5. Let p be (c/(-30))/((-5)/(775/(-6))). Let b(d) = 4*d - 2. Let g be b(3). Which is smaller: p or g?
g
Suppose -5*g = 25, -y + 0*y = -2*g. Let b be (2 - 0)/((-185)/y). Let t = 2.1 + -2. Which is bigger: t or b?
b
Let n = 29325 - 29324. Which is smaller: 2/33907 or n?
2/33907
Let w = -2.01 - -2. Let z be 7/3*((-22776)/(-2548))/73. Which is greater: w or z?
z
Suppose 3*k + 3*u - 341 = 250, 0 = 5*u - 30. Is k less than or equal to 202?
True
Let k be -11 - (-97)/(2619/170100). Is k bigger than 6288?
True
Let i(s) = 128*s + 383. Let m be i(-3). Are -29/93 and m non-equal?
True
Let i(d) = 2*d**2 + 8*d - 23. Let l be i(-6). Let v be l - 2 - 1 - -8. Let f be 0 - (-2)/3*45/v. Which is smaller: -2/13 or f?
-2/13
Let w = -7299 - -7295.831. Let h = w + -0.031. Let t = h + 3.3. Do -0.035 and t have the same value?
False
Let y(k) = -k**3 - 7*k**2 - 5*k + 6. Let d be (-35)/(-14)*8/(-10) + 37. Let u = d - 41. Let p be y(u). Is p at least as big as -1/4?
True
Suppose 4*n = 8, -5*r + 2*n = -2*n + 23. Let l be 18/(-12)*(-46)/r. Suppose 3*b + 17 = -49. Which is smaller: b or l?
l
Let y = -247.4 - -256. Let r = 9.7 - y. Which is smaller: r or 0.4?
0.4
Suppose -4*d = -o - 5, -o - 6 + 1 = d. Let u(v) = -v**3 + 4*v**2 + 2*v + 14. Let r be u(5). Let t be 19 - 20 - (4 - r). Does o = t?
False
Let o = 188 - 200. Let u(z) = -2*z**3 - 23*z**2 + 14*z + 25. Let k be u(o). Let l be 2/212*-2*1. Which is smaller: k or l?
l
Suppose 3*t - w - 381 = 957, -896 = -2*t + 2*w. Which is greater: 2 or t?
t
Suppose 59*w = 5*a + 62*w - 160, 5*a = w + 140. Which is smaller: -82 or a?
-82
Let w = 1292 + -718. Let a = 572 - w. Is -24 less than or equal to a?
True
Suppose -14*l = 187 - 397. Is -5 at least as big as l?
False
Let q = 190 - 184. Suppose 5*o - q*a = -8*a - 288, 2*a - 104 = 2*o. Is o greater than or equal to -54?
False
Let g be (-4344)/3801 - 2/(-2). Are g and -74 unequal?
True
Suppose 2 = 12*g - 46. Suppose -2*d = 3*v + 37, 0 + 12 = g*v. Suppose s + 12 = 4*m - 11, m - 69 = 3*s. Do s and d have different values?
False
Let j(f) = -8*f**2 + 124*f - 63. Let a be j(20). Is -785 at most as big as a?
True
Let s = 2989 - 7720. Is s not equal to -4731?
False
Suppose -55 + 5 = 5*n. Suppose 2*b + 120 = -4*b. Let x = b + 9. Is n greater than x?
True
Suppose -23*w - 9 = -2*f - 22*w, 4*f - 3*w = 23. Suppose -32*s = f*m - 31*s - 3, -3*s = 2*m - 1. Which is smaller: -100 or m?
-100
Let u = 21.5 + -25.5. Let z = 1.44 - 1.2. Let p = 0.04 - z. Which is smaller: u or p?
u
Let d be (18/(-3))/(1 - 130/(-340)). Which is smaller: -3 or d?
d
Let k = 3562048145/11381 + -312982. Which is bigger: k or -1?
k
Let y(m) = m**3 - m**2 - 8*m + 23. Let i(w) = w**3 - 46*w**2 + 46*w - 41. Let k be i(45). Let n be y(k). Is 41 at least n?
True
Let z = 346 + -558. Let s = z - -212.01. Is -1 equal to s?
False
Suppose 5*j + 204 = -3*i, 15*j - 14*j = 2*i + 136. Is i equal to -68?
True
Let t be ((-8)/10)/((-40)/16700). Is t smaller than 333?
False
Let f be (-54)/(20 + -11) - -7. Let s = -7596/85 - -447/5. Which is bigger: s or f?
f
Let i(s) = 9*s**2 - s - 2. Let k be i(2). Let n = 39 - k. Suppose -2 = -3*x + 13. Which is greater: n or x?
n
Let n(j) = j**3 - 3*j**2 + 6*j - 4. Let a be n(2). Let h be (32 + -29)*a/6. Which is smaller: h or -0.51?
-0.51
Suppose -14*h + 3*h - 9313 = -78*h. Which is greater: 137 or h?
h
Let o = 352 + -1767/5. Let s = 21.284 + -20.184. Is o equal to s?
False
Let y = -3/128 - 217/1664. Let i = -41/182 - y. Suppose 0 = 173*k - 200 + 27. Is i > k?
False
Suppose 22 = -p + 19. Let w be (8/p)/((-6)/9). Let i be -2*(-2 + 34/w). Which is smaller: i or -11?
i
Suppose -324 = 4*z - 3*c, -c - 440 = 5*z - 16. Let a be 2/(-4) + 3*(-2)/z. Which is greater: -124/3 or a?
a
Suppose -27*v = 2*v + 319. Let o be 2 - (-7)/(-4) - v/4. Let z be ((-3)/8)/((-3)/22). Does z = o?
False
Let j be (-72)/468 + 4/(14196/591). Which is smaller: 1 or j?
j
Let n be ((-27)/1343034)/(13/(-2) + 6). Is n less than 1?
True
Let s be (-4880)/(-1680) + (-3 - 0). Which is smaller: -0.332 or s?
-0.332
Suppose 0 = -2*k + 5 - 1. Let t be 1*k/2 + 0. Let b be (-5600)/940 - -7 - 1. Is b at least as big as t?
False
Let i = -21914/5 + 46019399/10500. Is 0 greater than or equal to i?
True
Suppose -184 = 4*z - 168. Let x be (-71001)/(-610589) + z/34. Which is smaller: 0 or x?
x
Let u be 816/(-2244) + (-48)/(-11). Let j = 467712 - 105234532/225. Let o = j + -2/25. Is u bigger than o?
True
Let l = -1.01 + 0.01. Let d(a) = -6*a**2 - 11*a + 112. Let k be d(6). Which is greater: k or l?
l
Let x = -235.24 - -235.34. Does -12357 = x?
False
Let r = -0.8 + 0.3. Let o = -3807.3 - -3658. Let w = o - -150. Is w < r?
False
Let j be ((-36)/465)/((-26)/130)*107. Which is smaller: j or 40?
40
Let d = 929 + -534. Let j = d + -678. Which is bigger: j or -282?
-282
Let a be -4 - 5088/(-565) - 15/3. Let m = 29921/4520 + a. Which is bigger: 6 or m?
m
Let j = -75.12 - -79.12. Which is smaller: j or -6/5?
-6/5
Let y be (-1*3/6)/((868/(-28))/(-5580)). Suppose 0 = 5*q - 4*o + 423, 3*o - 426 = 3*q + 2*q. Is y at least q?
False
Let x be 19/209 - ((-3174)/(-33))/2. Let h be (x/(-156))/((1/(-54))/(-1)). Which is greater: 16 or h?
h
Let u = -121 + 126. Suppose -k + 2*a + 24 = 166, -u*k = -a + 692. Is k > -138?
False
Let h(w) = w**3 - 7*w**2 - 8*w + 8. Let i = 45 - 37. Let o be h(i). Suppose -o*n = -4*z - 3*n + 9, -2*n - 6 = -4*z. Which is smaller: 1/91 or z?
1/91
Let r be (-2)/13 + (-38133)/312 + (-198)/(-528). Is -149 > r?
False
Let m = -2/737 - -50122/2211. Which is greater: 24 or m?
24
Let c(d) be the second derivative of 3*d**3/2 + 22*d**2 + 121*d. Let m be c(-5). Are 7/17 and m nonequal?
True
Let m be -2 - 7532/11300*-3. Let d = m - -296636/31075. Which is smaller: d or 11?
d
Let b = -5132/5 + 1020. Let x = 121/15 + b. Let z(i) = -i. Let m be z(-1). Is m bigger than x?
False
Let w(t) = -t**3 - 8*t**2 + 9*t + 15. Let p be w(-9). Suppose 13*b + 3556 = -p*b. Is -127 smaller than b?
False
Let r(m) = 2*m - 79. Let p be r(-19). Let y be ((-666)/228 + 3)*(-6)/p. Which is smaller: y or 0?
0
Suppose 6*a + 0*a = 318. Let v = a + -54. Let q be (-11)/4 - v*2 - -2. Is 2 less than q?
False
Let u be (493/85)/((-18)/(-10)) + (-20)/90. Does 95/29 = u?
False
Let t(v) = 3*v - 3. Let h be t(4). Let f(j) = -6*j + 72. Let z(k) = -k + 1. Let m(d) = -