Let q = g - -464. Is q equal to -80?
False
Suppose -463 = -11*d - 2212. Let b = -159 - d. Is b at least 10/13?
False
Let m = 68072/153 - 3766/9. Is 26 at most as big as m?
True
Let c = -1004 + 1003.329. Let i = c + 0.221. Which is greater: i or 0?
0
Let b(x) = x**3 + 3*x**2 + x - 1. Let h be b(-2). Suppose -5 = 5*q - z, -5*z - h = -3*q - 4. Let a be 16/60*-12 + 3. Which is smaller: a or q?
q
Suppose 13*f + 44 - 5 = 0. Let c be (29/f)/((-176)/288). Does 15 = c?
False
Let f = 13785 - 14463. Which is smaller: -2/3 or f?
f
Let o = 238.0951 - 0.0951. Let f = o - 237.8. Which is smaller: 318 or f?
f
Let j be (-12)/2 - ((-2505)/195 + 8). Which is smaller: j or 0?
j
Let d = 3878 - 3934. Which is greater: -57 or d?
d
Suppose -3*l = -3*g - 243, -10*l = 2*g - 6*l + 192. Is g equal to 1?
False
Let h = 12.35 + 1.75. Let y = h - 14.2. Which is smaller: -90 or y?
-90
Suppose -8*q + q = -133. Let v = -54.927 + -0.073. Let c = -58 - v. Which is greater: q or c?
q
Let z = 4.6 - -1.4. Let c = 535 - 535.569. Let b = c - -0.169. Which is smaller: z or b?
b
Let y = -17204.9 - -17205. Suppose 5*v = 683 + 77. Is y not equal to v?
True
Let c be 494/(-130) + (-2)/10. Let x be ((-13)/156)/((-17)/(-813)) - c. Is 0 greater than or equal to x?
False
Suppose 0 = 3*w - 2*r, -4*w - r - 6 = 5. Let m be (-3)/12 + (-3)/12*w. Is 0.2 at most m?
True
Let b be -77*(13 - 134/10). Is b equal to 32?
False
Suppose 183*k - 92*k = 40*k. Is k not equal to 4/5671?
True
Let m(c) = -2*c**2 - 24*c - 9. Let d be m(-11). Suppose -20*o + 21 = -d*o. Is o at most 13?
True
Let v be (-4)/46*(-2)/86. Let t be ((-1159)/95 - -12)*5. Which is greater: t or v?
v
Let y = 742.61 - -7.39. Let n = y + -781.4. Is n less than or equal to 1?
True
Let n = -7895 + 7896. Is n greater than -12/2771?
True
Suppose 443*t = 46*t. Is -2/8509 < t?
True
Let r(g) = -g**2 + 4. Let z be r(0). Let i be z/10 - (-760)/(-25). Let b = i - -29. Is b greater than or equal to -2/91?
False
Let u = 0.1179 + -8.8279. Let z = 10.1 + u. Is 1 >= z?
False
Suppose 16*s - 12*s = -20. Let t be (-38)/56 - (s + 19/4). Are -1 and t nonequal?
True
Let m = -73/5 - -15. Let v = -683/910 + 7/65. Let f = v + 8/7. Which is smaller: m or f?
m
Let x be (-4)/(-14) - ((-2878044)/(-529529))/19. Is x bigger than 1?
False
Let z(s) = -14*s**2 - 2*s - 9. Let n(c) = 33*c**2 + 4*c + 19. Let r(j) = 3*n(j) + 7*z(j). Let m = 5 - 8. Let d be r(m). Is d equal to 10?
False
Let i = 1427 + -4283/3. Is i smaller than -129.7?
False
Let n be 8/48*(-8)/(-10). Let q = -123 - -122.868. Let c = -0.072 - q. Is c < n?
True
Suppose 4*r - 2 - 26 = 0. Suppose 2*d - 1 = r. Let c be 22/(-5)*1/d*1. Is -2 >= c?
False
Let p be 6/(-51) - 15/17. Let u be p/(-6) - 7/6. Let l be (-225)/(-231) + 3 + (u - 3). Are l and 1 non-equal?
True
Let w = 0.117 + 0.883. Let j = w + -1.063. Which is smaller: j or 0.2?
j
Let h = 523 + -480.9. Let x = h + -22.6. Which is smaller: -1/2 or x?
-1/2
Let p be ((-4)/7)/(12/(-42)). Suppose -5*r = -4*c + 20, 7*c = -p*r + 4*c + 15. Which is smaller: 2/319 or r?
r
Suppose 0 = 4*t - 3*t + 118. Let c = t - -142. Suppose -2*r = r - 78. Is r <= c?
False
Suppose -4*p - 34 = 18. Let o = -41 - -26. Do p and o have different values?
True
Suppose -5*s + 0*g = g + 73, -5*s + 2*g = 79. Suppose 2*c = 5*r - 27 - 55, 5*c + 4*r + 40 = 0. Which is bigger: s or c?
s
Suppose 0 = -2*i + 5*j + 884, 313 = i + 2*j - 111. Let v be (-6)/14 - 8/14 - i. Which is smaller: v or -434?
-434
Let u = -816479/127 - -6429. Which is smaller: u or -1?
-1
Let m(h) = -3*h - 34. Let y be m(-21). Suppose 8 = 31*x - y*x. Suppose -2*u + 4*o + x = -7*u, -4*u = 3*o + 4. Which is smaller: -22/5 or u?
-22/5
Let n = 3056/45 - 658/9. Suppose 27*w + 23*w + 245 = -55. Which is bigger: w or n?
n
Let x be 6/(-2)*(7 + 48/(-9)). Let n be x - (-7)/((-21)/(-15)). Suppose -4*f - c - 39 = 0, -49 = 4*f - c - n*c. Is f greater than or equal to -5?
False
Let a = -524016.963 + 523635. Let j = a + 382. Is j at most as big as 2/7?
True
Let l(k) = 0*k**3 - k**2 + 2 - 2*k + 0*k**2 + 2*k**3. Suppose 23*v - 17 = 6*v. Let u be l(v). Do u and 5/24 have the same value?
False
Let r = -30 + 52. Let k = 21 - r. Let i = -2973 + 71353/24. Is k not equal to i?
True
Suppose 99*h - 101*h + 7630 = q, -h + 3793 = -5*q. Is h greater than 3813?
False
Let b be 2/(-7) + 1/(273/(-48)). Which is smaller: -9.1 or b?
-9.1
Let k be ((-80)/6760)/(84/9). Which is bigger: -1 or k?
k
Suppose 3 = -3*p + 3*c - 0, 3*p + 2*c = 2. Let m be (-5)/(20/8) - (4 + 0). Let s be (m/(-9))/(3 - -1). Is p <= s?
True
Let i be (2/4)/(83/(-4)). Suppose -5*z - 216 = 2*x - 183, 0 = 6*x + 4*z + 22. Which is greater: i or x?
x
Suppose -5*n = 5*o + 2080, 4*n - 842 = 6*n + 4*o. Let i be ((-3090)/(-20))/((-6)/16). Which is greater: i or n?
n
Let w = 28649 - 28199. Which is greater: w or 463?
463
Suppose -2*l - 484*o = -487*o - 13, -25 = 5*o. Is l smaller than 7/2426?
True
Suppose -4*l - 16 = -4. Let q(t) = 9 + 9 - t**2 + 4*t**2 - 16 + t**3. Let b be q(l). Are b and 13/6 unequal?
True
Suppose -5*h + 20 = 15. Let t be 3 + 446735/(-6195) + 2/(-6). Let j = t - -486/7. Which is bigger: j or h?
h
Suppose -113 = -n - 2*n - 4*r, 5*r + 60 = 2*n. Suppose -n = -t - 36. Which is bigger: -4/95 or t?
-4/95
Let y be 756/5490*(-100)/(-520). Is y greater than -1?
True
Let q = -205973/11 - -18691. Suppose -4*s + 87 = 4*o - 45, o + 35 = s. Let w = s + q. Is 1 smaller than w?
False
Suppose -440 = i + 3*i. Let j be (12/5 - 3) + (-86)/i. Which is greater: 32 or j?
32
Let l(z) be the first derivative of -z**4/4 + 11*z**3/3 - z**2/2 - 19*z + 13. Let u be l(11). Let n be 4/u - 74/120. Which is greater: n or 0.04?
0.04
Let r be (-404)/(-6)*6/4*-3. Let g = 465 + r. Which is smaller: 161 or g?
161
Let v be (-8)/((-16)/(-10)) + 390. Let x be (-1106)/v + 3 + 2/(-10). Which is smaller: 0 or x?
x
Let z be 1 + -230 - 4/2. Let o be (171/1 + 3)/(753/(-1004)). Are z and o nonequal?
True
Let x be (-95)/1330 - (-86)/28 - 93. Suppose r = 5*p - 0*r + 444, 5*p + 4*r = -449. Is x equal to p?
False
Let d = 73443.8 + -73449. Let k = -0.32 + 0.02. Is k > d?
True
Let v = -0.053 - -0.053. Let w be (3 + 6)/(3/4). Let j = w + -12. Does v = j?
True
Suppose 0 = 149*h - 25069 + 61285 + 103993. Which is smaller: h or -939?
h
Suppose k - 2 = 5*f, 7*k = 5*k - 4*f - 10. Do k and 0.74 have the same value?
False
Let a = -37 - -31.6. Let m = a + -8. Let v = m + 14.13. Are v and -1 non-equal?
True
Suppose 0 = p - 3*z - 29, 0 = -3*p + p + z + 43. Suppose -33*l - 35 + 629 = 0. Let c = l - p. Which is bigger: c or -7/8?
-7/8
Let t = -40 - -36. Let a be -12*14/t - (0 + 0). Let k(p) = -3*p**3 + 4*p**2 - 5*p - 7. Let z be k(-2). Which is smaller: a or z?
a
Let t(c) = 3*c**2 - 19*c - 24. Let l be t(12). Let r = -179 + l. Is 12/19 < r?
True
Suppose 0 = 13*m + 16 - 55. Suppose m + 92 = k. Which is bigger: 96 or k?
96
Suppose 3*i + 3 = -b - 1, -4*i - 7 = 3*b. Let t = 22005/1119052 - 3/3508. Let s = -392/13079 - t. Is s bigger than i?
True
Suppose 1574*p - 1548*p - 1170 = 0. Which is greater: 14 or p?
p
Let c(a) = -a**3 + 17*a**2 - a + 22. Let b be c(17). Suppose -2*w = b*v - 0*w - 222, 0 = -v - 2*w + 46. Is 47 at most as big as v?
False
Let d be 42/111*(-45)/(-30). Let x = 981/1924 - d. Is x >= -1?
True
Let i = -4978 + 5194. Which is smaller: 6 or i?
6
Suppose -20*s = 13*s - 792. Let m = -1 - -7. Suppose -2*l = -6, m*h + 4*l = 2*h + s. Which is smaller: h or -1?
-1
Let j = -31770 - -31771. Which is bigger: j or 3/358?
j
Suppose 0 = -5*c + 4*j + 303 - 272, 4*j = -4*c + 32. Let q(s) = -s**2 + 8*s - 4. Let p be q(6). Which is smaller: c or p?
c
Let b be 3/(-7) - (24/(-36))/(14/(-8466)). Are -404 and b non-equal?
True
Let u be (23 + 187)*-1*1/(-1). Let l = u - 70. Let y be (-68)/l - (-1)/5. Is -0.1 less than y?
False
Let p = 25468342/509 - 50036. Which is smaller: p or -1?
-1
Let v be 7904/88 + 2/11. Suppose 0 = -21*y - 62 + 1973. Which is smaller: y or v?
v
Let c be ((-2)/2)/((-18)/2979). Are c and 167 equal?
False
Let p = 15677 - 783807/50. Is p <= 0?
False
Let o(l) = 9*l**2 + 38*l + 71. Let f(g) = g**2 + 2*g + 1. Let i(j) = -6*f(j) + o(j). Let n be i(-6). Is -2 less than or equal to n?
True
Let u = -113 + 111. Let l be 46/(-8)*(0 + u) + 4. Is 1/3 > l?
False
Let q = -3.29 - 0.31. Let p = 44.6 + q. Suppose -81*j - 900 = 819*j. Is p less than j?
False
