 x or 2?
2
Let x = 159/4 - 40. Let p be (-3)/(1 - -2)*26. Let m be 24 + p + ((-20)/7)/(-1). Is x > m?
False
Let p = -1803 - -1801. Is -563 not equal to p?
True
Let g = -73/8 - -235/24. Which is smaller: 24 or g?
g
Let f = -0.185 + -0.215. Do 1/10 and f have different values?
True
Let c = 113 - 116. Which is greater: -22/5 or c?
c
Let o(a) = a + 15. Let y be o(4). Which is smaller: 59/3 or y?
y
Let k = -0.0327 - -3.0327. Let g = -0.46 + 0.06. Is g greater than k?
False
Let u = -2.34 + 0.57. Let y = -0.047 - 0.183. Let q = u + y. Is -0.2 equal to q?
False
Suppose h = 4, -4*i = -3*h + 2*h. Which is smaller: i or -748?
-748
Let b = -38.6 + 51. Let m = 10 - b. Let t = -2.3 - m. Which is smaller: t or -1/5?
-1/5
Let w = 8 + -10. Let s = 6 + -2. Suppose 2*j = -s*o - 0*j - 10, 10 = -3*o - 4*j. Are w and o equal?
True
Let t = 59 - 136. Is -74 greater than t?
True
Let p = 1 + -1.1. Let r(q) = -2*q**2 - 4*q - 1. Let s(x) = -x**2 - 2*x + 5. Let n be s(2). Let j be r(n). Is j >= p?
False
Suppose -9*a - 14*a = 161. Let z(t) = 3*t**3 - 4*t**3 + 5 + t + 3 - 7*t**2. Let k be z(a). Is k > 1/2?
True
Let v(k) = 8*k**3 + 2*k**2 - 2*k + 1. Let x be v(1). Let o = x + -9. Let n = -94 - -2633/28. Which is greater: o or n?
n
Let l(q) = 3*q**2 + q - 2. Let b be l(2). Let z(o) be the second derivative of -o**3/3 - 7*o**2 - 34*o. Let n be z(-13). Are n and b unequal?
False
Let k = -266 + 256. Let r = 9 + 0. Suppose 0 = b + 2 + r. Which is smaller: k or b?
b
Let o = 205534/27 + -15227/2. Let s = o - -7/6. Which is bigger: s or 1?
1
Let k(h) = -12*h - 7. Let l be k(-1). Which is greater: 171 or l?
171
Let n(s) = s**2 - 5*s + 6. Let v be n(3). Let f = 13029/4 - 3237. Let r = -61/3 + f. Which is greater: v or r?
v
Let c = 228/119 + -128966/357. Is -360 less than or equal to c?
True
Let j be 6276/(-420) - 2/(-14). Let o = 15 + j. Is 1 bigger than o?
True
Suppose -9 = -4*j - 1. Suppose j*i - 3*i = -2. Suppose 4 = -p, 0*p + p = -2*y - i. Are -1/7 and y equal?
False
Let f = 699983/29577 + 2/9859. Let a = f - 24. Which is bigger: -16 or a?
a
Let o = -106.779 + -2.221. Do o and -2 have the same value?
False
Suppose l - 2*l = -8. Suppose 0 = 3*x - l*x. Let k be (59/295)/(18/15). Which is smaller: x or k?
x
Let j = -0.0228 + 0.0628. Which is smaller: j or -0.01?
-0.01
Let y(n) = -n**2 + 8. Let s be 0 - (1 + 0 - 1). Let v be y(s). Let i be ((-28)/v)/7*0. Which is greater: i or 5?
5
Suppose -374 = 13*c + 1485. Is c at least as big as -1?
False
Let t = 12 + -15/2. Which is bigger: 4 or t?
t
Let y = 10 + -3. Let f be (40/32 - -6) + (-7)/28. Is f bigger than y?
False
Suppose -5*j + 3 = 8, 26 = -3*w + 4*j. Which is smaller: -19 or w?
-19
Suppose 3*o = -4*z + 6, 7*z - 2*o - 10 = 5*z. Let f be ((-2)/72)/(2/(-3)). Let s = f + 83/24. Is s at least z?
True
Let h = 90321/20 + -4515. Let g = 4/5 - h. Let v(i) = i**2 - 5*i + 3. Let m be v(1). Which is greater: g or m?
g
Suppose 7*o - 170 = 17*o. Which is smaller: o or -95/6?
o
Let z = 691/24970 - 1/2497. Let u = z + -111/1045. Which is smaller: 1 or u?
u
Suppose 0 = w - 5*w. Suppose 4*b - 2*o = 10, -o + 23 = 4*b + b. Suppose -3*x - 5 - b = w. Does 0 = x?
False
Let j = 23 + -35. Let c = j - -14. Let q be c/4*(5 + -5). Which is smaller: 6/11 or q?
q
Suppose 32 = -2*x - 2*g, -2*g - 77 + 0 = 5*x. Is -6 bigger than x?
True
Suppose 92 = -46*w - 46*w. Which is bigger: 2/1311 or w?
2/1311
Suppose 18 = 10*t - 4*t. Let w be (-12)/(-3) + -4 + -1. Which is bigger: w or t?
t
Let u be (-6)/2 - (198/(-9) - -18). Which is smaller: u or 47/29?
u
Suppose -3*n - p - 331 = 198, -883 = 5*n + 2*p. Let u be (-3 + 5 - 3) + n/(-91). Is 1 equal to u?
False
Let t be ((-6)/8)/((-4)/(-16)). Let m be ((-4)/12)/(t/36). Let o = m - 4. Is o at least -1/16?
True
Suppose 0*f - w + 284 = 5*f, -2*w = -3*f + 160. Which is bigger: 55 or f?
f
Let m = 154 + -164. Which is smaller: 6/7 or m?
m
Let n be (-4)/10 + (-46)/(-90). Suppose 0 = -3*g + 6*g + 15. Let i be g + 3/(9/12). Does i = n?
False
Suppose 0 = 2*b + 4 - 14. Let s(p) be the second derivative of -p**4/12 + 7*p**3/6 + 3*p**2 - p. Let m be s(7). Which is smaller: m or b?
b
Let w be -8 + (-216)/(-45) + 3. Which is bigger: w or -13.5?
w
Let i(w) be the first derivative of w**2/2 + 4*w - 1. Let u be i(-4). Let o be 1 - ((-1)/((-7)/19) + -1). Which is smaller: u or o?
o
Suppose 4*y - b + 10 = 39, 0 = 5*y + 2*b - 33. Let x be (0 + 10/6)*3. Suppose 4*s - s - 41 = 4*h, 0 = x*h + 25. Is s smaller than y?
False
Let w be 2/3 + (-20)/3. Let d(j) = j**3 + 4*j**2 - 45*j - 5. Let f be d(-9). Let p be (-3)/w*-4 - f. Which is smaller: -0.2 or p?
-0.2
Let x(u) = -6*u + 35. Let n be x(6). Let i be ((-2)/(-4) - n)*6/9. Which is smaller: 7 or i?
i
Let i(y) = -9*y**3 - y**2 - 9*y + 5. Let r(j) = 5*j**3 + 5*j - 3. Let h(x) = -6*i(x) - 11*r(x). Let s be h(6). Which is bigger: s or -4?
s
Suppose 26*w = 23*w - 90. Suppose 5*t = -3*o - 145, -t - 5*o = -0*o + 29. Which is bigger: w or t?
t
Let m be (86*7/14)/((-2)/(-24)). Are 0.1 and m nonequal?
True
Let s = 0 - -3. Let o = 59.67 + -58.67. Which is bigger: s or o?
s
Let f be -16*((-6)/(-2) + -2). Let v be (-24)/f - 2/(-4). Let j be v/24*(-8)/(-3). Is 1 < j?
False
Let i(g) = -4*g**2 - 27*g + 210. Let s be i(13). Which is smaller: -819 or s?
-819
Let i = 22.1 - 6.3. Let f = i + -16. Which is smaller: -2 or f?
-2
Let z = 44762742 + -341360671091/7626. Let j = 1/186 + z. Which is bigger: j or -1?
j
Let q = 696/31 + -377990/16833. Which is smaller: 1 or q?
q
Let f(i) = -i + 15. Let q be f(-9). Let o be (-15)/q*(-21)/35. Let z(b) = -b + 8. Let v be z(8). Which is smaller: v or o?
v
Let k = 59 - 32. Let j = k + -21. Let m = j - 4. Is m less than or equal to 0.3?
False
Let g = 6.527 - -0.073. Let u = 6.8 - g. Is 8 at least as big as u?
True
Let x(r) = r + 6. Suppose 0 = 2*w + 28 - 0. Let t be x(w). Let a be (6/t)/((-54)/(-16)). Which is bigger: 5 or a?
5
Let s = 6 + -2. Suppose 8 = -s*c + 24. Suppose -w + 19 = -c*p, 0 = -w + 3*p + 5 + 11. Is w < 6?
False
Suppose 10*l - 8 = 6*l. Suppose 0 = 4*z - 5*s + 29, 0*s = 2*s - l. Let a be 12/z + (-1 - -1). Does -2 = a?
True
Let l = 8.64 + -8.2. Let r = l - -0.01. Is r != 1?
True
Let b = 13948769/350140 - 9713/244. Let v = -1/574 + b. Which is smaller: 0 or v?
0
Suppose -3*x = -9, -x + 542 - 21 = 2*b. Let a = -4400/17 + b. Let n = a + 2/85. Which is smaller: n or 0?
0
Let t(q) = -23*q. Let c be t(1). Suppose 4*n + 94 = z, -12*z = -5*n - 17*z - 130. Let p = n - c. Is -3/7 greater than or equal to p?
True
Let i be (-5)/(15/(-114))*(-117)/18. Is -247 <= i?
True
Let y = -54 + 477. Which is smaller: 1/3 or y?
1/3
Let y be 6 - (1 - -2) - (-15)/3. Let r = 4 + -2. Suppose -f = r*f - 21. Are y and f non-equal?
True
Let o = 53/77 - 3756/5467. Which is smaller: -1 or o?
-1
Suppose -11*l + 4*l + 1050 = 0. Suppose 8*k - l = -5*b + 3*k, 3*b = -k + 82. Which is smaller: 53/2 or b?
b
Let o = 0.19 + -0.09. Is 163 > o?
True
Let x be (-3 - (-2 - 1))/(-2). Let l be 4/24*-2*x. Let g be (l + (-9)/12)/2. Is g >= 0?
False
Let h be -5 + 0 - (-28 - 82). Let l = h + -103. Let o(a) = a**2 - 6*a + 2. Let x be o(6). Are x and l non-equal?
False
Suppose g + 3 = 2*u, 2*u = 2*g - 3 + 5. Which is smaller: u or 5?
u
Let o be 320/(-128)*4/10. Is -2/6383 >= o?
True
Suppose 2*t - 7*t = 100. Let a(f) = -5*f - 79. Let i be a(-12). Is i less than or equal to t?
False
Let g be 92/(-161) + (-3548)/14. Is g > -254?
False
Let q = 829 - 809. Are 1.3 and q equal?
False
Let j(v) = v**2 - 29*v + 181. Let x be j(20). Let q be (-2)/((-44)/(-38)) + 2. Which is smaller: q or x?
q
Suppose 5*w - 69 + 14 = 0. Let z be (-1584)/(-165) - 2/(-10)*2. Which is smaller: w or z?
z
Let l = 1/867 - -4313/19074. Let o = 17 - 17. Which is smaller: o or l?
o
Let o(w) = -7*w + 9. Let f be o(4). Let d = f + 11. Let y = d - -15. Are y and 1 nonequal?
True
Suppose -17 = -6*g + 31. Suppose -13*h + 275 = -g*h. Is h smaller than 56?
True
Let z = -145/12 + 71/6. Is 49 bigger than z?
True
Let c = -42.37 - -41. Is 2 at least as big as c?
True
Let z = -13573/2 - -6656. Which is smaller: -131 or z?
-131
Let v = 1386448/123 + -11272. Is 1 < v?
False
Let n = 312 - 304. Which is greater: 7 or n?
n
Let d = 407 + -406. Which is greater: -2/223 or d?
d
Let o be 11/(-1 + 2) + (-42)/(-14). Let t be (-4)/o - (-6 + (-134)/(-21)). Is t greater than -12?
True
Le