 0*l - 2*r = 7, 0 = 5*l + 4*r + 13. Which is smaller: p or l?
l
Let h(m) = -m**3 + 13*m**2 + 38*m - 2. Let a be h(16). Is -160 smaller than a?
False
Let h = -15 + 17. Suppose 2*c + h*f = -10, -2*c = 2*c + f + 5. Which is smaller: 4/3 or c?
c
Let g = 397/5 + -79. Let f = g - 32/105. Do f and 0 have the same value?
False
Suppose -107 = -31*u + 544. Is u greater than 7?
True
Suppose 3*t - 444 = -0*t - 3*v, -4*t = v - 598. Suppose -i = -4*s + t - 54, -5*i - 2*s = 524. Is -104 at most i?
True
Let v(h) = h**2 + 2*h - 5. Let s(r) = -r**2 - r + 4. Let d(y) = 6*s(y) + 5*v(y). Let b be d(4). Let a be 2 - b - 6 - -5. Are 0 and a unequal?
True
Suppose o + o - 4*d = 2, -3*d - 26 = 2*o. Let a = o - -19. Are a and 13 non-equal?
True
Let a = 18 - 22. Let f be 165/10*a/(-6). Which is bigger: f or 12?
12
Let c be (-58)/6 - 15/(-9). Are 3 and c equal?
False
Let t(z) = 27*z + 28. Let m be t(-1). Are 6/137 and m equal?
False
Let s be (1 + -2)*3 - -4. Suppose -s = -3*q - v, -4*v + 0 = 5*q - 4. Suppose q = -25*y + 27*y. Which is smaller: 1/7 or y?
y
Let n = 64 + -64. Let l be -1*4 - (n - 13). Is l less than or equal to 4?
False
Suppose 0*z + 6 = 3*r - 3*z, 2*r - 1 = -z. Let h be (2/4)/((-13)/2). Are h and r equal?
False
Let c = -27 - -48. Let i = c - 22. Let f be 10/30 - (1 + -1). Is f at most i?
False
Suppose 5*c - 3*z - 22 = 0, 0*c + 4*z = c - 18. Suppose -3*s = -5*s + c. Suppose -3*q - 5*f + s = -0, 5*q = -3*f + 7. Which is bigger: q or 5/2?
5/2
Let m = 49/45 + -8/9. Is m bigger than 1?
False
Let q = -1994054553/70 + 293186103/10. Let i = q + -832050. Let v = i - 322/5. Which is bigger: v or 1?
v
Suppose -2*q + 2 + 6 = 0. Let s be 2 - 0/q - 6/9. Which is smaller: 1/3 or s?
1/3
Let y(c) = -c**3 - 2*c**2 + 4*c. Let i(j) = -j**2 - 4*j + 4. Let k be i(-4). Let b = k - 7. Let t be y(b). Is t less than -4?
False
Suppose -f - 2 = y + 2, 3*y + 13 = -2*f. Let l be (1/(-3))/(f/19). Which is smaller: -5 or l?
l
Let a be ((-14)/(-28))/((-1)/38). Suppose d + 8 = -11. Is d bigger than a?
False
Let i(h) = -11*h**2 + 5*h**2 + 2*h + 2*h**3 - h**3 - 4. Let m be i(6). Let o(z) = -z**3 + 8*z**2 - z + 5. Let f be o(m). Which is greater: f or -6?
f
Let n = 148.9 + -141.9. Which is bigger: -20 or n?
n
Suppose 0 = 99*u + 818 - 3491. Suppose 0 = -2*m + 29 + 25. Are m and u unequal?
False
Let m be (-7)/3*(3 + 36/(-4)). Suppose -77 = 3*p + 3*h - m, -h = 2. Is -19 at least as big as p?
True
Suppose 21 + 28 = 7*j. Let z be -1 + 5/j + (-60)/966. Is 1 at least as big as z?
True
Let p = 84 - -99. Is 1 less than p?
True
Let f = 251 + -346. Is -95 at most f?
True
Let q be (0/(7 - 5))/3. Is -2/671 greater than or equal to q?
False
Let g = 195 + -199. Which is smaller: -54/11 or g?
-54/11
Let b = 2828 + -155543/55. Which is greater: b or 1?
1
Let v(t) = t**2 + 15*t + 12. Let x be v(-19). Suppose -3*u - x = -2*k, 3*k + 53 + 55 = -3*u. Let a = u + 32. Which is bigger: a or 1/10?
1/10
Let w be (4/(-52))/((-73)/(-2)). Is w != -1?
True
Let o = -92 - -79. Is o bigger than 10?
False
Suppose 0 = -19*a - 7 - 12. Let i = 18/29 + -473/435. Is i at most as big as a?
False
Let t be (-150)/(-770) - 5/(-55). Suppose 5*y - 2*i = -7 + 1, i + 6 = -2*y. Let a be (-2 + 6/4)*y. Is t > a?
False
Let b = 19 + -102. Is -82 smaller than b?
False
Let l = 9 - 3. Suppose l + 0 = -3*s. Which is bigger: -12 or s?
s
Let b be 2 - 0 - (-24)/(-3). Let d(j) = 4*j - 24. Let f(v) = 3*v - 16. Let u(s) = -5*d(s) + 7*f(s). Let r be u(b). Which is smaller: -0.1 or r?
-0.1
Suppose -8*b = -10*b + 58. Let y = b - 31. Which is smaller: 3 or y?
y
Suppose 3*w - 19 = 5*m, 10*m + 4*w - 18 = 13*m. Are m and -22/9 equal?
False
Let h = -62.26 + 62.4. Are 53 and h equal?
False
Let s be -6*-1*1/6. Let y = -3.6 - 0.4. Which is smaller: s or y?
y
Let c(o) = -3*o**3 + 5*o**2 + 51*o - 12. Let f be c(-5). Is 233 less than f?
False
Let s be 0/(6/(-9)*3). Let k = -24 - -31. Suppose k*t + 3 + 4 = 0. Do s and t have the same value?
False
Let r = -1524 + 1509. Suppose 2*a = 5 + 1. Which is smaller: a or r?
r
Suppose 3*s + s = 0. Let b = -3058907/39270 - -2363/30. Let p = b - -26/119. Is s equal to p?
False
Let q(y) = -4*y - 3. Let g be q(-6). Let h = -18 + g. Suppose -10 + 4 = h*u. Which is greater: -1 or u?
-1
Let l be ((-1)/(-4)*-6)/(4/8). Let b be ((-16)/5 - l) + 12/260. Is b at least 0?
False
Suppose 39*a + 0*a + 1092 = 0. Which is bigger: a or -31?
a
Suppose -83*q + 10 = -78*q. Is q less than or equal to -4?
False
Let y(d) = d**3 + 16*d**2 + 8. Let k be y(-16). Suppose -48 = 5*l - k. Is l <= -8?
True
Let p be (0/(-4) + -3)/((-12)/612). Which is smaller: p or 151?
151
Let p = -0.94 - 0.06. Let a be (-16)/80*(-1)/(-3). Is a at least p?
True
Let p = -4 - -2. Let z = 257 - 256. Is z bigger than p?
True
Let t = 53 - 85. Let v = -34 - t. Let s be -1*2*2/(-4). Is v at most s?
True
Let g = 108 - 70. Suppose -4*m + 6 + g = 0. Let z be -1 + (-48)/(-5) + 560/1400. Which is greater: z or m?
m
Let y = 111 + -107. Let k = 4.238 + 0.062. Let v = k - y. Is -4/5 at least v?
False
Suppose 0 = f - g - 3, -2*f + 4 = g + 1. Suppose f*l = 2 + 8. Suppose 6*w = 3*w - 2*c - 3, 0 = l*w + c - 2. Is w != -1/4?
True
Suppose 0 - 8 = 2*x. Let k = -11164/2391 - -2/797. Are x and k unequal?
True
Let c(g) = -g - 1. Let x be c(-6). Suppose x*m = 5 - 95. Which is bigger: -17 or m?
-17
Suppose 0 = -3*c + 1 + 2. Suppose 0 = 4*a + 7 + c. Let z be (-4)/a*8/16. Is z less than or equal to 1?
True
Let y be (0 - 3)*(-4)/24. Let v(s) = -s - 10. Let j be v(-12). Do j and y have the same value?
False
Suppose 0 = -4*t + t - 5*z - 32, 3*t = -4*z - 34. Let h be (t/6)/((-10)/(-12)). Is h at most -2?
True
Let z = 314 + -308. Suppose 31 = 5*w - 0*w + 4*d, -d = -3*w + 22. Which is smaller: w or z?
z
Let g be 400/(-24)*1/((-25)/30). Which is bigger: 51 or g?
51
Let c be 8/15*(-5 + 10/20). Does 7 = c?
False
Suppose 38 + 70 = 6*j. Suppose 15 = -5*f + 5*r, -3*f = 4*r - 1 - j. Is f greater than or equal to -1/26?
True
Let u be (-36)/28 + 2/7. Suppose 0 + 21 = b - 3*i, 3*b - 5*i = 43. Let z be ((-4)/(-6))/((-14)/b). Which is greater: z or u?
z
Let x = 219 - 8539/39. Suppose -k - 3 = -4*m, -k = -3*m + 2*m. Which is smaller: m or x?
x
Suppose 3*u - 2*u = q + 24, -q = -2*u + 51. Suppose 4*t + 15 = 4*f - 13, 0 = 5*t - 3*f + u. Suppose 3*m = s - 9, 0 = 5*s - 20 + 5. Does m = t?
False
Let d = 0.3 - 0.4. Let o = 13.9 - d. Let x = o - 15. Which is smaller: 4/5 or x?
x
Suppose u = 4*k - 2090, 2604 = 5*k + 6*u - 3*u. Which is smaller: k or 521?
521
Let i = 55 + -55. Suppose i = -2*x + 11*x - 297. Which is smaller: 34 or x?
x
Let y be 5 + (-90)/(-21) - 6/21. Which is smaller: y or 10?
y
Let t = 23 - 2. Suppose o + 12 = t. Is 10 greater than or equal to o?
True
Suppose 2*o - 8 = 4*l - 0*l, -l - 2 = 4*o. Suppose 2 = -p - 3*v + 3, -p - v - 5 = o. Is p at most as big as -10?
False
Let c(i) = -i**3 + 15*i**2 - 13*i - 14. Let z be c(14). Suppose z = -21*j + 26*j + 10. Which is smaller: -5/7 or j?
j
Let s be (0 + -1)/((-122)/102118). Let z = 837 - s. Which is smaller: -1 or z?
-1
Let d = 175 + -110. Let b = -64.9 + d. Let c = -37 + 22. Which is smaller: c or b?
c
Let t = -164 + 162. Which is smaller: 0.37 or t?
t
Suppose 5*q - 66 = -4*b, 3*b + 73 = -2*q + 7*q. Suppose -s - 8 = -5*o, 3*o = o - 5*s + q. Suppose -o*h + 7*h + 5 = 0. Is -2 > h?
False
Let u be (-1577)/(-171) - (2 - 32/18). Suppose 3*b - 42 = -0*b. Let j = -6 + b. Which is greater: j or u?
u
Let h = 33.3 + -33. Is 101/5 at most h?
False
Let p = 0.9 - 0.1. Let d = -0.75 - -0.05. Let w = d + p. Is w greater than 4?
False
Suppose 18 = -y + 5*n, -7 = 4*y - 4*n + 1. Let z be 3 + 16/(-4) + 4. Are z and y unequal?
True
Let i = 2 - 2. Let y(x) = -x**3 + 7*x**2 - 2*x + 7. Let m be y(7). Let a be (-7)/(-70)*m/((-14)/(-12)). Is i smaller than a?
False
Suppose -11*y = -10*y - 3. Suppose 2*n = -0*s + y*s - 11, 14 = 2*s - 3*n. Which is smaller: -7/5 or s?
-7/5
Suppose f - 3*f = 0. Which is greater: 103 or f?
103
Let w = -0.0901 + 0.2221. Is 2 <= w?
False
Let z = -1048/9 + 111091/954. Which is smaller: 1 or z?
z
Let o be (-2)/10 + (-31)/(-5). Suppose -3*t = -o*t. Let y = -5 + 5.4. Do t and y have different values?
True
Let o = 0.083 + -61.083. Let v = -73 - o. Which is bigger: v or -1?
-1
Let h = -22 - -17. Suppose 0*x + n = 4*x + 24, -3*n - 5 = -x. Is x != h?
True
Let b be ((-126)/(