 0.48. Let f = 0 - k. Let p = f + -0.3. Does 5 = p?
False
Suppose b - 11 = 9. Suppose 0 = -2*j - u + 3*u + 16, -4*j = 4*u + 8. Suppose 3*i = -j, 2 = 2*w - 3*i - i. Is w less than b?
True
Suppose 12 = -3*g, -q + g = -2 - 4. Suppose q*f - 27 = 3. Which is smaller: 13 or f?
13
Suppose 0 = -2*t + 2*n + 3*n - 23, 19 = 4*t + 3*n. Suppose 3*s - 366 = -5*w, 2*s - w - 3*w = 244. Let u be 0 + 2 - 240/s. Which is greater: u or t?
t
Suppose 31*x + 1358 = 38*x. Which is smaller: 198 or x?
x
Let s = 39 - -46. Is 87 bigger than s?
True
Let t = -900 - -889. Is 79 less than t?
False
Suppose w - 35 = 4*r - 4*w, 2*w - 6 = 0. Let t = -8 - r. Let z(i) = -i**3 - 3*i**2 - i - 2. Let y be z(t). Are 1/13 and y nonequal?
True
Let i = 2.01 - 0.01. Let p = -5 + i. Let a = 2.9 + p. Which is smaller: a or -4?
-4
Let g = -959 - -3839/4. Which is greater: g or 111?
111
Suppose 2*d - 16 = -18. Let n be d - (2 - 57/12). Which is bigger: 1 or n?
n
Let o(d) = 2*d - 1. Let y be o(3). Suppose 1 = -h + p, 4*h + h + y*p = 45. Suppose -h*j = j. Which is greater: 4/7 or j?
4/7
Let f = 400 + -400. Is -74 equal to f?
False
Let k = 0.101 + 1.249. Let p = k + 2.25. Which is smaller: p or -3/5?
-3/5
Let v = 19915 + -40412. Let x = v - -224699/11. Let c = -70 - x. Which is greater: c or -0.1?
-0.1
Suppose 0 = 5*b - w - 819, 0 = -b + 6*w - 11*w + 169. Is 164 < b?
False
Suppose -268 - 348 = 11*r. Which is bigger: -57 or r?
r
Suppose 20 + 1 = 3*j. Let b = -36 + 40. Suppose 3*o + b*o = 0. Are o and j unequal?
True
Let s = 0.274 + 0.726. Do s and -492 have the same value?
False
Let k(l) = -4*l**3 - 41*l**2 - 14*l + 5. Let y be k(-10). Which is smaller: 9 or y?
9
Let i = -2149/5 - -419. Which is smaller: i or -10?
i
Let c = 112 + -104. Let p be 2/9 - (330/27 - c). Let r = 5 + -9. Is p greater than r?
False
Let r = -8/333 + 350/42291. Is r > 1?
False
Let m = 23 + -45. Let u be 2*91/52*(-16)/56. Is u at least m?
True
Let u(o) = 5*o**2 - o. Let z be u(-1). Let p be 745/(-35) - (-4)/14. Let r = p + 27. Is z at most r?
True
Let y be (-1)/(-5) - (-51)/(-305). Suppose 11*i - 7*i = -3*o - 28, 2*o - 7 = i. Which is smaller: y or o?
o
Let v = -88 - -107. Let b = -1 - v. Which is smaller: b or -2/3?
b
Let r = -73.2 - -73. Let b = 2.61 - 21.61. Which is greater: b or r?
r
Let v = 0.109 - 0.309. Are v and 0.17 unequal?
True
Let i = -33 - -51. Let k(b) = b**3 - 17*b**2 - 20*b + 36. Let g be k(i). Let v = 50 - 2099/42. Is g greater than or equal to v?
False
Suppose 0 = 5*i - 4 + 19. Let u = 6399/2 + -3203. Which is greater: i or u?
i
Let g be 28/4*(190/2540)/(-19). Is g != -1?
True
Let o be 3*(2 - (-273)/9). Let t(x) = 2*x - 4. Let k be t(4). Let n be k/22 + o/11. Which is bigger: 10 or n?
10
Let s = -205 - -179. Which is smaller: -2 or s?
s
Let j(b) = b**2 - 4*b + 3. Suppose t + 8 = c, -4*t - 1 - 4 = 5*c. Let p be j(c). Which is smaller: 1/134 or p?
p
Let d be (-138)/12*(-2)/1. Suppose -4*f + d = -3*f + 3*v, 0 = -5*f - v + 129. Is 25 less than or equal to f?
True
Let f(h) = h**2 + 9*h + 14. Let m be f(-7). Is m < -4/51?
False
Let d = -182 + 313. Suppose r + r - 3*q = d, -2*q - 64 = -r. Is r less than 71?
True
Suppose -5*c + 0*c + 95 = u, 4*c + u = 77. Suppose 2 + 288 = 10*t. Let s = t - c. Which is smaller: -1 or s?
-1
Let w be 4 + 99 + (-1 - 1). Let i = w + -307/3. Let o be 161/(-147) + (-2)/(-21). Which is smaller: i or o?
i
Let c(f) = f - 48. Let m be c(13). Let j = m + 57. Do j and 22 have the same value?
True
Suppose -w + m + 0 + 2 = 0, 0 = -m + 1. Let d be ((-2)/w)/((-4)/14). Which is smaller: d or 2?
2
Let v = -1 + 2. Suppose -3*d - 4 + 1 = 0. Let m be d/(-4) + 15/(-60). Which is smaller: v or m?
m
Let s be (30/(-385))/((-9)/(-63)). Let b = -2 - -1.9. Is s at least b?
False
Let f = -443812/12523 - -20/1789. Is -36 less than or equal to f?
True
Let j = 31.8 - 33.8. Is j greater than or equal to 0.11?
False
Let q(b) = -b**2 - 6*b + 9. Let h be q(-7). Suppose h*f = -3*l + 255, -252 - 408 = -5*f - 3*l. Let o = 678/5 - f. Which is greater: -0.1 or o?
o
Let v = -653 - -411. Are -243 and v equal?
False
Let o be (1557/(-18))/((-3)/(-6)). Let c = o + 157. Let n(x) = -x**3 - 4*x**2 + 2*x. Let f be n(-3). Which is smaller: c or f?
c
Let r = 134 + -132. Suppose -r*t + 6 = -t. Do 32/5 and t have the same value?
False
Suppose 0 = -5*k + o + 153, 8*k - 3*k = -3*o + 141. Let j = k + -5. Let y = -174/7 + j. Is y < 1?
True
Suppose -f = -3*f. Let h = -198 + 2568/13. Which is smaller: f or h?
h
Suppose -7*i = -2*i - 10. Let h(l) = -l**2 + 4*l + 1. Suppose -3*b = -0*b, -a + b = -4. Let t be h(a). Is t > i?
False
Let w be ((-2)/12)/((-69)/(-12) - 6). Let m = 0.9 + -1. Let y = -0.2 - m. Which is bigger: w or y?
w
Let f = -96/85 - -34118/255. Let q = -139 + f. Is -6 at least as big as q?
True
Let m be 6/(-16)*-1 - (-2375)/(-760). Suppose -4*z + 8 - 24 = 0. Which is smaller: z or m?
z
Suppose 0 = -u + 5*u. Suppose -2*l = 5*p - 5*l + 184, u = p - 5*l + 50. Let r = p - -176/5. Which is smaller: 1 or r?
r
Let k = 70 - 66. Suppose -12 = 4*t - 2*d, k*d = 5*t - d + 25. Let m = 0 + 0.03. Is m not equal to t?
True
Suppose -2*j + 52 = 4*l, 5*l - 8*l = -4*j - 28. Is l < 6?
False
Let x = -504 - -37792/75. Which is greater: 0 or x?
0
Let x = 4 + -3.2. Let j = x + -0.9. Let u be 1/5*15/(-5). Is j greater than or equal to u?
True
Let j(a) = -a**3 - 13*a**2 - 11*a + 10. Let g be j(-12). Let h be ((-231)/(-6))/(-7)*g. Let n = h + -6. Which is smaller: 6 or n?
n
Let k = -2632137/2479939 + 876/5243. Let h = 15/43 + k. Let c be -2*(0 - (-3 + 2)). Which is smaller: c or h?
c
Suppose -5*l = -2*n + 127, 17*n - 19*n = -l - 123. Which is smaller: 57 or n?
57
Let d = -1251/22 - -113/2. Let m be 0 + 3/(-6)*2. Let a be m/((-1)/(-1)*1). Is d greater than a?
True
Let s = -74 - -53. Let l be 119/182*(-6)/s. Let z = l + -4/7. Are z and -1 non-equal?
True
Let x = -51.4 - -15.1. Let j = x - -38. Is 0 at least as big as j?
False
Suppose 0 = 3*i - 2*i + 3. Let u(b) = -b**2 - 11*b - 15. Let j be u(-10). Are j and i non-equal?
True
Let d be 3381/15 - 2/5. Let o be ((-18)/d)/((-16)/(-5)). Is 0 >= o?
True
Let n = 9 + -5. Let q = 18 - 12. Suppose n*p + 14 = q*p. Is p equal to 7?
True
Let c be 47/(-5) + ((-234)/(-30))/(-13). Let j be (-82)/8 - 5/(-20). Is c at most j?
True
Let d = 493 - 40429/82. Is -1 less than or equal to d?
True
Suppose 16*x - 979 = -4*s + 15*x, -s + 256 = 4*x. Is 246 at most as big as s?
False
Suppose -5*h = -5*w, 24 = 2*h + 3*h + w. Suppose -d + h = 3*d. Which is bigger: 1/6 or d?
d
Let u = -2009/5 + 327457/815. Are 1 and u nonequal?
True
Suppose 0 = -5*i + 2*r - 69 - 70, 2*i - 3*r = -60. Let k be (-9)/(-2) - i/(-54). Which is smaller: k or 6?
k
Suppose 21*o = 14*o + 1428. Is o bigger than 204?
False
Let t(s) = 4*s**2 + s. Let a be t(-2). Let i = -2 + a. Suppose 2*h - 6 = -3*b - 2*b, 5*b - h = i. Which is smaller: b or 5/3?
5/3
Let v = 2.36 + 3.64. Which is greater: v or 5/7?
v
Suppose 0 = -0*h - 12*h + 708. Is 59 at most h?
True
Let l = 3 + -3. Let m be l - 0 - (-6 + (-30)/(-6)). Is m equal to -0.015?
False
Let t = -27 + 53. Let l be -6*(-3 + 4)/t. Let b = 0 - -1. Does l = b?
False
Suppose 4*i = -3*h - 62 - 13, i - 25 = h. Suppose 64 = 3*o - 17. Let d be 1 - (2 + h/o). Is 0 > d?
True
Suppose -768 = 5*d - 663. Is -9 less than d?
False
Let m = -11 - 1. Let t = m - -2. Let w = -9 - t. Which is greater: w or -0.2?
w
Let l = -1560 - -6241/4. Which is greater: l or -993?
l
Let d(w) = -7*w + 56. Let o be d(-5). Let a = -453/5 + o. Is a greater than 0.07?
True
Let u(z) = -65*z**2 + 6*z - 2. Let r be u(3). Are r and -569 unequal?
False
Let h = 55.2 - 54.2. Which is smaller: -860 or h?
-860
Let s(k) = -11*k**3 + 2*k**2 + 2*k + 1. Let l be (-3)/((-4)/((-16)/(-6))). Suppose -l*v + 6*v + 4 = 0. Let i be s(v). Does 12 = i?
True
Let v = 352 + -351. Let x = -39/32 - -1847/1568. Which is smaller: x or v?
x
Let n be 1/1*98/(-7). Let o = -10 - n. Suppose o*p - 3 = 21. Is 7 less than p?
False
Suppose 2*p = -7 + 1. Let z = 11 - 16. Which is greater: p or z?
p
Let z(y) be the second derivative of -y**4/12 - y**3/3 + 2*y**2 - 14*y. Let o be (-4)/10 + (-18)/5. Let j be z(o). Is j smaller than -2?
True
Let y(r) = -4*r**2 - 4*r + 6. Let n be y(-2). Let b be (21/12)/7 - 1. Is n less than b?
True
Let s be (90/(-4))/(20/((-200)/6)). Is s at least as big as 39?
False
Le