 bigger: 5175 or j?
5175
Let j = 78.79 + -97.79. Which is greater: j or 13/8?
13/8
Let i = 25818 + -25818. Is -1/255 < i?
True
Let m = -16 - -103. Is m != -2?
True
Let p(g) = g**3 + 7*g**2 - g + 56. Let y be p(-8). Which is smaller: y or -11/38?
-11/38
Suppose -30*m + 11*m + 5*m = -7*m. Which is smaller: 16/195 or m?
m
Let w = -3052/3 - -1021. Let c = 22 + -23. Which is bigger: w or c?
w
Let j = 42277292 + -608708448941/14398. Let d = -1/626 + j. Let t(v) = v**2 + 4*v + 3. Let a be t(-2). Is d less than a?
False
Let p = -147/17 + 1814/255. Let q = -53/33 - p. Let f = -8/11 + q. Is f less than or equal to -0.3?
True
Let t be ((-55)/(-11) + -1)/(6 - 2). Let c be ((-30)/45)/(t*(-1)/31). Which is smaller: 20 or c?
20
Let r(n) = -3*n - 1. Let d = 11 + -15. Let x be r(d). Let g = -350456 - -350462. Which is smaller: g or x?
g
Let v = 19473 + -20076.38. Let o = 603 + v. Is -4 < o?
True
Let l(t) = -3*t + 10. Let m be l(4). Let j be m/14 - 38/(-70). Let y = 0.087 + -36.087. Is y smaller than j?
True
Let f be -87 + 43/(731/170). Are -862/11 and f equal?
False
Let w be 4/(-20) + 22/10. Let x = 7/618 + -7829/36462. Let z = 624/413 - x. Which is greater: w or z?
w
Let n(w) = -28*w + 2 + 6 + 23*w. Let d be n(2). Let f be ((d/4)/(34/(-2)))/1. Which is smaller: 0 or f?
0
Let q be -2*(-63)/23170*5/(-3). Which is smaller: 0 or q?
q
Let j = -6557 + 6556. Which is greater: j or -3/791?
-3/791
Let z = 66 + -60. Suppose 9*s - 12 = z*s. Suppose o - 7 = 3*j - s, 2*o - 6 = 0. Is j at least as big as 15/11?
False
Let k = 17 + -35. Let a = k - -17.9. Let x = 132 + -136. Is a at least as big as x?
True
Let u = 14038 + -28075/2. Let k = -12 + 8. Let o = -8 - k. Which is greater: u or o?
u
Suppose -41*w = -45*w + 20. Let n = w - -6. Which is bigger: n or 6?
n
Let m be ((-5)/(-2))/(-20*(-8)/192). Let g be (4 - m)*(-1)/(-5). Is g equal to 2/5?
False
Let w = 14491 + -159518/11. Is w <= -12?
False
Suppose -3*p - 5*o + 381 = 17134, 5573 = -p + 4*o. Is -5580 < p?
False
Suppose 268 + 265 = -3*k - 4*m, -5*k - 898 = -3*m. Let h = 174 + k. Let v be (2/(-5))/(18/90). Which is bigger: h or v?
v
Let a(m) = m**2 + 6*m - 4. Let r be a(-7). Suppose d - 12 = -r*d. Suppose 2*k + o + 2 = 0, -2*o + 0 = -d*k + 4. Which is smaller: k or 1/19?
k
Let i = 7618 + -7601. Which is greater: -86 or i?
i
Let u = 24/65 - 1803/130. Let h(v) = 2*v**3 - 8*v**2 + 7*v - 1. Let m be h(5). Let r be (m/24)/(2/(-8)). Which is greater: u or r?
u
Let r(s) = -s**3 - 7*s**2 + 12*s + 11. Let o be r(-14). Suppose -5*i = -2*i + o. Let d be (-18)/i*5*1. Is 1/11 less than or equal to d?
True
Let d(n) = n**2 + 10*n + 4. Let b be d(-7). Let z = -41 + 53. Suppose -z*h = 37 + 167. Is b at least h?
True
Let z = -4 - -17. Let l = -126 + 130. Let n be (-4)/(-16) + 43/l. Which is bigger: n or z?
z
Let b(z) = 5*z**3 - 2*z**2 + 1. Let t be b(1). Let r be (-3 + -111)/(-6)*-3. Let n = r - -60. Which is greater: n or t?
t
Let j = 373/2 + -3361/18. Which is smaller: j or 1144?
j
Suppose 5*l + 0*w + 2*w + 149 = 0, -5*l - 146 = 3*w. Let u(p) = p**2 - 7*p + 11. Let b be u(5). Let a be b*((-96)/18 - -5). Is a < l?
False
Let p = 134342772/134585 - 5/26917. Let z = p - 1003. Let f = 22/5 + z. Are f and 1 unequal?
True
Suppose 43 = 20*k + 27*k - 4. Which is bigger: 3/725 or k?
k
Let z be (213*12/(-24))/((-12)/40). Which is greater: 353 or z?
z
Let v = -43 + 37. Let d = 2 - v. Let g = d + -8.1. Which is greater: g or 0?
0
Let x be 147/(-12) - -1 - (-9 + (11 - 7)). Which is greater: 3 or x?
3
Let z = 11383/7 + -1639. Let w(j) = -3*j + 1. Let y be w(5). Does z = y?
False
Let m(n) = 10*n + 30. Let j be 18/(-24)*(-2 + 3 - -3). Let z be m(j). Suppose -5*c - 3*s = 70, 4*c - 5*s + 74 - 18 = z. Is c greater than -13?
False
Let l = -8 - -29. Let i be (1 + -4)*(l/(-9))/7. Is i smaller than -4/123?
False
Let j be (-4 - -16)*(1 + (-9)/4). Let o = 17 + j. Let i be (-3 - -4)*-2 - -3. Which is smaller: i or o?
i
Let d(b) = 5*b**2 + 32*b + 11. Let i be d(-9). Let u(n) = -n**3 + 15*n**2 + 24*n - 4. Let c be u(16). Is i > c?
True
Let f be (-2)/7 - 4199/(-119). Suppose -7*d + f*d = -1372. Is d smaller than -49?
False
Suppose -4*o - 3*l = 394, l - 102 = -8*o + 9*o. Let z be (-74)/185*o/(-2). Which is bigger: z or -21?
z
Suppose r + 34 = -3*z - 118, -4*z + 5*r - 228 = 0. Let n(k) = -54*k**2 + 2794*k + 2796. Let o be n(-1). Do z and o have different values?
False
Let b(a) = -a**3 + 7*a**2 + 10*a - 185. Let q be b(10). Which is smaller: -378 or q?
q
Let z be -7*((-3910)/70 - 9). Which is greater: z or 455?
455
Suppose 0 = 109*m - 110*m + 1. Let r be m*(835/4)/(-5). Is -42 > r?
False
Suppose 2399 - 659 = 5*s - 3*j, -j = -5. Suppose q + s = -8*q. Let c be 18/(-8)*65/q. Which is smaller: c or 3?
3
Let s = -1246 + 11210/9. Suppose 0 = -3*d + 5*d - 26. Let h be ((-2)/(-6))/(d/(-39)). Is h smaller than s?
True
Let t be (-2 + 31/4 - 5)/(-9). Let g = 1/3 + t. Let x = -0.68 + 0.6. Is x greater than or equal to g?
False
Let c = 18330/7 + -2618. Is c less than -55?
False
Let w(r) = r**3 - 33*r**2 - 43*r + 402. Let q be w(34). Is 123 at least as big as q?
True
Let v = -348 + 352. Let q(o) = o**3 + o**2 + 2. Let l be q(0). Suppose 5*p + 37 = -4*d, d - l*d = 2*p + 13. Which is smaller: d or v?
d
Suppose h - 2*j - 88 = 0, -6*h = -h + j - 418. Suppose -4*v - 36 = h. Let u = v - -42. Which is greater: 11 or u?
u
Let g = -133 - -91. Let k be 2 - -10*9/g. Let i = 755 + -755.1. Is k <= i?
True
Let d be ((-110)/(-40))/(1/4). Let o be -84 + -1 + d + -6. Which is smaller: -81 or o?
-81
Let m be 27 + -21 + (-214)/31. Which is greater: -2 or m?
m
Suppose 10*w - 915 + 115 = 0. Which is bigger: w or 76?
w
Let j = 9760 - 9759.6. Do 55/4 and j have the same value?
False
Let w = -112 + 289. Let s = w + -158. Is s not equal to 20?
True
Let k be 8 + ((-169)/(-52) - 10). Let w(a) = -a**3 + 2*a + 1. Let r be w(-1). Let g be (0 - r)*(-5)/(-15). Are k and g equal?
False
Let w = -222.2 - -223. Let b = w + -0.5. Which is bigger: -1.3 or b?
b
Let h(m) be the second derivative of m**4/12 - 8*m**3/3 + 55*m**2/2 + 2*m + 5. Let v be h(9). Suppose a + 5*d = -34, d - 2 = 5*a + 38. Which is greater: a or v?
v
Suppose -51*l + 929 - 312 - 308 = 309. Suppose -y - 3*k = -2*y - 5, -k = -2*y. Let r be y/151*(1 + -2). Is l equal to r?
False
Let h = 22612/5 - 4522. Is 0.2344 at most h?
True
Let p be 10/(-6)*-13*21/(-455). Is p less than -2/16597?
True
Suppose -3*v + 3*w + 1525 = 1663, w = 3*v + 152. Is 16.1 at most v?
False
Let t be 79347/1820 + (-56)/196. Let k = t - 173/4. Which is greater: 0 or k?
k
Let d(y) = y - 16. Let f be d(0). Let s be (-42)/(-7)*1/(-1). Let q be (-21)/s*-2 - 8. Is q at most f?
False
Suppose -46*u = 15*u - 28548. Which is greater: u or 470?
470
Suppose 16*g = 13*g - 8232. Let k = g - -3924. Let y = k - 4665/4. Which is smaller: y or 14?
y
Let l = 3947 - 3947.68. Are -0.19 and l non-equal?
True
Let z(h) = 3*h + 1. Let s be z(-3). Let l = -8885 - -8877. Is l smaller than s?
False
Let h = 243557/4 - 60556. Let i = -326 + h. Which is smaller: i or -6?
-6
Let s = -27 + 14. Suppose -11*i - 1 = -10*i. Let k be -10 + 0/(-2) + i. Which is smaller: k or s?
s
Let m = -356.78 + 362. Let v = m + -5.32. Is 146 at most v?
False
Suppose -33*b + 36*b = 21. Let l be (-3)/(-12)*b/(-196). Let y = -9 - -9. Is l >= y?
False
Let z = -0.1 - 0.9. Let w(o) = -6*o - 66. Let j be w(-12). Suppose -j*d - 18 = 6. Is d less than z?
True
Suppose -9*x - 43 = -34. Is 4/1327 <= x?
False
Let c = 7106 - 7997. Which is greater: 0.1 or c?
0.1
Let x = 35389 - 672556/19. Let p = x - -5623/665. Which is smaller: -1 or p?
-1
Let d = -4.11553 + 0.11553. Let t be -10*1/4*2. Let c = 0 + t. Which is bigger: d or c?
d
Let y(s) = -s + 2. Let c be y(-13). Let v be c/(-30) + (-7)/(-15). Let d(r) = -2*r - 9. Let p be d(-4). Is p less than v?
True
Let n(k) = -k**3 + 23*k**2 - 127*k + 20. Let z be n(14). Suppose -2*y = y + 63. Let p be -2*y/6*1. Is p != z?
True
Let s be ((-4)/10)/(1/(-10)). Let g = -975/7 + 1000/7. Is s at least g?
True
Suppose 0 = 2*g + 4*p + 171 - 159, 0 = -4*g + 4*p. Which is bigger: -150/67 or g?
g
Let g = 989211/37 + -26735. Is g <= 1?
True
Let v(p) = -5*p - 31. Let o = -36 + 29. Let r be v(o). Suppose 2*q - r*h + 144 = 0, 2*q = -0*q + 3*h - 140. Is q not equal to -63?
True
Suppose -117 = -q - 223. Which is smaller: q or