Suppose 6*k = 5*k - 2. Let b be k/((-30)/7)*99/(-22). Let v = -13 - -11. Which is bigger: v or b?
v
Let n = -652/7 - -1942/21. Is n greater than or equal to 1675?
False
Let s be 20202204/(-10077243) - 2*-1. Let t = s - 1/1633. Is t not equal to -1?
True
Let t = 870 + -166. Let f = 703.2 - t. Which is smaller: f or -1?
-1
Let q be (2992/154)/((-10)/(-14))*-5. Let b = -313 - q. Which is greater: -1 or b?
-1
Let v(q) = -227*q**2 - 12*q - 7. Let l be v(2). Let y = -942 - l. Is -11/6 equal to y?
False
Suppose 0*c - 3*c + 3*o = -1707, -3*c + 1728 = 4*o. Suppose c = -7*b + 20*b. Are b and 224/5 unequal?
True
Let f be -4 - ((-65)/12 - 1/4). Let n = f + -37/6. Is -4 equal to n?
False
Let s = -718.7 + 759. Let d = -1.62 - -1.72. Which is smaller: d or s?
d
Suppose -11*l - 7097 = -47*l + 13063. Which is smaller: 555 or l?
555
Suppose 2*w = 4*l - 16, 4*w + 5 + 7 = 4*l. Let r = 0.11681 - 3.71681. Which is greater: r or w?
w
Let r = 14634 + -365862/25. Is r >= 6/11?
False
Suppose 0 = 3*g, -24*a + 26*a = g - 28. Let s be a/16 + (1 - (-3 + 1)). Suppose 3*u - 5 = -2*u. Which is smaller: u or s?
u
Let m = -11.7 + -0.3. Let n be 30/(-9)*(-5)/((-50)/36). Let t be 36/15 + (n - -10). Is m at least t?
False
Suppose -3*m - n + 900 = 0, 5*n - 339 = -2*m + 261. Let g be (-1 - 100/(-104))/(1/m). Which is smaller: -12 or g?
-12
Let j = -8 - -7. Let a be 4 + 0 - (-2 - 1). Let m be a/(-11)*6 + 144/36. Is j >= m?
False
Let y(r) = r**3 - 2*r**2 - 3. Let b be y(3). Suppose -z = -b*z - 10. Let w = 3.1284 + -0.1284. Is z >= w?
False
Let z = 4105342/45 - 91225. Let r = z - 146/9. Which is smaller: r or -11?
r
Let a = -635/28 + 89/4. Suppose -3*k = -4*l - 907, -4*k = 2*l - 0*k + 448. Let u = 226 + l. Are a and u equal?
False
Let v = 706 - 1058. Let a = v + 351.7. Is 16 smaller than a?
False
Suppose o = -0*o + 3*o. Suppose o = -4*d + 3*z + 1, 3*d - 61 + 24 = -5*z. Suppose 28 = d*w - 2*y, 3*y = -11 - 1. Which is smaller: 9 or w?
w
Let o be 1/2*(-122 - 6). Let s be (o/(-32))/((-2)/(-4)) + -3. Which is smaller: s or 85?
s
Let q = 57 + -58. Let m = -19123/14946 - -68/53. Is q greater than or equal to m?
False
Let o be 0/(17/8 - (-57)/(-456)). Which is smaller: o or -1132?
-1132
Let b = 12315 + -9384. Is b > -1?
True
Let g = -289 - -384. Let m = -138 + g. Which is smaller: 2 or m?
m
Let p(l) = -l**3 - 17*l**2 - 15*l + 17. Let t = 54 + -70. Let g be p(t). Suppose 0 = -2*x + x - g. Which is smaller: -1/27 or x?
x
Let p(i) = -i**2 + 14*i - 23. Let s be (-468)/13*(-2)/6. Let g be p(s). Suppose -b + 9 = t - g, 3*t - b = 46. Which is smaller: t or 16?
t
Let d(r) = -r**2 - 5*r + 26. Let o be d(0). Let f be 1/(3/12) - o. Is f at least -2?
False
Suppose 4*x = -23*x - 178*x + 703150. Is 3432 less than x?
False
Let d = -184.37 - -346.377. Let v = d + -0.007. Is 1/4 greater than v?
False
Let h be (2 - (0 + 4))*-1. Suppose -5*t - 35 = h*t. Let c be (-30)/25*t + -1. Is 6 less than c?
False
Let v = -760.2 + 587.2. Which is smaller: -43 or v?
v
Let y = -3167 - -3166. Which is smaller: -2/3891 or y?
y
Let s = 34.622 - 860.622. Is -0.06 at least as big as s?
True
Let d = -169 - -70. Let p = -0.56 - -29.56. Let c = 29.1 - p. Is c less than d?
False
Suppose 0 = -11*j + 2*j + 9. Suppose u - j = 21. Suppose -4*c + u = -6. Which is smaller: c or 6?
6
Suppose 3 - 1 = m. Let z be (-3*m/(-12))/(1/(-132)). Let h be (-258)/4 - ((-9)/(-1))/18. Is h < z?
False
Let d = -144.1 + 142. Let y = -6.1 - d. Which is smaller: y or -2/3?
y
Let t = 54 + -54. Let k be (t + (-64)/104)/(1*6). Let l = -1 + 1. Which is smaller: l or k?
k
Let u(r) = -200*r**2 - 3*r + 3. Let m be u(1). Let w be (-80)/m + 412/(-1025). Which is smaller: 0 or w?
w
Let t be (2/3)/((1/(-3))/(-1)). Suppose 11*p = 13*p - t. Let v(q) = 15*q**2 - 2. Let d be v(p). Is d not equal to 12?
True
Let m = 28 + -16. Let d = m - 15. Let o = -5.9 + 5.6. Is d equal to o?
False
Let l(x) = x**2 + 17*x + 27. Let u be l(-10). Let g = -4107/2 - -2011. Is g >= u?
True
Suppose -7*g + 63 = 28. Suppose 5*p + g*z - 299 = 131, -4*z = 3*p - 259. Is p at most as big as 85?
True
Let d = -16199 + 2186863/135. Let w = -4 + 9. Suppose -5*i = 3*h - 0*h + 17, w*h - 3*i - 17 = 0. Is d bigger than h?
False
Let k = -21.036 + 21.4. Let z = k - 0.464. Which is smaller: z or 9?
z
Let i = -17218 - -17214. Is i less than -927?
False
Let f(d) = 59*d**2 - 11*d + 2. Let q be f(-5). Let n = -102652/67 + q. Does 0 = n?
False
Let s = -4818.93 - -4819. Do s and -178 have the same value?
False
Let i = -115653/4 - -28913. Which is smaller: i or 222.1?
i
Let x = 0.53326 + 0.46674. Let l = 23 + -21.1. Which is greater: x or l?
l
Let j = -0.241 - -0.0018. Which is smaller: 0.2 or j?
j
Let j be (-728)/(-366) - ((-5)/(-10))/(22/88). Which is smaller: 1 or j?
j
Let d be (-15)/(-50)*5*8/3. Suppose -4*i + 2*i - 3*x = -21, -x = -d*i + 21. Suppose -14 = -3*z - 3*v + 5*v, -2*v = -z + i. Which is greater: z or 17/5?
z
Let o be 9/(-3) - (0 - 0). Let u be o/6*2*5. Suppose b = -5*d + 7 - 27, 3*d = b - 20. Are d and u non-equal?
False
Suppose -w - 2*w - 9 = -u, u - w = 1. Let c be 59/9 - (-2 + u). Which is bigger: c or 11?
c
Let n = 23385 + -18581. Is n less than or equal to 4804?
True
Let q be -2 + -4 + 14 + 137. Let t = 146 - q. Is t at least -1/66?
True
Suppose 2*u + 960 = 10*u. Suppose -86*n + 89*n = -u. Is -43 smaller than n?
True
Let a = 4425023/456 + -9704. Which is smaller: a or 1?
a
Suppose -5*f + 3*m + 3149 = 0, 4*m = 268*f - 263*f - 3147. Which is bigger: f or 627?
f
Let d = 17.76 + -1.56. Let i = d + -16.3. Which is smaller: i or 19?
i
Suppose 9 = 45*s - 42*s. Suppose -4*r - 3*j - 241 = 0, 4*j = -s*r - 207 + 35. Which is smaller: -1/4 or r?
r
Let o = -252 - -330. Let x = -1012/13 + o. Is x > 2/35?
True
Let r be ((-504)/(-30) + -6)*635/(-2). Is -3431 greater than r?
False
Let v be (-2)/(-13) - (-898012)/1196. Is v smaller than 743?
False
Let n = 3.07 - 0.93. Let h = 2.35 - n. Which is greater: h or 2?
2
Let k be 0*2/(-4) - 5/(15/(-7098)). Is 2366 bigger than k?
False
Let a = -1.9 + 15.9. Let n = 9 - a. Let x be -4 - (608/(-120))/((-6)/(-5)). Which is bigger: n or x?
x
Suppose 5*z = -0*z + 25. Suppose i = -4*b - 2, -z*b = -4*b + 5*i + 10. Let u be ((-17)/34)/(((-87)/2)/3). Which is smaller: b or u?
b
Let z(w) = -w - 11. Let s be z(-12). Let j(b) = 15*b - 10. Let t be j(s). Let u = -0.5 - -0.3. Is u > t?
False
Let v = 543799 + -9253187/17. Let h = -510 - v. Which is bigger: h or -3?
-3
Let r be (-510)/4*(11 - 756/60). Let l be (-10)/r*(2 + 332/(-160)). Which is smaller: l or -1?
-1
Let h(o) = 2*o**3 + o**2 - 1. Let k be (1 - (-5)/(-3)) + 2/3. Let f be h(k). Is 4/105 equal to f?
False
Let q = 89 + -7.3. Is 1 less than or equal to q?
True
Let y = 1/1329 + 164791/6645. Let l(p) = -6*p + 68. Let f be l(7). Which is greater: y or f?
f
Let p = 67/14 + -34/7. Let u = -0.72 + 0.6. Let m = -0.02 - u. Which is smaller: m or p?
p
Let t be -3*4/2*-18. Let v(s) = 80*s + 3228. Let z be v(-39). Is z equal to t?
True
Let i = 441 + -467.9. Let p = i + 58.9. Which is greater: p or 0.05?
p
Suppose x - 4*i = -13, 0 = 4*x - i - i - 4. Suppose 5*s - 19 = -34. Let o be s*3/27*-15. Which is greater: o or x?
o
Suppose 3*z = 3*m - 73 - 5, 4*z = -8. Which is smaller: -7 or m?
-7
Let g be (-42)/28*16/(-24). Let p be -2 - -29*(-42260)/(-708). Let x = p + -1729. Which is smaller: x or g?
x
Let y = -101 - -336. Let w = y + -286. Is w smaller than -51?
False
Suppose 1 = -3*b + 7. Suppose -36 = -s - 5*s - 3*s. Suppose s = 4*t - b*n + 2, -2*t = -4*n + 2. Which is smaller: t or 7?
t
Suppose -7*d = -7 - 0. Let k be 44/10 + d - 12/(-20). Let o be k/(-27) + (-20)/(-9) + -3. Are 2/5 and o equal?
False
Let s(b) = b**3 + 12*b**2 + 102*b + 224. Let a be s(-3). Suppose 5*n - 28 = -178. Let j be (9/(-120))/(n/4). Which is bigger: a or j?
j
Let l = 30760 + -31260. Which is greater: l or -501?
l
Suppose -s + 8*s = 168. Let i = 58 - s. Let a = -25 + i. Is a at most 7?
False
Let j(g) = g**3 - 14*g**2 + 18*g - 25. Let d be j(13). Suppose 0 = d*y - 43*y + 24. Which is greater: 54/7 or y?
y
Let o = -76/99 + 692/99. Which is smaller: -0.05 or o?
-0.05
Suppose -u - 116 = -378. Let o = -658980 + 658980. Which is bigger: u or o?
u
Let k be 9 + 9/((-9)/7) + -2. Which is smaller: k or 2/18475?
k
Suppose j - 7 = 8*j. Let d be 1*j/(-4) + 2335/20. Is 118 >= d?
True