/15*20/8. Is w at most 6?
True
Suppose 5*o = -p + 30, -3*o + 0*p - 2*p = -18. Suppose -3*v + o = -0*v. Let x be -2 - (-6 + (-4)/(-2)). Do v and x have the same value?
True
Suppose 2*m + 0*m - 2 = 0. Is m bigger than 4?
False
Let u be (-3 + 6 - 5)/1. Which is smaller: -12/7 or u?
u
Let w = 32 + -31.9. Which is bigger: w or 0.06?
w
Suppose -q - 11 = -47. Is q less than or equal to 35?
False
Let p(z) = 2 + 3*z - 8*z - 1 - 7. Let j be p(-4). Does 14 = j?
True
Suppose 5*z - 119 = -4*a, 4*a + 6 = -4*z + 102. Which is smaller: z or 24?
z
Let o(s) = -s**2 - 3*s + 5. Let i be o(-7). Which is smaller: 2/3 or i?
i
Suppose 3*v - u - 4 = 0, -5*v + 2*u + 2 = -2*v. Which is smaller: 8/5 or v?
8/5
Suppose -9 - 5 = -14*h. Is h < -1/7?
False
Let j = -40 + 41. Which is greater: j or 2/29?
j
Let s = -1 + 2. Suppose -4*r - 2*b - 3*b - 25 = 0, 0 = -2*r + 3*b + 15. Is r <= s?
True
Let k be 1/(-15)*-4243 - -2. Let w be -57*(3/(-1) - 2). Let y = w - k. Which is smaller: 1 or y?
y
Let z be 2/(-9)*24/(-40). Which is greater: 0 or z?
z
Let r = 61 - 60. Let a be ((-4)/25)/((-4)/10). Is r bigger than a?
True
Let j = -71 - -85. Does -1/3 = j?
False
Let t(l) = l - 2. Let b be t(3). Which is smaller: b or 3/8?
3/8
Let k(j) = -j + 6. Let d be k(-3). Are 10 and d nonequal?
True
Suppose 0 = 2*q - 0*q - 4. Let p be q/1*(-4)/16. Are p and 0 equal?
False
Suppose 7*l - 3*l - 7 = -v, 3*l + 4*v = -11. Suppose -l*r = 2*r + 5. Suppose 2*a = 7*a. Which is greater: r or a?
a
Let j be (-1)/(-3) - (-57)/(-9). Let n be (-3 + 1)*(5 + j). Suppose x = n*x. Which is bigger: -1 or x?
x
Let r be (-2)/(-6) + (-6490)/(-15). Let g = 14291/33 - r. Does g = -1?
False
Suppose 8 = -4*u + 32. Suppose u = l + 13. Is -7 at least l?
True
Suppose -a + 0*a + 4 = 0. Suppose d + 4*d + a*v = -4, 5*d + 2*v = -2. Is -2/15 bigger than d?
False
Let k(u) = 2*u - 12. Let b be k(8). Suppose -2*m + m = 3*w + 13, -b*w - 5*m = 32. Is w greater than or equal to 1/5?
False
Suppose 0*f = 4*f + 36. Let d = -10 - -1. Do d and f have the same value?
True
Let v = 4293/4 - 1064. Is v at least as big as -2/9?
True
Suppose 0 = -3*b + 4*b - 2. Suppose 0 = -2*a + 3*l - 11, -8 = -3*a - 2*l + 8. Let d be 3/9*1*a. Which is smaller: b or d?
d
Let v = -0.041 + 5.841. Let m = -6 + v. Let x = -0.3 - m. Which is greater: 5 or x?
5
Let h be (-24)/140 - 4/10. Which is smaller: -0.1 or h?
h
Let i be 1*-2*154/7. Let b be i/(-10) + 32/(-80). Let j = 8 - 4. Is b at least as big as j?
True
Let b = 11 + -11. Which is smaller: -8/13 or b?
-8/13
Let h = -3 + 3.1. Let g = 5 - 5. Is h less than g?
False
Suppose 0 = 2*t + 3*n + 18, 0 = -0*t + t - 2*n + 2. Let l = 3 + t. Is l greater than -2?
False
Let b = -115 + 42. Let m = b + 83.6. Let w = 10 - m. Are 1 and w equal?
False
Let g be 8/(2 + -4 - (-8 + 4)). Which is greater: 24/7 or g?
g
Let h = -34.85 - -35. Is 2 at most as big as h?
False
Let z(a) = -7*a + 2. Let d be z(5). Is -34 < d?
True
Let y be 3/(-3)*(0 - -2). Let c = 4557 + -31837/7. Let i = -64/7 + c. Is i equal to y?
False
Suppose 3*l = -1 - 2. Let p be (2 + -1)/(l + 2). Which is smaller: p or 1/7?
1/7
Suppose -7*r + 126 = -13*r. Which is bigger: -0.2 or r?
-0.2
Let d be 66/(-14) + (-62)/217. Are d and 1/5 non-equal?
True
Let d be 2/(3 + -1) + -1. Suppose d = -0*q - q. Are 0 and q unequal?
False
Let u be 20/15*-3 + 0. Is -3 greater than or equal to u?
True
Suppose -2*t + 15 = 5. Suppose -p + 3*k + 15 = 0, t*p + 4*k - 6*k = 23. Suppose p*s + 5*j = j - 16, -4*s = -4*j - 16. Which is greater: s or 2/11?
2/11
Let c be 304/(-14) - (-4)/(-14). Is -21 > c?
True
Let g(y) = y**3 + 12*y**2 + 2*y + 16. Let i be g(-12). Which is bigger: i or -7?
-7
Let b(v) = v**2 + v - 1. Let o be b(-2). Is -2/701 less than or equal to o?
True
Let h(c) = 2*c**2 + 4*c + 2. Let w be h(-2). Suppose 2*p = -3*l + 11, w*l - 9 = -3*p - l. Is p less than or equal to -1?
True
Let t = -5 - -5. Suppose l + 4*p - 5 = t, 11 = 4*p - 1. Are l and -6 unequal?
True
Suppose 2*w - 8 = 3*w. Let y be (45/6)/((-6)/w). Suppose 5*r + 0*r + y = 0. Is -2 greater than or equal to r?
True
Suppose 7 = -3*u + 43. Suppose 3*a = 2*v - 7*v - 3, -4*v - u = 0. Suppose -r + 20 = 3*r. Is a != r?
True
Let y(w) = -w**2 - 1. Suppose 0 = -4*n - 0*n. Let f be y(n). Let q = 1 + f. Is q greater than or equal to 0?
True
Let d = 978/8027 + 3/349. Is d < 0?
False
Let b be (-152 - 3)*(-4)/10. Let g = b + -188/3. Is -2/17 != g?
True
Let u = -564 - -175402/311. Which is smaller: u or 1?
u
Suppose -2*v = 5*l + 32, l = -5*v - 6 + 18. Which is greater: -13/2 or l?
-13/2
Let p be -1 + -1 - 12/(-3). Suppose 5*w + 9 = 5*r + p*w, 0 = -5*r - 5*w - 15. Which is greater: -1/6 or r?
r
Suppose 0*w + 4*w = 4. Is w < 1?
False
Let p = -0.2 - -0.3. Let u = -4.4 - -4. Let f = p + u. Which is bigger: 0.2 or f?
0.2
Suppose -3*s + 19 = -4*t - 17, 24 = 2*s - 4*t. Suppose -5*a - 20 = 5*i, 3*i - 2*a - 1 = s. Which is greater: -3/13 or i?
i
Suppose -5*q + 402 = -328. Let f = q - 871/6. Is f smaller than 2?
True
Suppose 0*a = 4*a - 8. Let t(s) = s**3 + 4*s**2 + 3*s. Let h be t(-2). Is a > h?
False
Let d = 0.4 + 0. Let t = -1.4 + d. Is -2/17 < t?
False
Let h = -201 - -1805/9. Which is smaller: h or -1?
-1
Let c = 52 - 67. Suppose 0 = -4*o - 2*l - 38 - 16, -o - 31 = -3*l. Which is smaller: c or o?
o
Suppose 6*f + 252 = -36. Is f less than or equal to -48?
True
Let n(b) = b - 8. Let t = -13 + 21. Let o be n(t). Which is bigger: o or 1?
1
Suppose n - 20 = -4*n. Suppose -4*p - n = 0, 2*p = -3*u - 0*p + 31. Which is greater: 1 or u?
u
Let i = -2 + 4. Let v(m) = m**2 + 2*m. Let f be v(3). Let k be (4/(-15))/((-6)/f). Which is greater: k or i?
i
Let t = 43 + -42. Are -4/17 and t unequal?
True
Let u = -10.2 + 9. Let g = u + 1. Let k = g - -0.4. Which is greater: k or -0.1?
k
Let m = 50 - 49.8. Which is greater: 2/3 or m?
2/3
Let p = -222/5 + 44. Which is bigger: 0.08 or p?
0.08
Suppose -72 = 4*o + r + 42, 3*o + 4*r + 92 = 0. Is o not equal to -27?
True
Suppose 0 = 6*c - 8*c + t + 45, -2*c + 3*t + 35 = 0. Does c = 25?
True
Let i = -2 + 3. Let h = i + -1. Suppose 10*u - 5*u - 5 = 0. Is u less than or equal to h?
False
Let f = -166 - -172. Is 6 less than or equal to f?
True
Let c = 47 + -46. Is c smaller than -2/31?
False
Let p = -0.12 - -10.12. Let y = 13.77 - -0.23. Let v = y - p. Do 1/4 and v have the same value?
False
Suppose -4*r + 4 = -2*r. Suppose 16 = 2*b + 5*v, 3*b + r = v + 26. Suppose a = b*o - 4*o - 5, 2 = -3*a - o. Do -4/7 and a have the same value?
False
Let v = -1/391 - 6642/1955. Is v < -4?
False
Suppose -13 = -0*d - d + 2*g, 4*d - 7 = -g. Let f = 207 - 821/4. Which is greater: f or d?
d
Let r = -2/519 - 451/17646. Which is bigger: r or -0.1?
r
Let z = 0.3 - -1.7. Let t = -3 + z. Is t greater than 1/5?
False
Let g = -4940/121 + 2177551/53482. Let p = g + 9/34. Let l be (0/(-2))/(-2 + 0). Which is bigger: p or l?
p
Let u = -1.6 + -0.9. Let j = -0.5 - u. Is j greater than 2?
False
Let v = 6.1 + -6. Which is bigger: v or -1?
v
Let c = -334/45 - -36/5. Let q be 2/(-3)*(-2 + -1). Which is smaller: c or q?
c
Let w = 0 + 4. Suppose -w*b + 41 = -23. Is b greater than or equal to 15?
True
Let r(w) = w**3 - 4*w**2 + w - 3. Let y(p) = -2*p. Let c be y(-2). Let i be r(c). Which is bigger: i or 0?
i
Let r be (-36)/(-8)*(-2)/(-39). Which is smaller: r or 1?
r
Suppose -2*k = -4, -3*m + 3*k + 15 = -6*m. Which is smaller: m or -6?
m
Let j be -4 + 3 + 3 + 0. Suppose f + j = -0. Is f bigger than -8/5?
False
Let l be 5/6*8/30. Let q be 0 + -1 + -1 + 6. Suppose 3 - 7 = q*h. Is l at least h?
True
Let n be (6/(-12))/((-1)/10). Which is smaller: n or -2?
-2
Let s be (-3 + (-4 - -3))/11. Is -1 less than or equal to s?
True
Let i(b) = -b - 2. Let v be i(-3). Let w be 0 - (2 + (-3)/v). Let k = -137/21 - -48/7. Is k smaller than w?
True
Suppose 6 = -2*j + 2. Let l be 8*(-4)/j - 2. Let u be 4/l - 7/196. Do u and -4 have different values?
True
Let n = 16.9 + -20. Let v = n - -2.1. Let w = 203/4 - 51. Is w != v?
True
Let j = -2 + 3. Let l = 8 + -10. Let b = j + l. Which is smaller: -0.1 or b?
b
Let o = -14 - -13. Which is smaller: o or 1?
o
Let c = 47 - 102. Let f = 219/4 + c. Which is greater: -1 or f?
f
Let n = 0 + 8. Let v = n + -13. Let s be -4 + -2*1/2. Is s > v?
False
Let g = 50.2 + -51. Which is smaller: g or 5?
g
Let i = 692 - 5543/8. Is i smaller than -1?
Fals