 j?
j
Let z = 554 - 554. Suppose 7*o - 101 + 94 = z. Which is smaller: -4 or o?
-4
Let s be 60 + 8832/(-144) + (-86)/(-132). Suppose 0*o + 4*o = -8. Is s less than or equal to o?
False
Let d(p) = p**3 - 8*p**2 - 54*p + 62. Let r be d(13). Which is smaller: 208 or r?
r
Suppose 98 = 2*w - 50. Let h(l) = -l**2 - 38*l - 282. Let z be h(-17). Are z and w unequal?
True
Suppose 0 = -4*y + 11*d - 10*d + 605, 0 = -4*d - 20. Let w be (48/(-10) - 2)/(210/y). Is w smaller than -6?
False
Let g = 14.2 + -116.2. Let t = g + 108. Is t < 0.07?
False
Let q = 0.1771 + 0.8229. Which is smaller: -607 or q?
-607
Let w = -410 + -167. Let f = 544 + w. Is 0.2 > f?
True
Suppose 1672*q - 444 = 1666*q. Is q at least as big as 62?
True
Let b = 4884 + -4891. Is b greater than or equal to -398?
True
Suppose -p + 97 = 2*o - 34, 5*o = -4*p + 329. Suppose 456*x = 457*x - o. Which is smaller: 446/7 or x?
446/7
Let r be (-1*1)/(1/(-31)). Let x = -189 + 220. Let t = r - x. Is 0 at most t?
True
Let r be 74/740 + 2/20. Let d = r + -68/315. Suppose 0 = -6*m + 5*m + 1. Which is smaller: m or d?
d
Let f = 13.2 + -12. Let l = f + -0.2. Let u = 34948 - 34946. Is u < l?
False
Let f = 8877/8 + -7199423/6488. Which is bigger: -1 or f?
f
Suppose 152*j = 339*j + 5724631. Is j at most -30612?
True
Let i = -6.3 - -6.271. Let r = -0.179 - i. Let z = r + 0.05. Which is greater: 0.14 or z?
0.14
Let u(x) = -7*x**3 - 3*x**2 + 2*x + 2. Let y be u(-1). Suppose -381 = -y*w - 5*v, 4*v = -3*w - v + 292. Let q = w - 355/4. Is q greater than 2/15?
True
Let h(i) = -i - 2. Let b be h(0). Let c(d) = 2*d**2 - 37*d**3 + 2*d**2 - 6*d**2 + 1 + 38*d**3 + d**2. Let o be c(b). Do o and -12 have different values?
True
Let o be (13 - 12)/(2/(-1082)). Let a = -570 - o. Suppose 5*k = -49 - 106. Do k and a have different values?
True
Let q be 84/56 - (-219)/(-2). Let x be (4 + 318/q)*-4. Which is bigger: -5 or x?
x
Let u(g) = -182*g + 68. Let y be u(4). Let t be y/14 + (-15)/(-105). Which is bigger: -48 or t?
t
Let r = 36 - 235. Let n = r - -199.24. Is n less than or equal to 0.5?
True
Let y(z) = 24*z + 292. Let w be y(33). Which is smaller: w or -0.2?
-0.2
Let q = 9864 + -9836. Are q and 71 non-equal?
True
Let d = 3757/4 - 642467/684. Let a = -6739/2394 - d. Is -2 greater than a?
True
Suppose 9*f = 513 - 315. Suppose 12*l - 10*l = s - f, 5*l + 31 = s. Let u = -2.1 + 2. Which is greater: s or u?
s
Let d(a) = -75*a - 11. Let o be d(9). Let w = o + 65855/96. Let r be (-3)/15 - 8/10. Do r and w have the same value?
False
Let j(r) be the second derivative of r**3/3 + r**2 - 17*r. Let m be j(4). Suppose 0 = -11*n - m + 10. Is -0.07 > n?
False
Let y = 16.15 - 1.35. Let l = 0.943 - 15.943. Let n = l + y. Is n bigger than -1/3?
True
Let q = -18 - -18. Suppose 1 = 14*s - 13. Let n be ((-4)/24*s*3)/20. Which is bigger: n or q?
q
Let z be ((-8)/80)/(27/216). Is z bigger than -0.0609?
False
Let m(p) = -p**2 + 1. Let z(g) = -486*g**2 + 4*g + 5. Let v(t) = 3*m(t) - z(t). Let u be v(-2). Let n be u/24 + (-1 - (-5)/4). Are 81 and n equal?
True
Let n = 56.15 - 1.65. Let k = -19.66 - n. Let o = 74 + k. Which is greater: 0.2 or o?
0.2
Let j(x) = -x**3 - 8*x**2 - 4*x + 29. Let w be j(-7). Suppose -5*h = -w*h - 87. Which is greater: -4 or h?
-4
Let p be -4 - (-4 + -1) - -4. Suppose -92 = -p*t + 3*n + 203, 61 = t - n. Does 56 = t?
True
Let v = 52 + -55. Let n be 1960/3850 + (-8)/5. Which is greater: v or n?
n
Let q be ((-4)/(-10) - (-25)/250)*-12. Let k be 3/q - 15/10*7. Is -11 <= k?
True
Let c be (3267/(-825))/99*(1 + -2 + 15). Suppose f - 4*d - 16 = -f, 0 = 3*d + 12. Is c <= f?
True
Suppose -3*r - r = 0. Let a = 175 + -104. Let v = 779/11 - a. Which is smaller: r or v?
v
Let v = 370.82 - 369.82. Which is smaller: -2/39659 or v?
-2/39659
Let l(u) be the third derivative of -37*u**4/3 - 14*u**3/3 + 15*u**2. Let q be l(9). Let v be 3/(10170/q) + (-276)/(-345). Which is smaller: 1 or v?
v
Let x be (4/1)/(-8)*(-558)/1. Which is smaller: 838/3 or x?
x
Suppose -25*o + 31*o - 30 = 0. Suppose -9*t = -4*t - o. Which is smaller: t or 1/31?
1/31
Let j be 4/14 - 208/(-56). Suppose -3*p + j*i + 41 - 111 = 0, -5*p + 2*i = 98. Let c = 13 - 32. Which is greater: p or c?
p
Suppose 0 = -a + z + 1678, 15*z = -5*a + 11*z + 8435. Is a equal to 1683?
True
Suppose -5*v + 4*q + 1145 = -922, 5*v - 2116 = -3*q. Is v < 426?
True
Let q = 349984 - 1417463/4. Do -4383 and q have different values?
True
Suppose -3994 = 3*c + c - 466. Which is smaller: c or -881?
c
Let h be 7690/(-15) - 22/(-22) - (-2 - -3). Which is smaller: -2/7 or h?
h
Suppose -2*p - 841 = -233. Let y = p + 575. Which is bigger: 272 or y?
272
Let r be 1 + 1 + (5/2 - 210/42). Which is smaller: r or -0.76?
-0.76
Suppose -11*a = -67 + 23. Suppose -i = -4*p + 8, -a*p + 6 = i + 14. Suppose -2 = y - 3. Is y < i?
False
Let n = -2.8 - -2.8. Let l = -25/266 - -51521/532. Is l less than or equal to n?
False
Let m be (19/(-60) + (7 - (-162)/(-24)))*-159. Is 1/3 >= m?
False
Let o = -386 - -298. Suppose 5*q + 4*d + 428 = 0, 3*d = q - 6*q - 431. Is o at most as big as q?
True
Let s(b) = -33*b + 85. Let h be 2/8 + (-121)/(-44) + -1. Let j be s(h). Let k(q) = q**3 + 7*q**2 + 6*q. Let t be k(-5). Which is smaller: j or t?
j
Let v be (1 + -2187)*((-430)/40 + 11) + -6. Which is bigger: v or -552?
-552
Let p be 4/(-5 + 3 - -33). Suppose 56 = 20*d - 104. Suppose d = 11*a - 3*a. Are p and a nonequal?
True
Let m(p) = -p**3 + 3*p**2 + 5*p. Let f be m(4). Let g(v) = -3*v**3 - 36*v**2 - 11*v - 118. Let z be g(-12). Suppose -22 = f*d + z. Which is bigger: -8 or d?
-8
Suppose -1849 = -4*j + 359. Suppose -14*m = -6*m + j. Let v = m + 79. Which is greater: 6 or v?
v
Let v be (-9)/6*(-4)/34. Let r be (4/(-10))/(-18 - (-1584)/90). Which is bigger: v or r?
r
Let i = 1468/2109 - 52/57. Which is smaller: -1 or i?
-1
Suppose 0 = 4*o + 3*u - 83, 2*u = 6*u + 12. Suppose 6*b - 7*b + o = 0. Suppose -33*l + 182 = -610. Is l equal to b?
False
Let p be 2/7 + 446406*(-16)/3640. Let u = -1962 - p. Let c = -97/520 - u. Is c bigger than 0.6?
False
Let c be (-3)/(-90)*2196/427. Let j = -21 + 20. Does c = j?
False
Let h be ((-14)/735)/(3/(-115461)). Let t = h - 733. Let v = -109 + 109. Do t and v have different values?
True
Let r be 3/(-5)*((-3146)/(-33))/13. Let m = -82 + 86. Suppose -m*g - 18 = 5*l + 15, l - 2*g + 1 = 0. Which is smaller: r or l?
l
Let b = -208 - -1874/9. Let i = -3.69 + 0.59. Which is bigger: b or i?
b
Let m = -54 + 21. Suppose 2244 + 1900 = -112*b. Which is smaller: m or b?
b
Let s = -475 - -479. Let j be s + 23/12 - 6. Which is bigger: j or 1?
1
Let r = 3.1 - 3. Let c = -1652.5 + 1649.4. Is c at least r?
False
Let l(x) = x**2 + 8*x - 2. Suppose -4*j = d + 12, 8 = 2*d + 2*j + 26. Let q be l(d). Let o = 4.759 + -3.359. Which is smaller: q or o?
q
Let a = -8570 + 7219. Is -2 at least as big as a?
True
Suppose -20*b - 7 = 15 - 2. Which is smaller: 2/2739 or b?
b
Let y be -1 + -2 + 18/2. Suppose 0 = k + 3*r - 19, -k + 4*r = 1 - 6. Is y at most k?
True
Let f = -15.306 - -96.306. Which is bigger: -0.32 or f?
f
Let c be (-3898203)/(-458662) + -9 + (1 - 2/4). Which is smaller: -2 or c?
-2
Let c = 293/30 + -154/15. Let i = 0.04 + -3.04. Which is bigger: c or i?
c
Let h(d) = -d**2 - 8*d. Let a be h(-8). Suppose -2*m + 3*n - 62 = 0, a = 2*m - m - 4*n + 31. Are m and -22 equal?
False
Let x = 373.24 - 371.24. Is x less than or equal to 0.05366?
False
Suppose -6*s = -12 + 6. Let k be (-3 - s) + (3 - 0). Let j be 39/(k + -2 + 4) + -1. Is 38 greater than or equal to j?
True
Let x be ((-7)/(147/24))/(2/(-7)). Suppose -x*f = -0*u + 4*u - 8, -4*u + 18 = 2*f. Let o be (2 - 1)/(u/231). Which is smaller: o or 34?
o
Suppose 5*y - 772 + 387 = -390. Which is greater: -118/61 or y?
y
Let a(f) = f**2 - 15*f - 6. Let b be a(15). Let i(c) = -c**2 - 6*c. Let q be i(b). Suppose -2*y - 27 = 4*z - z, -4*y = 4*z + 44. Are y and q unequal?
True
Let d be 0/(2/(-2)*2). Let m be d*(152/(-16) - -9). Is 2.3 greater than m?
True
Let m(h) = -h - 39. Let q be m(0). Suppose -4506 = -10*k + 2184. Suppose -27*j - 357 = k. Which is smaller: j or q?
q
Suppose 13951 = -48*m - 3928 + 887. Is m < -360?
False
Let b be (-317)/634 - (-3)/2. Do b and 4/1461 have different values?
True
Suppose 194 = -3*j + 26. Let m = 2251 + -2307. Is m equal to j?
True
Let l = -29 - -32. Suppose 