ppose -n*g - 1 = -6*g. Is g < 2?
True
Let i = -8080 - -7799. Is i smaller than 6?
True
Let b(v) = 4*v**2 - 30*v + 17. Let q be b(8). Let j = 2.6 + -2.6. Is j greater than or equal to q?
False
Let l = -4/83273 - -233494/1393740201. Are l and -0.1 equal?
False
Suppose -19*x + 421 = -15*x - u, 0 = 5*u + 5. Which is smaller: x or 730/7?
730/7
Let h(s) = -s**2 - 6*s - 17. Let f be h(-3). Let o be 24/f*(-12)/9. Suppose -x = -o*w - 45 - 47, x + 62 = -3*w. Is -21 less than or equal to w?
False
Let q = -2.176 - 91.014. Let h = -93 - q. Which is greater: h or 0?
h
Let r(a) = -2*a**3 + 16*a**2 + 4*a - 28. Let y be r(8). Suppose -2*l + t - 246 = 0, -3*t = -y*l + t - 488. Is -125 not equal to l?
True
Let u = 24986 + -29183. Which is greater: -4198 or u?
u
Let b = -207 - -334. Let j = 0.00826 + -0.10826. Which is greater: b or j?
b
Suppose -2897 = -29*m + 6557. Let b = m + -142. Which is smaller: b or 183?
183
Suppose -22 = -2*y + 4*o, 9*y - 4*o = 8*y + 23. Does y = -2/1607?
False
Suppose -2*g = 3*g - 25, -2*d = -2*g - 28. Let y = 5 - d. Let f = -24 - y. Is f greater than or equal to -9?
False
Let y = 5627 - 5624. Which is smaller: 161/39 or y?
y
Let c(g) be the first derivative of 35*g**4/4 + g**3 + 3*g**2/2 + 5*g + 143. Let b be c(-2). Which is smaller: -270 or b?
-270
Let m(l) = -96*l - 4. Let a be m(6). Let r = a - -34216/59. Suppose 3 = 396*w + 196*w + 3. Is r >= w?
False
Suppose 2*l + 3*h + 30 = -10, -l - h - 20 = 0. Let i be ((-2)/l)/((-16)/(-20)). Which is smaller: -12 or i?
-12
Let h = -704 + 489. Let u = h - -203. Is u less than or equal to -2?
True
Suppose 3*m - 3 = 3*p, 2*m - p + 26 = 27. Which is smaller: m or -2?
-2
Suppose 6*d - 3*d - 13520 = 19*d. Is d at most -1691/2?
False
Suppose -11*b + b - 4660 = 0. Let q = 418 + b. Which is smaller: q or -55?
-55
Suppose 0 = -5*y - b + 157, 0 = -5*y + 4*b + 57 + 115. Let m be 0 - (-2)/(-2)*-3. Suppose m = -k + 36. Are y and k non-equal?
True
Let k be ((6516/(-10))/9)/((-4)/5). Let p = 91 - k. Which is greater: 0.63 or p?
0.63
Let r(g) = -4*g**2 + 43*g + 275. Let x be r(-5). Are 65 and x nonequal?
True
Let s be (-2)/(4688/(-7034)) + -3. Let h(f) = -18*f - 109. Let v be h(-6). Which is bigger: v or s?
s
Let v be (56/420 - (-146)/30) + 19. Suppose 0 = -v*q + 15*q. Do -1/13 and q have different values?
True
Let j = 53694.11 - 53694.1. Let a = -24 + 3. Is j less than or equal to a?
False
Suppose -2*a + 5 = -2*c + 5*c, 3 = 3*c. Let o = 361 - 510. Let s = 1047/7 + o. Which is smaller: s or a?
s
Suppose 69*y - 15 = 74*y, -y = -3*c - 213. Suppose -213 - 284 = 7*m. Which is smaller: c or m?
c
Suppose -5*k + 2 = -3. Suppose 2*y - 166 = 38. Let s be (90/y)/((-3)/(-2)). Which is smaller: k or s?
s
Let g = 1567 - 1568.27. Is g greater than -4/11?
False
Suppose 181*d = 68*d. Is d less than 7/73?
True
Suppose 0 = -2*b, 0 = -4*v - 4*b - 4 + 16. Let c be (9/v)/(-45)*(-7 - 2). Suppose 235*m - 238*m = 21. Is m greater than c?
False
Let x be 2 + (-1 - (3 - 4)). Suppose -6*q - 1 = x*k - 9*q, 0 = 2*k + 4*q - 6. Which is greater: 3/62 or k?
k
Let i be 9*(-26)/(-39) + 1114/(-10). Let g = 107 + i. Which is bigger: g or -24/7?
g
Suppose -2*z = -7*y - 1587, -3*z - 34 - 173 = y. Suppose u + 71 + 153 = 0. Do y and u have the same value?
False
Let w = -2617191/92 - -28448. Let z = w + -1/4. Which is bigger: z or 1?
1
Suppose 11*h = 20*h. Let u be (-14)/(-21) - (-1 + 2 + h). Let b = 35 + -178/5. Which is greater: b or u?
u
Let t be 5/10 + 1750/(-150). Which is smaller: -4 or t?
t
Let t = -1632 + 3027. Let f be t*(3/(-6)*4)/(-5). Is f != 559?
True
Suppose 22*i + j + 1845 = 19*i, 0 = -5*i - 5*j - 3085. Let x = 617 + i. Let z = 9 - 16. Is x != z?
True
Let c = 163.704 + 0.296. Let y = 165 - c. Which is smaller: 0.161 or y?
0.161
Let v be 0 - -12*(-1)/1. Let h be 101/v + 21/28. Suppose -56 = -19*l + 26*l. Which is bigger: l or h?
h
Let v = 6 - -32. Let o = -72 + 33. Let g = o + v. Which is smaller: 12 or g?
g
Suppose 0 = 22*r - 41 + 239. Let n be ((-2)/r - 86/387)/1. Let u = -59 - -42. Is u at most n?
True
Suppose -2*w - 4*l = -6 + 2, -2*l + 4 = 0. Let g be (3 + -1)*(-2)/w. Let o = -506.03 + 507.23. Do o and g have different values?
True
Suppose -l - 4 + 6 = 4*o, -5*l = -4*o - 106. Suppose -19 = -3*c - 5*p, -13 = 17*c - l*c - 5*p. Is 23 not equal to c?
True
Let x(q) = 25*q + 1265. Let z be x(-33). Are 440 and z equal?
True
Let m = -195946/246225 - -146/1225. Which is smaller: 0 or m?
m
Suppose 12*h - 26 = -98. Let a be (-8 - 608/(-72)) + 2/h. Let w = -5 + 3. Which is smaller: w or a?
w
Let d be (-14 + 7 + 38/2)/(92/6). Let x be (0 - 1)*3/3. Let j = x - -2. Which is bigger: j or d?
j
Let v = 2 + 4. Let g = v - 7. Let u = 628.9 - 629. Which is smaller: u or g?
g
Let o = -19985/104 + 2360/13. Is o != -0.6?
True
Let i = 2352.9 + -2353. Which is smaller: i or -194?
-194
Let v = -33 + -5. Let b = -6355.01 + 6393. Let d = v + b. Which is smaller: d or 1?
d
Let u = -674 + 727.8. Let y = u - 56. Let x = y - -0.2. Which is smaller: 0 or x?
x
Let l = -10800 - -10787. Let t(v) = -v**2 - 5*v - 5. Let x be t(-9). Let q = 27 + x. Which is greater: q or l?
l
Let h be 2 + 51/(12/(-4)). Suppose 11*u + 44 + 209 = 0. Let g be u + (-6 - (-11 + -1)). Is h > g?
True
Let i = 3.01 + 19.99. Let p = i + -21. Does p = -39/2?
False
Let u = -15 - -21. Suppose -4*b = 2 - u. Is b not equal to 2/143?
True
Let u = -9.858 + 9.9. Let g = 0.958 + u. Let w(c) = -c**2 + 10*c. Let y be w(11). Which is greater: g or y?
g
Let r(z) = -z**2 - 5*z + 2. Let f(v) = 6*v**2 + 24*v - 11. Let b(p) = -2*f(p) - 11*r(p). Let t be b(3). Suppose 358 = 5*w - t. Which is smaller: 0 or w?
0
Let k(s) = -s**2 + 12*s + 15. Let m be k(13). Suppose -m*w = -5*d - 33, -2*d = 3*d + 15. Suppose 0 = 3*h - 6 + w. Which is smaller: h or 2/19?
h
Let m = 7678 + -23032/3. Is m equal to -2/835?
False
Suppose -2*i - 2*i - 2*c = -92, 0 = -3*c + 12. Suppose 2*x = 5*r + i, -r + 4*x - 7 = 5*x. Which is greater: -1 or r?
-1
Let p(k) = 199*k**2 - 10*k - 11. Let f be p(-1). Let r = -157 + f. Is 43 smaller than r?
False
Let c(z) = 2*z**3 + z**2 - 2*z + 3. Let r be c(2). Suppose -1187 = 4*h - 5*v, -4*h + 125 - 1316 = -v. Let g = h - -316. Which is greater: r or g?
r
Suppose -254874 = -539*k + 325*k. Which is greater: 1194 or k?
1194
Let u be (3 + -7155)/8*2/(-6). Suppose 0 = 3*t + p - 230, 4*t + 6*p - 9*p = u. Is t greater than or equal to 309/4?
False
Suppose -2*a = 37 - 41. Let q be 5 + -2 - 106/a. Let z be 2*15/q*(-15)/(-6). Which is greater: z or 17?
17
Let j(q) = -57 + 7*q + 4*q**3 + 63*q - 14*q + 172*q**3. Let d be j(1). Which is greater: d or 177?
177
Suppose 14 = 5*r - 46. Suppose -4*x - v = -95, 0 = v - 0 - 3. Let b be x/4 - 5 - 17/r. Which is bigger: b or 1/4?
1/4
Let b = -2 + -2. Suppose -292 = -5*q + 3*r, -q + 119 = q + r. Let d = 55 - q. Is d <= b?
True
Let j = -8 + 10. Let d(z) = -z**3 + 22*z**2 + 14*z**2 - 37*z**j + z + 5. Let i be d(0). Is i bigger than 7?
False
Let q = -266.857 - -267. Let f = -4.857 - q. Which is greater: -20 or f?
f
Let d = 1.12 + -0.42. Let c(x) = -x**3 - 17*x**2 - 17*x - 28. Let g be c(-16). Which is bigger: d or g?
d
Let n(t) = t**3 + 8*t**2 - 4*t - 2. Let c be n(-6). Let m = -78 + c. Let u be m/12 + 24/(-18). Which is greater: u or -1/167?
u
Suppose 11*f - f = 0. Suppose -b + 24 - 10 = f. Is b equal to 17?
False
Let p = 547.2 + -723. Which is smaller: -0.2 or p?
p
Let c(t) = t**2 - 16*t + 81. Let a be c(7). Let z(o) = o**3 + 6*o**2 + o - 2. Let u be z(-5). Let l = 1 + u. Is l greater than or equal to a?
True
Let x be (-2)/(-45)*(-4)/(-8). Suppose -3 = t + 4*w, -8 = 2*w - 2. Suppose -5*h + 4 = 5*s + t, -2 = 2*h - 5*s. Which is bigger: h or x?
x
Let p = 86199/5020 - 181/251. Let q = p - 81/5. Let g = -0.5 + 8.5. Is q equal to g?
False
Let z be -3*(-122)/(-305)*(0 + 150). Let m be 4/10 - 1794/10. Which is smaller: z or m?
z
Let p be 0 - (3 - (-1 + (7 - 3))). Suppose 0 = -p*y - y - y. Which is smaller: 1/774 or y?
y
Let b = 0.71 - 0.82. Suppose -70*v - 2205 = -245. Is b less than or equal to v?
False
Let j = 0.0263 + 0.3037. Let h = 0.025 - -0.405. Let o = j - h. Which is smaller: -0.03 or o?
o
Let a = -1318.9 + 1364.9. Which is smaller: -11 or a?
-11
Suppose 25 = -h - 3*h - s, 0 = h + s + 7. Let f be (25/(-2))/5*(-18)/15. Suppose -5*x = f*x + 56. Are x and h nonequal?
True
Let k =