 j?
j
Suppose 123*n - 119*n = -736. Let c = 191 + n. Which is greater: -7 or c?
c
Let s(i) = -i. Let n be s(-8). Suppose -125 = -n*r + 3*r. Let j(o) = o**3 + 12*o**2 + 26*o + 84. Let w be j(-10). Is w at least r?
False
Let t(w) be the first derivative of w**4/12 - 3*w**3/2 - 12*w**2 + 35*w + 40. Let o(j) be the first derivative of t(j). Let s be o(11). Is 15 <= s?
False
Suppose 4 = x + 3. Let z be 161/10 + x + (-12)/10. Let r = z + -16. Is r at most 0?
True
Suppose -7*g - 53 + 96 = 50. Which is greater: -11/118 or g?
-11/118
Let n(x) = 2*x - 4. Let g be n(5). Let j = 4.0732 + -4.2732. Is g at most as big as j?
False
Suppose -10 = h + 4*x - 6*x, 0 = -h + 3*x - 15. Suppose h = 5*l - 24 - 326. Let k = 38 - l. Which is smaller: k or -33?
-33
Let c = -4 + 4. Suppose -101 = -4*s - q, c*s - 5*s - q = -125. Let k(o) = -o**2 - 354*o - 2744. Let u be k(-8). Is u at least as big as s?
True
Suppose 169 - 661 = -3*s. Let z be 142054/847 - 8/2. Let c = z - s. Which is bigger: c or -39?
c
Suppose 33*o = 45*o - 60. Let v be -1 + 3 - (-3 + o). Let n = -196 + 2942/15. Which is smaller: n or v?
v
Let g be (-483)/(-49) - 1/(-7). Let z be -1587*g/15 + 4. Let c be z/(-263) - (8 - 4). Is 1 < c?
False
Let o = 0.4 + -0.2. Let t be (-238)/13 + 117 + -99. Is o greater than or equal to t?
True
Suppose -22*n - 99 = 89*n + 12. Which is greater: n or 3/22679?
3/22679
Let u = -3.375 - -3.675. Does 9 = u?
False
Let z = -234.9802 + -0.0198. Let a = z - -234.89. Is -1 greater than a?
False
Let s = 1080641/63 + -17153. Is s bigger than 1?
False
Let o be (-4)/(-6)*(-12)/8. Let q(j) = 2*j**2 + 7*j + 1. Let g be q(-5). Let w(y) = -y**2 + 18*y - 31. Let r be w(g). Which is bigger: r or o?
r
Suppose i - 3 = -2*i. Let c be ((-8)/(-6))/(4/15). Suppose 0 = -2*z + c*a + 29, -4*a = -2*z - 7*a - 11. Is z bigger than i?
True
Suppose -7*t + 1739 + 1173 = 0. Suppose -4*q + q = 2*p - 226, -3*q = -4*p + t. Let n be (-6 - -2)*(-1)/4*p. Is n at most 106?
False
Let w be -27275 + 4932/306 + -16 + 15/17. Is w greater than or equal to -27274?
True
Suppose 202*a = 196*a - 6, -b = -a + 272. Is -285 > b?
False
Let u = -2532 + 37949/15. Let x = -1720 + 1717. Which is greater: u or x?
u
Let g(m) = 4*m**2 - 3*m + 2. Let r be -1 + -2 + (-1 - -8). Let i be 6/(12/10) - r. Let w be g(i). Is 5 at most as big as w?
False
Let h(n) = -19*n**2 + 4*n + 8. Let q be h(-3). Let x = -124 - q. Which is smaller: 52 or x?
x
Let h(t) = -t**3 - 11*t**2 + 2*t + 25. Let d = -119 - -108. Let k be h(d). Suppose 5*r = 5*q - 25, -k*q - q - 4*r - 4 = 0. Which is greater: q or 17?
17
Suppose 4*h - 8 = -3*w + 4*w, 0 = 2*h - 5*w + 14. Let m be (0 - 28/156) + 1/(-12)*-4. Which is smaller: h or m?
m
Let l = -17924.0072 + 17924. Which is smaller: -10 or l?
-10
Let h be 2/(-6)*(-558)/(-8). Let r be 268/(-12) + 495/(-297). Is h < r?
False
Let t = 196978/2135 - 3228/35. Suppose 0 = -3*n - c - 6 + 4, n = -2*c - 4. Let r = -2/3 - n. Is r > t?
False
Let a(s) = -2*s**2 + 6*s + 1. Let t(m) = -m**2 - m - 1. Suppose 6*o = 4*o - 6. Let p(q) = o*t(q) + a(q). Let f be p(-10). Which is smaller: 0 or f?
0
Let p = 33 - 16. Let r be -8*13/10 + 1 + -3. Let g = -181/15 - r. Is p not equal to g?
True
Suppose 3*i - 62 = -x + 2*x, -i = -4*x - 17. Let n be (3 + i/4)/(15/40). Do 30 and n have the same value?
False
Let c be 4/18 - 133/(-9). Let i = 82703 - 82688. Is i < c?
False
Let m(j) = j**2 - 27. Let s be m(-5). Let b be 11/((-44)/24)*s*1. Is b less than or equal to 19?
True
Let o be 4/(-8) + ((-48174)/12)/(-7). Which is bigger: o or 564?
o
Let k = -11284 - -7708. Let j = 446997/125 + k. Is j less than or equal to -1?
False
Suppose 0 = 479*t - 472*t - 7217. Suppose 5*j = -2*l - t, -6*j + 1001 = -2*l - j. Which is smaller: l or -507?
l
Let i be (-10134)/(-42) + 12/(-42). Let v = 116 - i. Is -125 not equal to v?
False
Let h = 1397.335 - 1358.4. Let a = -0.065 - h. Is a greater than -1/4?
False
Suppose -15*l + 12 = -16*l + 2*i, 5 = i. Which is smaller: -94/171 or l?
l
Let g be (21 - 14)/(((-10)/(-4))/(-1)). Does g = 8.2?
False
Suppose 0 = -5*d, -4*s - d + 982 = 671 - 857. Which is smaller: s or -2?
-2
Suppose u + 10*u = -99. Let c(d) = -2*d**3 - 15*d**2 + 6*d - 8. Let n be c(u). Suppose 5*q + n = -234. Are -84 and q nonequal?
True
Let u = -236 + 85. Let r = 80309 - 80312. Are u and r equal?
False
Let n be 2/(-5) - 14/(-35). Let j = 1582113/197 - 8031. Let b = 635/14381 - j. Is n > b?
False
Let m be 3/(-21)*(-280)/260. Suppose -3*f = 4*f + 7. Is f smaller than m?
True
Suppose 5*f - 47*g = -42*g - 50, 5*f + 66 = -3*g. Let n = 1 - -7. Is n not equal to f?
True
Suppose -21*r + 15552 = -3*r. Suppose -20*x + 28*x - r = 0. Is x smaller than 109?
True
Suppose -d + 1 = -5*w - 1, -4*w = 5*d + 19. Suppose -8*b + 80 - 40 = 0. Which is smaller: b or w?
w
Let n = 1.72 + -1.911. Let o = 0.154 + n. Which is greater: 0.1 or o?
0.1
Let j = -66 + 73. Suppose 2 = 5*c + j. Let g be (-2)/c*(9/(-78))/1. Are -1 and g equal?
False
Suppose 3523 = -32*l - 1597. Is l > -159?
False
Suppose 0 = -x - 4*s + 634, 17*s + 5 = 18*s. Which is smaller: 613 or x?
613
Suppose 4*k - 30 = -n - 163, 4*k = -2*n - 138. Let r = k - 89. Let p be 6/(-12)*4/r. Which is greater: p or 0?
p
Let x be (1/(-3))/(4/(-20)). Let s = 7840 - 7839.9. Which is greater: x or s?
x
Let v = 15 + -18. Let c be v/(-75)*6/(-15). Suppose -4*m + 5*m - 2*p - 1 = 0, -p = 3*m - 3. Which is smaller: m or c?
c
Let k(n) = 11*n - 1285. Let a be k(-74). Which is smaller: a or -1?
a
Let a = -9 + 21. Suppose 3*b - 6*b = -201. Suppose -62 = -5*o - 3*x, -6*x - b = -5*o - 4*x. Which is smaller: o or a?
a
Let b be 14*((-1276)/(-77) - 9). Which is smaller: b or 105?
105
Let c(t) = 1 - t**3 + 9*t - 2 + 3*t**2 + 2. Suppose -2*l + 3*o + 12 = 5*o, 0 = -4*o + 4. Let x be c(l). Is 5 < x?
False
Suppose -12320 = 608*k - 580*k. Is -436 bigger than k?
True
Let d = -5895 + 5896. Is d at least as big as 94/21?
False
Let g be ((-1)/(-15) - (-1)/3) + 25893/105. Which is smaller: g or -1/4?
-1/4
Let z be (53/(-53) + -4647 + 0)*14/4. Which is smaller: -16267 or z?
z
Let p = 9312 + -9298. Is p less than or equal to 20?
True
Let y = -256736/10707617 + 39/1637. Is y at most -1?
False
Let b = 0.1317 - 0.0317. Which is smaller: b or 1.1?
b
Let f(v) = 2*v**2 + 20*v + 7. Let r be f(-10). Suppose -r*s = -4*s - 6. Suppose 4 = s*p - 5*a - 14, 2*p - 10 = a. Which is smaller: 6 or p?
p
Let l be (78/7395)/((1056/(-120))/11). Is 0 at most l?
False
Let i be (5 - 0/(-2))/(177/2124). Which is smaller: i or 1?
1
Let g be (1/(-1) - (1 - 1))*-4. Let r be g - (6/(-9))/(7/(-21)). Is 6 greater than or equal to r?
True
Suppose 320*y + 13179 + 3765 = -1936. Is -36 at most y?
False
Suppose -116 = 14*l - 102. Is l at most as big as 2/9809?
True
Suppose -33*z + 61*z - 969 = 45*z. Are z and -10 unequal?
True
Let s(n) = 2*n - 6. Let i be s(-13). Let c = 34 + i. Suppose 0 = c*p + 8 - 6. Which is bigger: p or -4.6?
p
Let r = 162/77 + 15291/308. Let c = -191561 - -8426503/44. Let a = c + r. Is a at most as big as 1?
False
Let g = 24.824 - 23.724. Which is greater: 0.0858 or g?
g
Let m be (7 + 0 + -25)*(-34)/(-4). Let l(u) = u**2 + 28*u - 58. Let v be l(-24). Does v = m?
False
Let u = 77 - 59. Suppose 2012*r - 2010*r + u = 0. Let j(t) = -t - 3. Let g be j(-5). Which is bigger: g or r?
g
Suppose -31*y = 61 + 32. Which is smaller: y or -1/64?
y
Suppose -2*s + 8 = -0*s - u, -5*u - 20 = 0. Suppose 3*w = -f + 7, -5*w + 4*w + s*f - 7 = 0. Let q be 3 - 10/5 - 5. Which is bigger: q or w?
w
Let s = -2.064 - 5.406. Which is greater: s or 0?
0
Let a = -129.8 + 124. Let b = -5.6 - a. Let c(u) = 7*u**2 - 3*u - 1. Let v be c(3). Are b and v equal?
False
Let w(q) = -q**2 + 42*q + 200. Let y be w(-5). Is y >= -81?
True
Let t = 5061.8 - 5062. Which is greater: t or 3.8?
3.8
Let d(o) = -o**2 + 23*o + 91. Let h be d(-7). Let k be (-15)/(-7) - 3 - (-17)/h. Which is smaller: -11/62 or k?
k
Let r = -9249 - -4442. Which is smaller: -4808 or r?
-4808
Let b be 323/285 + 4/(-30)*1. Is b smaller than 31/45?
False
Let s(m) = -2*m**2 + 46*m - 12. Let j(a) = -a**3 - 3*a + 22. Let p be j(0). Let i be s(p). Which is bigger: i or 0?
i
Let b(d) be the third derivative of -d**5/60 + 31*d**4/24 - 83*d**3/6 - 187*d**2 + 2. Let m be b(28). Do -2/161 and m have different values?
True
Let k(d) be the third derivative of -d**5/60