 (-4)/70. Which is bigger: 1 or s?
1
Let u(a) = -7*a + 538. Let b be u(-22). Does 692 = b?
True
Let i = -212 - -292. Suppose 4*v + i = 84. Is v greater than or equal to -48?
True
Let z = -0.4 - -0.3. Let m = 0 + z. Let d = -405/14 - -57/2. Which is smaller: m or d?
d
Let t be (-199587)/(-280) + 440/(-55). Let l = 3524/5 - t. Is l less than or equal to -1?
False
Suppose 9017 = 3*x - 2*i, 0 = 3*x - 338*i + 333*i - 8993. Which is smaller: 15048/5 or x?
15048/5
Let t = 9952 + -5371. Let n be (1 + 11)/(8 + t/(-576)). Which is greater: 2 or n?
n
Suppose 56*j + 17*j - 1191 = -52802. Which is smaller: -708 or j?
-708
Suppose 4*j + 6 = -14. Let z be (0/(-33 + 68))/2. Which is greater: z or j?
z
Let d(s) = s**2 + s. Let u(q) = 2*q**2 + 3*q - 11. Let n(p) = 3*d(p) - u(p). Let b be n(-6). Let h = 33 - b. Which is greater: h or -13?
-13
Let h(t) = -5*t + 15. Let i = 2 - 10. Let j(z) = -3*z + 10. Let q(v) = i*j(v) + 5*h(v). Let f be q(7). Is -11 less than f?
False
Let w be ((-15)/(-54))/((-1)/3). Suppose 0 = -2*d + 3*q + 12, 3*q + 4 + 8 = -3*d. Let f be (d - (-5)/(-2))*190/475. Are f and w equal?
False
Let y = -9977.51 - -9936. Let h = 0.095 - -40.905. Let g = y + h. Which is smaller: g or -2/5?
g
Let p = -43 + 10. Let g(y) = y**3 + 35*y**2 + 73*y - 33. Let f be g(p). Which is smaller: f or -265?
-265
Let x = -14116 - -24167. Is x at most 10051?
True
Let o = 1 + -21. Let y = o + 25. Let d = 1 + y. Which is smaller: d or -2/9?
-2/9
Suppose 0 = 79*i - 26409 + 108174. Which is greater: i or -1037?
i
Let k be ((6/74)/3)/(1 + (-2610)/(-20)). Is k bigger than -1?
True
Let x = 3125 + -3130. Is x != -397?
True
Let t(b) = 35*b - 171. Let v = -730 - -723. Let a be t(v). Is a != -416?
False
Suppose 7*x - 36 = 8*x + d, 3*x = -5*d - 96. Which is smaller: -3 or x?
x
Let k = 174 - 231. Let g = -56 - k. Let r be (-48)/22*2/(-6). Which is greater: g or r?
g
Let z = 2430351/3830 - -55/383. Let k = 634 - z. Let a = k - -6/5. Is a less than 3?
True
Let h(p) = p**2 - 6*p - 3. Let k(c) = -c + 7. Let l be k(0). Let z be h(l). Let b = 25513 + -25519. Is z greater than b?
True
Suppose t + 1736 = -5*u, 2*u = -3*t - 286 - 398. Which is smaller: u or -349?
-349
Let h = 3820 + -3740. Let u(s) = 3*s**2 - s + 2. Let q(f) = -f + 1. Let i(a) = -2*q(a) + u(a). Let x be i(5). Is h != x?
False
Let w = -8210 + 8169. Which is smaller: w or 30?
w
Let n(d) = 6*d + 502. Let q be n(-50). Which is bigger: q or 2622/13?
q
Suppose -267*j + 527*j = 272*j - 384. Which is bigger: -17 or j?
j
Let i be (-49396)/(-636)*6/8. Is 2.1 greater than or equal to i?
False
Let l(g) = 3*g + 5. Let z be l(-3). Let m be ((-4)/32*z)/(4/28). Which is bigger: m or -29?
m
Suppose 62*u - 65*u - 2*y = 1322, u + 3*y = -457. Which is smaller: -424 or u?
u
Let f be 805/357 - (3/2)/((-22)/(-44)). Are 1 and f nonequal?
True
Let i = 454 + -418. Let k be (-1)/(-4) + 135/i + 6. Are k and 8 non-equal?
True
Let o = 1007.3199 + 10.5701. Let g = o - 1018. Which is bigger: g or 1.1?
1.1
Suppose -15*n - 12 = -9*n. Let h be (-3)/(3/n) - 69. Let t = h + 67. Is 3 < t?
False
Let t(m) = -m**2 + 9*m - 21. Let c be t(5). Is -2/1209 <= c?
False
Let f(z) = z**3 - 5*z**2 + 4*z - 2. Let x be f(4). Let b = 560 + -329. Let o = b + -228. Is x >= o?
False
Let p = 44 - 23. Let u be ((-18)/p)/(-3) - (-1171)/(-7). Is u less than -166?
True
Suppose 0 = 2*g - 2*r + r - 1, -g = 3*r - 11. Suppose 4*h + a = -3452, 679 = g*h + 2*a + 2405. Let q = h + 82849/96. Which is smaller: 0 or q?
0
Let w = 166/51 + -455/51. Is -12.3 at least as big as w?
False
Suppose 6*o - 10*o = -5*t - 139, o - t - 34 = 0. Suppose -o*w + 1217 = 4596. Is w <= -110?
False
Suppose 81 = 9*a - 0*a. Let u be (a - 11)*(-3)/2. Let j be (-1)/u - (-3)/((-225)/830). Is -11 >= j?
True
Let c = -17 + 79. Let x be (-3)/((-48)/1796) + (-2)/8. Suppose -x - 266 = -6*f. Is f <= c?
False
Let n = 1.921 + 11.079. Is 0.026 greater than n?
False
Let s(h) = -h**3 - 16*h**2 - 17. Let g be s(-16). Let i = -75154/4585 + -8/917. Which is smaller: i or g?
g
Let f(h) = -2*h + 9*h + 1 + 5 - 6*h. Let q be f(-7). Does q = -1/2?
False
Let c = -78 + 136. Let a(w) = -w**2 - 33*w + 15. Let l be a(-26). Suppose 5*g + c = -l. Which is bigger: -50 or g?
-50
Let p be -206 + 208 - (-3)/(477/(-291)). Which is bigger: 0.2 or p?
0.2
Suppose 4*o + 7 + 18 = -3*n, 27 = -4*n + o. Let x(z) = -z**3 - 6*z**2 + 5*z - 2. Let j be x(n). Which is smaller: 14 or j?
j
Let x = 2.6 - 0.6. Let r be 4*((-45)/10 - -5) - 6. Let z be 3/(-9) - (r - 244/(-96)). Do x and z have the same value?
False
Let q(z) = 193*z + 631. Let y be q(-10). Which is greater: -1300 or y?
y
Let y = 9 - -2. Let n(b) = -b**2 + 13*b - 1. Let r be n(y). Suppose -83*u + 4656 = 54*u + 57*u. Is r greater than u?
False
Let x = -189 - -46. Let q = -125 - x. Which is smaller: 53/3 or q?
53/3
Let t be (-1*3 + (-290 - -14))*576/32. Which is greater: t or -5019?
-5019
Let i be (-10624)/(-40) - 4/(-10). Let u be 16/40 - (-43911)/(-165). Let l = u + i. Is 1 at least l?
True
Suppose -5*k = -4*q + 20, 2*k + 16 = q - 2*k. Which is bigger: -379 or q?
q
Let j be (-15)/20*32*42/(-28). Let a be (-4 + -2)/((-4)/22). Which is bigger: a or j?
j
Suppose -6*k + 72*k = -36*k - 6426. Let u(i) = -16*i + 2. Let d be u(4). Which is bigger: d or k?
d
Let t(b) = -4*b + 1. Let j be t(4). Suppose -i - 5*x = 24, 7*i + 62 = -3*x - 42. Is j at most i?
True
Let r(k) = 2*k**2 + 10*k + 20. Let j be r(-8). Let s = -39 + j. Let f = 27 - s. Is 1/3 bigger than f?
True
Suppose -19*a + 24 = -15*a, 2*a + 2360 = 2*r. Which is greater: -7 or r?
r
Let s = 89 - 87. Suppose -307 - 8 = -o - 5*b, s*b = -10. Is 339 greater than or equal to o?
False
Let k(a) = a**3 - 4*a**2 + 8*a - 26. Let w be k(-10). Let o = w + 94876/63. Let t = 10 - 11. Which is smaller: o or t?
t
Let t(y) = 17*y**2 + 86*y + 12. Let l be t(-5). Suppose 0 = -u - 4*m - l + 3, 4*u = -4*m - 4. Which is bigger: u or 4/223?
4/223
Let d = 207 - 203. Let w be ((-4)/(-12))/((-3)/(-153)). Suppose i - 5*i + w = -j, j - 15 = -d*i. Which is smaller: -2 or j?
-2
Let g be ((-99429)/165 - -33)/(-2*(-2)/(-10)). Are g and 1424 unequal?
False
Suppose 0 = r + 18 - 18. Which is greater: r or -636?
r
Let p be 5 + (3 - 7) - 103. Let h = 93 + p. Is -9 smaller than h?
False
Let p(u) = 1 - 22*u**2 + 3*u + 2*u + 6*u**2. Let n be p(-2). Let t = 28 + n. Is t equal to -45?
True
Suppose 0 = 5*w - 124 + 314. Let o be (15/(-18)*4)/(w/3). Is o greater than -8?
True
Suppose 2*i + 5*w - 138 + 180 = 0, -5*i + 5*w = 210. Does -38 = i?
False
Let w = -800 + 769. Let a = 10 - 9.92. Let d = 0.92 + a. Is d < w?
False
Suppose -130 = 5*v - 10*v. Let b = -25 + v. Let q(g) = 11*g - 8. Let t be q(b). Are 2 and t non-equal?
True
Let c = 177.8 + -179.8. Is c at most as big as -671?
False
Suppose 13*c - 340 = -2*u + 14*c, u - 4*c = 184. Are 2/5 and u nonequal?
True
Let s be 0*(1 + (-16)/8). Suppose s = -5*d - 164 + 189. Which is smaller: 18/5 or d?
18/5
Let j(r) be the second derivative of -r**4/12 + 5*r**3/2 + 9*r**2 - 40*r. Let h be j(15). Suppose -9*y + 6*y - h = 0. Which is bigger: y or -2?
-2
Let y be 11 + (-14 - (-41 - -1)). Which is greater: y or 28?
y
Let d = -14457.5 + 14454. Does 34 = d?
False
Suppose -8*b + 4*b - 5*t = -10, -2*t = 7*b - 4. Which is bigger: b or -12/1285?
b
Suppose -6 = -2*s + 5*p + 9, 3*s - 3*p - 9 = 0. Suppose s = 4*b - 26 - 22. Let c be (-59)/4 - ((-45)/b + 4). Which is greater: 0.1 or c?
0.1
Suppose 21 = -4*k + 7*k. Suppose -k*d = -3*d - 16. Suppose -54 = -d*r - 5*r. Do r and 4 have different values?
True
Let b = 7 - -7. Suppose 4*g - 13 = 19. Suppose -2*k + 2*q = b, -k + g = 5*q - q. Are k and -3 nonequal?
True
Let c = 158 - 85. Let z = -69 + c. Which is smaller: z or 0.05?
0.05
Let s = 387 - 385.451. Let m = -70.699 + s. Let u = m + 69. Is 0.2 smaller than u?
False
Let f(r) be the second derivative of -r**5/20 + 11*r**4/4 - 39*r**3/2 + 14*r**2 - 17*r. Let z be f(29). Which is smaller: z or -2/11?
z
Let n = -9.4 - -9. Let p = n + 0.3. Let o = 75 - 75.4. Which is bigger: o or p?
p
Let c = 118 - 115. Suppose -21*n - c = -18*n. Is 4/31 <= n?
False
Let r(c) = -c**3 + 7*c**2 + 5*c + 1. Let i be r(8). Let k(y) = -6*y + 138. Let b be k(i). Is b smaller than 276?
False
Suppose 0 = r + 3*y + 1, -8*y + 28 = 5*r - 4*y. Let s be r/(-8)*(-5)/(-10). Let o = -9.3 + 1.3. Is s bigger than o?