*g**2 + 203*g - 1533. Let p be w(8). Which is greater: -350 or p?
-350
Let c(g) = -g**2 + 8*g - 4. Let z = -69 + 77. Let d be c(z). Suppose -4*t - 2*o - 8 = -0*o, -4*t - 4*o = 4. Do t and d have the same value?
False
Let g be ((-6)/(-99))/(1/3). Let m = 23.2 + -23.248. Which is smaller: g or m?
m
Let q = 539 + -1615/3. Which is smaller: -3/56 or q?
-3/56
Suppose -5*q - 4*z = -29807, 3*z - 2933 - 8994 = -2*q. Let p = q + -1507629/253. Let v(y) = y + 7. Let w be v(-7). Which is bigger: p or w?
w
Let t be -2*(150/(-12))/5. Let h(j) = j**3 - 7*j**2 + 5*j - 6. Let g be h(t). Suppose -77 = 2*x - 13. Is g at most x?
False
Let c = -2.05 - -2.15. Let a = 88602/55 + -1611. Do a and c have different values?
True
Let a = -5599 + 5599.63. Which is smaller: a or 0.1?
0.1
Let j be (-18)/(-52) + 12/78. Let t = -38720/867 + -2/289. Let k = t - -44. Is j smaller than k?
False
Let r = 8 - 16. Let j be 0 + 0 + r + 5. Let c be -2*j/(-2) - -4. Which is smaller: c or -1/86?
-1/86
Let b(j) = -12*j + 2. Let q = -53 + 59. Suppose -2*r = -g - 7, -7*r = -g - q*r - 4. Let m be b(g). Are m and 41/3 nonequal?
True
Suppose -391*a + 17193 = -10438 + 2998. Which is smaller: a or 120?
a
Let d(j) = j**3 + 7*j**2 + 3*j - 8. Let h be d(-6). Suppose -5*g = -9*g + 88. Suppose -z + 55 = 5*u, 6*z = -2*u + 3*z + g. Which is smaller: h or u?
h
Let x be 33/22 + 1/2. Suppose -x*z = -9*z + 21. Let i be (-2 + z)*3*(2 + 6). Do 24 and i have the same value?
True
Let p = -2223 + 2222.9. Do p and 4332 have the same value?
False
Suppose 8*z + 9 = -3*j + 10*z, 4*j = -2*z - 12. Let i(f) = -f**3 + 3*f**2 - f + 2. Let q be i(j). Are q and 59 equal?
True
Suppose 8 = -260*f + 256*f. Which is smaller: -122/121 or f?
f
Suppose -154*g - 4605 = -150*g + 6431. Which is bigger: g or -2757?
-2757
Let p(b) = -94*b**2 + 5*b - 5. Let s be p(5). Let v be -4 + s/(-548) - 2/8. Let g = -961/1096 + v. Is 0 at least as big as g?
True
Let j = 13 - 10. Let v = 394 - 388. Suppose -10 = -2*r + 2*m, r + j*m - 5*m = v. Is r at most 33/7?
True
Suppose 5*o = -4*a + 2563, -a = 78*o - 76*o - 1024. Let v = o - 512. Which is smaller: v or -1/167?
v
Let z be (4 - 2177/(-3))/(30/(-90)). Which is smaller: z or -2188?
z
Suppose 290*c + 13 = 265*c - 12. Let p = 38/5 + -679/90. Which is bigger: c or p?
p
Let k be 1*((-544)/(-1120) + (-3)/15). Is k <= -826?
False
Suppose 102 = -2*z - 10. Let s(p) = 25*p - 44. Let d be s(4). Let j = z + d. Is j at least as big as -3?
True
Suppose -19 = -104752*l + 104771*l. Is l at least as big as 2/2611?
False
Let a = 247.92 - 253. Let d = a + 4.68. Is d != -9?
True
Let u be 3 - (21/3 - 9). Suppose 4*m = -u*a - 10 + 1, -3*a - 2*m = 5. Is a > 2/465?
False
Let m(r) = r**2 + 23*r - 68. Let b be m(-24). Suppose -74 = 2*p - 4*z, 3*p + 3*z + 120 = 6*z. Is p smaller than b?
False
Let p = 19.64 - -53.36. Which is greater: p or -23?
p
Let z(d) = d**3 + 27*d + 27. Let w be z(-1). Do w and 2/4971 have the same value?
False
Let w(m) = 409*m + 4498. Let g be w(-11). Which is smaller: -37/588 or g?
g
Let a(h) = 5*h**2 - 3*h + 3. Let s be a(2). Suppose 3*v + s = 2. Let q = 1886544 + -1886547. Which is smaller: q or v?
v
Let o be (-61268)/(-583) - (3 + 0). Let b = 45 + 57. Let p = o - b. Is -1 at most as big as p?
True
Let z(c) = -c**2 - 10*c + 8. Let j be z(-10). Let u be 1 + -5 - j/1. Let x = 16 - 27. Are x and u equal?
False
Let l = 6 - -2. Let d be ((-992)/52 - -10)*3/9*-3. Is d != l?
True
Let k be ((0 - -8) + -2)*((-46000248)/(-1586214) - 29). Which is smaller: k or -2/5?
-2/5
Let j = 375850151/35 + -10734644. Let k = -3932 + j. Is -1 smaller than k?
True
Let v = 19 - 14. Let c be (-5)/((-80)/(-12))*32/v. Let g = 111/20 + c. Is 0.1 not equal to g?
True
Let z be (-5 + 6)/((-9)/(-81)). Let h be (996/(-9))/((-6)/z) + 1. Which is smaller: 166 or h?
166
Suppose 0*o - 1 = -o - 2*z, o - 2 = -z. Let p(y) = -y**2 - 13*y + 27. Let n be p(o). Let x = 5 + -27. Which is smaller: x or n?
x
Let w be 2 + 5 - (-7 - -11). Suppose 0 = -w*g - 3*g + 6. Let f be g*3 - (-133)/(-57). Which is bigger: 0.3 or f?
f
Let d = 20 + -6. Let v = -13.55 + d. Let l = 6.45 - v. Is 0.3 >= l?
False
Let g be ((-2)/(-4)*0)/((-16)/2 - -7). Let j be (4 - -7)*(-2)/(-50). Which is greater: j or g?
j
Let k(b) = 4*b**2 - 40*b - 1371. Let z be k(24). Let u be (-32)/(-6)*3/21. Let d = u - 2/21. Which is smaller: z or d?
z
Let c be -13*(-2 + -1) - (-1 - 1). Let j = c - 41. Let y be (1/(-2))/((j - -1)/(-2)). Which is bigger: y or -3/28?
y
Let j = 5207 + -5210. Which is bigger: j or 28?
28
Let h(z) = 126*z + 24. Let g be h(-3). Let s = -355 - g. Is 265 <= s?
False
Suppose 0 = m + m - 14. Suppose 5*u - m*u - 16 = 0. Suppose -14 + 35 = -3*d. Which is smaller: u or d?
u
Let r be (-1)/((-1 + 4/3)/13). Let n = 50 + r. Suppose 14*g - 3 = n*g. Which is greater: -1/4 or g?
g
Let d = -1242 + 1282.608. Let l = d - 0.008. Let j = 41 - l. Which is smaller: j or 0.3?
0.3
Suppose -4*p - 1 = -3*p. Let h(s) = 18*s + 1. Let a be h(p). Suppose -295770*t + 295838*t + 1156 = 0. Are a and t non-equal?
False
Let r = 2312 + -2313. Is r greater than 370?
False
Let u = 78 + -51. Let i = 2 + u. Let z = 1243.8 + -1244.8. Is i bigger than z?
True
Let q be 2 + 13/(-6) - ((-3105)/162 + 19). Which is smaller: -2/4259 or q?
-2/4259
Suppose -28 + 10 = -3*h. Suppose 5*s = 3*g + 84, 2*g - h = 4*g. Let w be ((-5)/s)/((-1)/21). Is w at most 6?
False
Let v(d) = -2*d**3 - 38*d**2 + 45*d + 101. Let a be v(-20). Is a > 1/516?
True
Let c = -120 - -114.4. Let r = 12.6 + c. Are -1/3 and r non-equal?
True
Let j be (69/322)/((-60)/(-33502)) + 2/(-8). Which is smaller: j or 119?
119
Let z be (-3*(-2)/(-10))/(3968/620). Which is smaller: 1 or z?
z
Let y = 10719.12 - 10628. Is -0.1 smaller than y?
True
Let o = 146 - 66. Let m = 83 - o. Suppose 0 = -m*v - 25 - 14. Is v not equal to -13?
False
Let k be (-6)/(66/4829) + 1. Is -437 at most k?
False
Let y(p) = -p + 4 + 4 + 3. Let a be y(4). Let s = -147/2 - -79. Which is greater: s or a?
a
Let w = -3191/22 - -145. Let o = -1114 - -702. Let f = o - -413. Which is greater: f or w?
f
Let t(j) = 3*j**2 - 86*j - 15. Let i be t(21). Let b = i + 496. Is b equal to -13/16?
False
Let n(k) = 4*k + 136. Let d be n(-34). Let u be (4/16 - (-1 + 1)) + d. Is u less than or equal to 0?
False
Let q = -115.1 + 115.3. Let n be 6/((-198)/105) + 4. Is n at least as big as q?
True
Suppose 495*h = 505*h + 20. Let b(l) = -67*l + 2. Let d be b(-12). Let k = d - 4855/6. Are k and h nonequal?
True
Suppose 1 = -i + 4. Suppose -i*a - 2 = 1. Let b be (-24)/(-49)*(-645)/(-45) - 7. Which is greater: a or b?
b
Let l(o) = -o**2 + 23*o - 21. Let h be l(22). Let c be h*(-958)/(-28) - 6/(-21). Let g = c + -35. Which is greater: g or 18?
18
Let v = -167 + 170. Let f be (-4)/(-16) + 0/v. Is f < 72?
True
Let n = -213 - -241. Suppose 41 = -2*f + l, -5*f + 0*f = -l + 110. Let d = n + f. Is d < 1?
False
Let p = -0.4 + 15.4. Let y = 15.18 - p. Let h = 1052 - 1049. Which is bigger: h or y?
h
Suppose -83*i + 434 - 766 = 0. Is i <= 6?
True
Let z be (-4)/(-10) + 6/10. Let p be ((-23)/(-483))/((-28)/(-49)). Are p and z nonequal?
True
Suppose -77*y + 74*y = -12. Suppose p = -l + y, p + 5*l - 9 - 7 = 0. Is 10/11 less than p?
True
Suppose -26*w + 357 = -384 - 325. Is 45 greater than w?
True
Suppose 0 = 2*n + 2*n + 2*j - 74, -5*n = 4*j - 88. Suppose -99 = z + 49. Let s = z - -165. Is s > n?
False
Let n = -3127 - -9017/3. Let u = 121 + n. Is u at most as big as 0.304?
True
Suppose -r + 4*d + 5 = 2*d, -3*d = -5*r - 3. Let y be 555/(-10)*(-2 - 4/r). Let h = -38 + y. Are h and -3/23 nonequal?
True
Let m = 8378 + -8377.9. Is 4037 equal to m?
False
Suppose 38*x - 20055 - 418845 = 0. Is x at most as big as 11550?
True
Let i = -6026 - -6025.9409. Which is smaller: i or -6/11?
-6/11
Let m be (-9)/(-42) - (-1)/(-2). Let y(w) = -w**3 + 4*w**2 + w - 2. Let i be y(4). Suppose i = 5*l - 3. Is m smaller than l?
True
Let i(u) = -3*u**2 - 10*u - 5. Let q be i(-3). Let f be -4 - (10/q + 0). Does f = 4/39?
False
Suppose -4*a - 21*a = -5750. Let v = a + -203. Does v = 25?
False
Suppose 19 = -4*a - 3*q, -2*q + 23 = -2*a + q. Let p = 31 + a. Let y = 29 - p. Which is smaller: y or 6?
y
Let i be ((-7)/14)/((-14)/63364). Which is smaller: 2264 or i?
i
Let o be (3/(-82107))/((-2)/18). Is 1 less than or equal to o?
False
Let l(v) = -44*v**