*s - 25 = 5*m. Suppose -67*o = 270 - 69. Do s and o have different values?
False
Suppose 6*j = -4*l + 5*j - 34, 0 = -4*l - 3*j - 30. Which is smaller: l or 9?
l
Suppose 3*q - 4 = -13. Let f = 1 + q. Is -6/5 at least f?
True
Suppose 5734 = 45*l + 2*l. Is 128 <= l?
False
Let t = 3/6353 + -997442/44471. Is t at least -21?
False
Let j be (-1 + (-10)/(-4))/13. Let q be (-65)/91 + 20/28. Is j greater than or equal to q?
True
Let g(s) = 9*s**2 + 90*s + 124. Let y be g(-9). Suppose 190 = 5*v - 25. Is y < v?
False
Let i = -33 - -20. Let l = 12 + i. Let p be (4/32)/(l/(-3)). Which is greater: p or 1?
1
Suppose -34 = 4*t - z + 3*z, 3*t - z = -23. Let p be 6/t + (-32675)/(-36). Let a = 906 - p. Is a greater than or equal to 1/2?
False
Let u = 1077 + -1076. Which is smaller: 0.348 or u?
0.348
Let v = 1 + -1.2. Let i(a) = 100*a - 4. Let r be i(5). Let m = r - 5452/11. Is v less than m?
True
Let d(o) = -3*o + 2. Let y be d(2). Suppose -2*a + 3*x = -5*a - 270, -4*a - 357 = 3*x. Let q = 80 + a. Is q less than or equal to y?
True
Let r = 1628 + -570. Which is smaller: r or 1059?
r
Let r be (-40)/(-45) + 4/(-18). Let g(l) = l**3 - 8*l**2 - 6*l - 16. Let t be g(9). Which is bigger: t or r?
t
Let o = 34 + -8.5. Let b = -0.234 - -26.234. Let s = b - o. Are s and -1 non-equal?
True
Let z = -10 - -13. Suppose 0 = 3*y + 4*n - 12, 2 + 6 = 2*y - z*n. Suppose 3*w - y*g + 25 = 0, -g = -4*w - 0*w - 16. Which is smaller: 2 or w?
w
Let v(c) = c**2 + 10*c + 5. Let t be v(-9). Let f be (-264)/81*3/t. Is 3 not equal to f?
True
Suppose 2*r - 4*y = 8 - 0, 4*y + 8 = -2*r. Let o(c) = -2*c - 15. Let a be o(-10). Suppose -a*m = -5 - r. Which is smaller: m or 3?
m
Let p = 24 + -21. Suppose -p = -2*d + 15. Are d and 9 equal?
True
Let x = 6 + -6.07. Let a = x + -0.01. Suppose 8*y + 7*y + 15 = 0. Which is bigger: y or a?
a
Let p = 37.91 - -0.09. Let l = p + -87. Which is smaller: -0.1 or l?
l
Let u be 1*2 + 220/(-121). Let g be 2 + (-1)/1 + 0. Suppose 5*d + 6 = g. Which is bigger: d or u?
u
Let a be ((-3)/406)/(184/(-56) + 3). Which is greater: -1 or a?
a
Let l be (-2)/(-594)*(-22)/(-11). Which is greater: 1 or l?
1
Suppose -3*b = -4*v + 274, -3*v + 0*b - 3*b + 195 = 0. Which is greater: v or 66?
v
Let j = 667 + -4797/7. Which is bigger: j or -19?
j
Suppose -2*x - 2 = 0, -m + 8*x - 3*x = -10. Let h = 5 - 3. Are m and h equal?
False
Let o = 26 - 19. Suppose 7*s = -0 - o. Is 2/11 at least s?
True
Let v = -8 - -35. Suppose -7*f = 22 + v. Which is bigger: f or -13/2?
-13/2
Let f = -13412/3 + 4432. Which is smaller: f or -38?
f
Suppose 27 - 26 = -i. Let g be 70/(-60) - (i + 0). Is g less than or equal to 7?
True
Suppose -9*a - 4*a = 793. Is a != -61?
False
Let n(c) = -c**2 + 2*c - 75. Let w be n(0). Let v be (-3)/(-6) - w/(-162). Is 1 not equal to v?
True
Suppose 13*o - 15*o + 96 = 4*o. Let x be (4/3)/(3/36). Is o >= x?
True
Let o(w) = -144*w - 551. Let d be o(-5). Is d >= 167?
True
Suppose 0 = -4*l + 50 - 10. Let v = -39/4 + l. Which is smaller: -18 or v?
-18
Suppose -5*l + 5 = 0, -4*x = -5*l + 4*l - 79. Suppose -4*f + x = 5*w, -w - 4*f = -3*w - 20. Is 2/37 at most w?
False
Let y = -271/4 - -67. Let g be ((-15)/20)/((-2)/(-32)). Let x = -13 - g. Is x < y?
True
Let y = -5 + 6. Let j(q) = -5*q**2 + 13*q - 9. Let k be j(8). Let b be (60/k)/(4/10). Is b greater than y?
False
Suppose 3*h - f = 107 - 14, 93 = 3*h - 4*f. Let z = h - 30. Is z > -1?
True
Let b = -431/1302 + -1/434. Which is smaller: 328 or b?
b
Suppose -81 = -4*o - 0*z - z, -5*o + 3*z + 114 = 0. Suppose 3*b + o = 9. Let i be (-1*(b - -6))/(-4). Is 2 at least i?
True
Let u be ((-12)/28)/(2/(-1 - 217)). Which is bigger: u or 47?
47
Let m(t) be the third derivative of -t**5/60 - t**4/4 - 7*t**2. Let c be m(-6). Is c at least 2?
False
Suppose -g = -13 + 5. Suppose m - 3*m = -g. Let z be -3 + m + 1/3. Is z at least 2?
False
Let z = -1 + 1.1. Let l(a) = a - 9. Let m be l(11). Suppose c = -m*c + 5*b + 9, 3*b - 25 = -2*c. Is c < z?
False
Let n = 10 + -9. Suppose 2 + n = m. Suppose 1 = m*f - 5. Is 4/5 greater than f?
False
Let j be 45/(-6)*((-34)/(-6) + -5). Let z = 21 - 10. Suppose 5*m = z - 31. Is m greater than or equal to j?
True
Suppose 0 = 3*i - 2*a + 7*a - 1658, 4*i = -5*a + 2214. Is i smaller than 555?
False
Let h = -259.041 - -259. Is h < 3?
True
Let d = 41 - 31. Suppose -3*r + 4 = 2*w - d, -2*w = r - 6. Let g be -4 + (224/12)/r. Which is smaller: -8 or g?
-8
Suppose -5*p + 2*p + 12 = 0. Suppose 0*b - p*v - 19 = -b, -b + 5 = 3*v. Is b less than 11?
False
Let a = 414304/19 + -21811. Which is greater: -6 or a?
a
Suppose -2*b + 11 = 2*l - 9, -4*l + 22 = -2*b. Let g be (-12)/42 + 128/l. Which is bigger: g or 19?
19
Let n be 4/6 + 3/(-9). Let a = -29 + 27. Let g be (128/60 + a)*3. Which is bigger: g or n?
g
Suppose 217*d = 227*d + 1260. Which is bigger: -125 or d?
-125
Let a = -279 + 228. Is a at least -53?
True
Let f be 32/(-288) + 12788/(-90). Which is smaller: f or -142?
f
Let h = 0 - -2. Let s = h + -10. Let u = -2 + s. Is u at most as big as -10?
True
Suppose -h + 22 = 4*r, 3*r = 2*h - 5 + 16. Let c(i) = 3*i**3 - 3*i**2 + 5*i - 1. Let t be c(h). Are t and 22 nonequal?
True
Let g(i) = -9*i + 2. Let o be g(-2). Let f be 408/o - (-2)/(-5). Suppose -q - 3*p = -f, -4 = 2*p - 3*p. Which is smaller: 9 or q?
q
Let c = -276 + 104. Let m = 170 + c. Is m less than -3?
False
Let q = -23 + 26. Suppose 5 = 5*o, -2*w = -o + 2*o - q. Let x be 2/w*(-20)/8. Are -5 and x unequal?
False
Let r(w) = 247*w - 53. Let b be r(2). Which is bigger: 440 or b?
b
Let g(m) = 2*m + 3. Let t be g(-4). Which is bigger: -3 or t?
-3
Suppose 3*v = -c + 24, 2*v - 4*v - 4*c = -6. Suppose -f = 2*n - 10, 12 + 3 = n - 2*f. Let w = v - n. Is w greater than or equal to 0?
True
Suppose d + 49 = -48*d. Which is smaller: d or 2/125?
d
Let m = 125/4 + -36. Let v be (-1)/3 + (456/(-18))/(-19). Which is smaller: v or m?
m
Let v = 1.56 + -1.86. Which is smaller: v or 110?
v
Let k(j) = 1. Let o(p) = -p + 2. Let d(l) = -5*k(l) + 2*o(l). Let z be d(1). Which is bigger: z or -13/5?
-13/5
Let x(i) = i**2 - 7*i + 4. Let l be x(7). Suppose -s - 44 = 3*p + 2*p, s - 5*p = -l. Let m be (-1)/(-3) - (-8)/s. Which is smaller: 6/5 or m?
m
Let c = 60 - 49. Suppose c*w = 14 - 3. Which is smaller: -2/129 or w?
-2/129
Let r(q) be the second derivative of q**4/12 - 3*q**3/2 - 11*q**2/2 + 15*q. Let n = -2 + 12. Let h be r(n). Which is smaller: 7 or h?
h
Let b(r) = -r - 5. Let x be b(-4). Let s = -16.46 + 16.36. Which is greater: s or x?
s
Let a be (-4)/(-2) - 3822/112. Let w = 347/8 + a. Which is bigger: 10 or w?
w
Let c = 256026/509 + -503. Are -1 and c unequal?
True
Let j(g) = -2*g**2 + 20*g - 18. Let s be j(9). Which is bigger: 12/83 or s?
12/83
Let d = -33 - -22. Let n(x) = 6*x - 1. Let q be n(1). Suppose 0 = q*b + 27 + 23. Which is greater: b or d?
b
Suppose -4*s - 200 = -2*s. Let g = s + 1399/14. Let x = -182 - -181. Is x > g?
False
Suppose 0 = 5*n + d - 310, 0 = 4*n + 3*d - 137 - 111. Suppose 310 = 4*c + c. Do c and n have different values?
False
Let h = 15.11 - 0.11. Let f = 2 + -14. Let i = h + f. Which is greater: i or -0.2?
i
Let m = 1766 - 1771.9. Are -2/19 and m unequal?
True
Suppose -4*t - 3*m - 118 = -5*m, 0 = -5*m + 5. Which is smaller: t or -31?
-31
Let y = -1 + -1. Let h be 3 + (-588)/(-124)*-1 - y. Is h greater than or equal to -1?
True
Let u be (56/24)/(2/(-6)). Suppose -5*g + 25 = 5*y, -2*g - 5*y = -5*g + 7. Which is smaller: g or u?
u
Let b be (-45)/(-3)*(-6)/255. Suppose -2 = 5*d + 3. Is b at least as big as d?
True
Suppose -269 = 4*i - j, 0 = -3*i + 5*j + 92 - 315. Let m = i - -114. Let y be 349/68 - m/(-408). Is y smaller than 6?
True
Let p be (-5 + -1 + 0)*1/(-417). Which is smaller: p or -1?
-1
Let g = 714 + -714. Do g and -2/351 have the same value?
False
Let u = 4 + -2. Suppose 0 = h - u*h - 6. Let k be (-8)/h*3/(-10). Which is bigger: 0.3 or k?
0.3
Let n be -4*(-5)/((-25)/20). Let c = n + 14. Are c and -6/5 non-equal?
True
Let d(w) = -w**2 + 7*w + 113. Let u be d(-8). Is -36/5 greater than or equal to u?
False
Let v = 4 + 1. Let a = 33 + -7. Suppose 2*g = -10, -g - a = -5*w - 1. Is v not equal to w?
True
Let g be -5*((-36)/10)/(-6). Let v be 0*(4/(-6))/((-2)/g). Let c = 33/17 + -3101/1615. Which is smaller: c or v?
v
Let l = 31 - 34. Let x be l/(-9) - (-112)/(-21). Is x