 = -22.746 - -2.906. Which is bigger: g or -0.1?
-0.1
Suppose -3*z = -c - 496, -4*c + 710 = -4*z + 2646. Which is smaller: c or -477?
c
Let k = -901 + 906. Suppose -5*v - 3*l + 57 - 40 = 0, -v + 21 = k*l. Do v and -2/667 have the same value?
False
Let h = 356 - 368. Let n be 2079/(-294)*(-14)/h. Which is smaller: -0.4 or n?
n
Let p = 101 - 42. Suppose v = 61 - p. Suppose v*q - 4*g = -0*q + 186, -3*g - 6 = 0. Is q greater than 89?
False
Let y = -98 + 86. Let j(q) be the third derivative of -q**6/120 - q**5/5 + q**4/12 + 4*q**3 - 11*q**2. Let w be j(y). Are -1/66 and w unequal?
True
Let a = -3313 + 23189/7. Is a at most as big as -1.989?
False
Let g = -0.806 + 0.306. Suppose 4*k = 3*s + 2*k + 46, 2*s - 3*k + 39 = 0. Is g less than s?
False
Let v = 1026 - 1020. Let t(m) = 7*m**2. Let j(c) = c**2 - 3*c + 3. Let o be j(2). Let a be t(o). Which is bigger: v or a?
a
Let j = 3.62 + 42.58. Let n = -46 + j. Is n smaller than 26/5?
True
Let i = -115 + -42. Which is bigger: 21 or i?
21
Suppose 0 = 74*o - 77*o + 6. Suppose n = -3*u - 16, -5*u + o*u = 3*n + 24. Let s be (2 - 25)*(8/u)/(-2). Is -23 not equal to s?
False
Let o = -4512 + 7121. Which is bigger: o or 2610?
2610
Let h = 10289.01 + -10289. Is h at least 2/3?
False
Let r be (148/10)/((-16)/(-160)). Let a = r - 149. Which is greater: -1/38 or a?
-1/38
Let u be (2/(-6))/(165/(-81) + 2). Let o = u - 3. Let f(s) = s**2 - 6*s + 9. Let k be f(o). Are 7 and k unequal?
True
Let h = 18207 - 16776. Is 1436 <= h?
False
Let c(l) = 2*l + 34. Let z be c(-11). Let a = -119 - -134. Let i be z/a - 5/(-25). Which is greater: i or 3.8?
3.8
Suppose 12*s = -25*s + 185. Suppose 3*n = t - 343, 0 = -s*n + 5*t - 7*t - 557. Which is greater: -111 or n?
-111
Let m(k) = -549*k - 3844. Let z be m(-7). Is z at most -13/1067?
True
Let t(h) = h**2 + 7*h - 12. Let o = -117 - -109. Let s be t(o). Which is smaller: -16/5 or s?
s
Let g(j) = -j**3 - j**2 + j. Let f be g(0). Let h(s) = -45*s**3 - 2*s**2 - 2*s - 1. Let r be h(-1). Let d = -41 + r. Is f > d?
False
Let c(b) = 2*b + 3. Let j be c(-4). Let g = j - -6. Let v = -303 + 5153/17. Which is smaller: g or v?
v
Let q = 0.143 - -111.857. Let f = 117 - q. Suppose 2*i - 5 = -1. Is f less than i?
False
Suppose -4489 = 3*o - 3*k - 4540, o = -5*k - 85. Let x = -301/180540 + -1/3060. Is o greater than or equal to x?
True
Let x = -2.2445 + 2.1445. Which is smaller: x or -965/6?
-965/6
Let x = 253.8 - 249.8. Let o = 59/33 - -577/231. Do o and x have the same value?
False
Suppose -2*r + 159 = 4*z - 11, 4*r = z + 349. Let g = 85 - r. Let n be (5/g - -2)*2. Which is bigger: -21/10 or n?
n
Let t be (-32)/(-12)*-3 - -205. Let d(p) = -2*p**3 - 9*p**2 - 16*p - 7. Let k be d(-6). Is k >= t?
True
Suppose -2*t + 13 + 3 = 0. Let k = t - 2. Let y be (k/(-5))/((-2)/5). Which is smaller: 13/6 or y?
13/6
Let t(o) = -3*o**2 - 3*o - 3. Suppose -k + 5*n - 23 = 0, 2*k - k + 5*n = 17. Let s be t(k). Suppose -w - 100 = 4*w. Which is smaller: s or w?
s
Let y = 251 - 221. Let v be (y/(-1230))/(14/(-4)). Is 0 at most v?
True
Let b(n) = n**3 + 6*n**2 + 5*n + 14. Let k be b(-4). Suppose 0 = -17*m + k*m - 1251. Is 139 at most as big as m?
True
Let c(i) = i**3 - 3*i**2 + 2*i. Let k be c(1). Let q be (k + 1)*(3 + -1 - 3). Which is bigger: 1/184 or q?
1/184
Let w be (42/49 + -1)/((-68)/(-8) + -9). Is -3603.7 <= w?
True
Suppose 879*h - 863*h = 416. Is 47 greater than h?
True
Let u = -4504 - -1004. Do u and -3499 have the same value?
False
Suppose 0 = -3*x + 51 - 45. Let d be x*39*(-1)/(-6). Is d at most 14?
True
Let w = -941496/47 + 20004. Is -29 greater than or equal to w?
False
Let h = 37431/440 - 681/8. Which is bigger: 4 or h?
4
Let y = -105 - -112. Let r(k) = -2*k**2 + 16*k - 17. Let j be r(y). Let t be j/12 - 495/(-108). Which is smaller: 3 or t?
3
Let c = 124 + -75. Let n = c + 40. Suppose 5*r + 105 = -0*f + 5*f, 4*f = -r + n. Which is smaller: 21 or f?
21
Let a(s) = -s**3 - 125*s**2 - 127*s - 371. Let h be a(-124). Let y = -72235/7 + 10169. Let i = 150 + y. Is h at least i?
True
Suppose -2*b + 2*q - 400 = 0, -2*b - 3*q + 7*q = 410. Let l be (19/(57/2))/b. Do -1 and l have different values?
True
Let u = 18257 + -19013. Are u and -753 unequal?
True
Let h = -1920 - -1100. Let f = 728.1 + h. Let w = 95 + f. Is w bigger than -1/2?
True
Let t be (-3)/12 - (-143)/(-4). Suppose 0 = 3*u + 3*s + 81, 3*u - 124 = 3*s - 247. Is t less than u?
True
Let w be 0 - (-7 - (9 - -135)). Is w at least as big as 454/3?
False
Let x = 0.13481 + 3821.86519. Which is smaller: x or -2?
-2
Let z = -7580/9 + 844. Suppose 3*w = 3*d + 3, -4*d - 3*w - 1 + 11 = 0. Which is smaller: z or d?
d
Let v = -514 - -513. Let z = 31 - 31.28. Let j = z + 2.28. Which is smaller: v or j?
v
Let f(t) = -t**2 - 7*t + 140. Let r be f(0). Suppose 159*x = r*x - 608. Let a(v) = -4*v**3 + v**2 - 3*v + 1. Let u be a(2). Which is greater: u or x?
x
Let z = -326 - -328.05. Let n = z - 2.03. Which is greater: n or 0.13?
0.13
Let j be (-20)/(-3) - (-4)/(-6). Suppose j*t - 130 = 26. Is 26 less than or equal to t?
True
Suppose -12*l - 3142 = 1766. Let v = l - -406. Which is bigger: -2 or v?
-2
Let d be (10/210)/((1/8)/(6/(-8))). Let t be (-1)/(-1)*(-416 - 15/(-5)). Is d greater than t?
True
Let i = -11863 - -11862.8. Which is bigger: 706 or i?
706
Let r be (2/6 - -1)/((-12)/(-36)). Suppose -17 = -7*d + r. Suppose d*h + 26 = 4*t, -2*t + 11 = -2*h - 3. Do 5 and t have the same value?
True
Suppose -c + 57 = -4*z, -5*c - 4*z - 69 = -330. Suppose -49*w + 116 = -c*w. Which is greater: -2 or w?
-2
Let h be (-9 - 15/9)*-111. Which is smaller: 1187 or h?
h
Suppose 5*z + 77 - 12 = -5*n, -z - 43 = 4*n. Suppose -4*o - 16 = -4*m, -m + 12 = 4*m - o. Let p be -7 - m - 4/(-12). Is p at most as big as n?
False
Let k(b) = 84*b - 10. Let u be k(3). Let r = u + -164. Let g = r + -49. Which is bigger: g or 30?
30
Suppose 38127 = 61*c - 84270 + 16806. Which is greater: c or 1732?
1732
Let w(u) = 30*u**2 + 8*u + 9. Let c be w(-1). Suppose -c*v + 2163 = 6844. Is -149 > v?
True
Let d(g) = -g**3 - 10*g**2 - 5*g - 47. Let b be d(-10). Suppose o + b*z = 5*z - 10, 0 = -z + 2. Let y be (2 - 3)/(-1)*-9. Is o less than y?
False
Let i be (30/(-570) - 2/(-38))/(0 + 1). Let w(u) = -u**2 + 4*u + 3. Let h be w(5). Let o be (h*14/(-32))/(-1). Is i greater than o?
True
Let l = -237 + 261. Suppose l*n = -14443 + 2635. Are -491 and n non-equal?
True
Let n = 51.3 + -54. Let h = n + -15.3. Let b = -350 - -350.1. Which is greater: h or b?
b
Suppose 5*b + 31*g - 35*g - 473 = 0, -3*b + 5*g = -302. Which is smaller: 94 or b?
b
Let j = -6207 - -3399. Is j < -2807?
True
Suppose 15*h = -17*h + 38*h + 78. Which is smaller: h or -21?
-21
Let r(z) = -54*z + 593. Let l be r(11). Which is bigger: l or -9/133?
-9/133
Let x be (-144)/20*((-15)/20*-470)/1. Do x and -2537 have different values?
True
Suppose -2*i + 14162 = -7*l + 6*l, -3*l = 2*i - 14154. Suppose i = 27*t - 3*t. Is 295 at least as big as t?
True
Suppose 0 = -l - l + 3*r + 799, 0 = l + 4*r - 416. Let x = l - 404. Which is bigger: 1/16 or x?
1/16
Let t = -14324 - -57295/4. Let i = -0.008 - 173.992. Which is smaller: t or i?
i
Let s be ((-1)/(1/74))/(-2). Let o = s - 37. Suppose z = -t - 3*t + 31, o = -3*z + t + 93. Is z not equal to 30?
True
Suppose -755 = 26*d + 388 + 1483. Which is bigger: d or -13?
-13
Suppose 0*c + 176 = 4*c. Let b(q) = -11*q**2 + 8*q + 5. Let g be b(-3). Let t = g + 164. Which is smaller: t or c?
c
Let x = 16486 - 22673. Is -6187 bigger than x?
False
Let s = 14.96792 - -0.03208. Is s at most -87?
False
Let v = 548/3 - 3842/21. Let o be 1*(-1 - 4)*-1. Suppose -3*d + o*s - 69 = 0, 69 = -4*d - 4*s + 3*s. Which is smaller: d or v?
d
Suppose 8*f + 26111 = 26055. Let h(d) = 5*d + 11 - d**3 - 4*d**2 - 2*d**2 + 4*d. Let g be h(f). Is -1 at least as big as g?
True
Let o = -75 - -42. Let g(l) = -l**3 + 7*l**2 + 23*l + 16. Let j be g(9). Suppose -2*a = j + 3. Is o equal to a?
False
Suppose 0 = 2250*x + 1450*x + 92500. Suppose -i + 4 - 9 = 0. Let b be (-10)/(-1)*i/2. Is x at least b?
True
Suppose 0 = 2*b + 12, 1897*y - 30 = 1901*y + 5*b. Is y <= -1459?
False
Let h be (152/6)/((-72)/(-162)). Let w be (h/(-38))/((-3)/(-2)). Is -202 >= w?
False
Suppose 0 = -19*l - 32 + 127. Suppose 410 = l*n - 15*n. Is 4 equal to n?
False
Let y be ((-1900)/600 + (-2)/(-3))*(