5*b + g - 28 = -0*g. Let j be v(b). Is t at least as big as j?
False
Suppose 0 = -290*k + 294*k + 352. Do k and -0.1 have different values?
True
Suppose -r = -3*t + 7*t - 48, 52 = 4*t + 2*r. Suppose -5*y + 2*m + 35 = 0, -y + m + t - 1 = 0. Suppose -b - g = b, 4*b = -y*g - 6. Is b at most 1?
True
Let w be (-29)/(-2)*64/(-16). Are w and 5 nonequal?
True
Suppose 4 = -m + 11. Suppose -m*v = -5*v. Let s be 4/(-12) - 16/15. Is v not equal to s?
True
Let f = 61 + -62. Let j be ((f/(-207))/(3/9))/1. Which is bigger: 1 or j?
1
Suppose -312 = -o - g + 363, -2*o = -2*g - 1366. Is 680 at least o?
True
Let q = 28 - 3.4. Let b = 4.6 - q. Let a = 23 - 45/2. Which is smaller: b or a?
b
Let h(d) = 10*d**3 - 14*d**2 - 28*d + 5. Let t(q) = -7*q**3 + 9*q**2 + 19*q - 3. Let p(v) = -5*h(v) - 7*t(v). Let o be p(8). Which is smaller: o or -11?
o
Let w = 3.4 + 0.6. Let x = 77 - 540/7. Which is smaller: x or w?
x
Let s = -16.2 - 4.8. Let u = s - -19.7. Which is bigger: u or 0.1?
0.1
Suppose -3*m + 1 = -23. Suppose -4*u + 3*u - 3*n + m = 0, -2*u + 2*n = 0. Suppose -2*y + u = 4*v, -4*y = 7*v - 3*v. Which is greater: v or -2/37?
v
Let h be (5/15)/(46/(-6) - -3). Which is bigger: 1 or h?
1
Let p = -5 - -1. Let q be ((-2)/(-4))/((-2)/p). Suppose g - 1 = q. Which is smaller: 1 or g?
1
Suppose -47 - 105 = 19*z. Which is smaller: -15 or z?
-15
Let t(d) = 8*d**3 - 3*d**2 - 3*d - 3. Let s be t(3). Suppose 6*r = s - 39. Which is smaller: r or 21?
21
Suppose -81*f - 85 = -166*f. Let s(w) = w**3 + 5*w**2 + 0*w**3 + 4*w - 5 + 1. Let p be s(-4). Which is greater: p or f?
f
Let s(i) = i**3 + 5*i**2 - 4. Let n be s(-5). Let x be (-9)/n + (-15)/(-20). Let r be (x - -1)*1/(-5). Is r >= 0?
False
Suppose 0 = -3*r - 65 - 22. Let c = -24 - r. Which is bigger: c or 4?
c
Let u(r) = r**3 - 2*r**2. Let g be u(2). Suppose -2*a = m + 47, -5*m + 0*m - 3*a = 207. Let b be m/(-24) - 6/3. Do g and b have the same value?
False
Let k = 0.69 - 79.69. Let q = -67 - k. Which is smaller: 0 or q?
0
Suppose -5*c = -2*r - 16, r = 5*r - 3*c + 60. Let m be 1 + (-27)/(-6)*3/r. Let b = 3 - 3.1. Is b >= m?
False
Let a = -53 - -60. Suppose 12*n - 5 = a. Is n at least as big as 1/63?
True
Let w = 0 - 0. Suppose 5*a - 24 = -2*x - 5, -5*x + 2*a = -33. Let y be x*2*((-164)/(-40) + -4). Which is greater: y or w?
y
Let d = 3 - 11. Suppose -222 = -3*x - 6. Let g be 6/d - (-78)/x. Which is smaller: g or 0.1?
0.1
Let s = -18 + 18. Let p be (-3 + 2)/(s - (-3)/6). Let v = 0.2 + -0.3. Is p less than or equal to v?
True
Let l = -2181/658 - -47/14. Let i(w) = 6*w - 4. Let d be i(2). Suppose -3*o = 12, d = 2*v - 5*o + 3*o. Which is smaller: v or l?
v
Let c = 3.82 + 0.18. Let x = c - 3.9. Is -12 equal to x?
False
Suppose 91 + 1013 = 23*n. Is n at most as big as 23?
False
Suppose -5*x + 45 = 5*d, -2*x = -0*d + d - 13. Suppose t + 7 = -2*a, a + 2*a = -x*t - 8. Is 1.9 > t?
True
Let v be 3/(-1)*(-4)/(-6). Let t(l) = l**3 + 8*l**2 - 4*l + 13. Let z be t(-9). Let q be (z/112)/(v/7). Is 3/5 at most as big as q?
True
Suppose -c - 2*q + 16 = 0, -4*c + 103 - 39 = q. Suppose 0 = v + 2*g + 6, 7*v - 2*v = 4*g - c. Which is smaller: v or -13/4?
v
Let l = -2772/25 - -554/5. Suppose o = -3, 5*g - 2*g = 2*o + 21. Let d = 6 - g. Is d < l?
False
Suppose -o + 6*a - 35 = 2*a, -o = a + 10. Which is smaller: -12 or o?
o
Let r = -1137 - -1140. Do 0.11 and r have different values?
True
Let n(v) = -v**2 - 10*v - 1. Let y be n(-8). Let c = 24 - y. Let s = c - 13. Which is smaller: s or -5?
-5
Let z = 260.8 + -240. Let d = -19.4 + -1.6. Let o = d + z. Is o smaller than -0.4?
False
Let f be (-21)/28 + (-206)/24. Let s be (20/(-5))/(24/(-15) - -2). Which is greater: f or s?
f
Let v = 442 - 2221/5. Let d = -66 - 0. Let z be (-2)/4*d/(-11). Is v less than or equal to z?
False
Let l = 103 + -51. Let f = -51 + l. Which is smaller: f or 16/9?
f
Let w = -34 + 6. Let p be (-75 - 7)/(-1 + 4). Let g = p - w. Do 3 and g have different values?
True
Let x be 6/4*(-600)/(-36). Let j = x - 13. Let o = j + -19. Do o and -6 have the same value?
False
Suppose 0 = 3*b + 3 - 15, 0 = -2*a + b + 62. Let s be (3 - 3)/2 + a. Which is smaller: s or 32?
32
Let n be (-2)/(-15) + (-5947)/(-285). Suppose 26*t = n*t - 40. Is -9 >= t?
False
Let c be (244/(-46))/(0 + 14). Let b = c + 12/23. Which is greater: 0.03 or b?
b
Suppose d = -3*d + 448. Let v be (-14538)/130 - (-6)/(-15). Let y = v + d. Which is bigger: -1 or y?
y
Let z = -5.786 - -0.336. Which is bigger: 0 or z?
0
Let g be 4/(-9)*12*(1 + -4). Suppose -5*y - 41 + g = 0. Do -5 and y have the same value?
True
Let r(q) = 2*q + 1. Let x be r(-5). Suppose 12 = 5*p + 3*l, l + 10 = 2*p - 3*l. Let m be (-3 - x/p)/2. Which is bigger: -2/13 or m?
m
Let v = 511 - 632. Is 0.5 > v?
True
Let w be (-1998)/(-5 + 14) - -3*1. Is w >= -219?
True
Let f be -5*((-4)/(-14) - 9/7). Suppose f*i - 2*z = z + 45, z - 45 = -5*i. Which is smaller: i or 16?
i
Let r(m) = m**2 - 5*m - 6. Let i be r(12). Suppose 2*x + 6*k = 2*k - i, 2*x + 33 = 5*k. Is x smaller than -29?
False
Let v be 69*(-65)/(-55) - (-108)/(-198). Which is bigger: v or 92?
92
Let p(w) = w**3 + 18*w**2 - 16*w - 22. Let x be p(-19). Which is greater: -78 or x?
-78
Suppose 9 = 2*o - 5*l, 3*l + 3 = -0. Suppose -8 = -o*r, 2*b + 0*r - r - 8 = 0. Let a be 0/((-2)/(b/9)). Which is greater: -1/4 or a?
a
Let n(g) = -3*g**2 - 17*g - 6. Let j be (-5 - 1)/(-10 - -8). Suppose -5*c - j - 27 = 0. Let m be n(c). Is m bigger than -14?
True
Let r be (5/7)/(-3*(-430)/(-105)). Which is smaller: 0 or r?
r
Let i = 2/25 + -62/25. Suppose -3*a + 4*a = 1. Let l be -1 + (-8)/(a - -3). Is l at least i?
False
Let r be -1 - (-1 + 4/2). Which is smaller: r or -16/19?
r
Let q(a) = a**3 + 4*a**2 - 8. Let s be q(-2). Suppose -21 = -4*l - 1. Suppose -5*c = -s*c + l. Which is greater: c or 0.2?
0.2
Suppose 5*k - 2*x = 2*x + 20, -2*x = 3*k + 10. Let s be ((-2 - -6)/(-4) + k)*-1. Is s > 3/14?
True
Let p be (26 - (-12114)/(-270)) + 4/(-30). Is -18 equal to p?
False
Let g = 96 - 34. Which is bigger: g or 243/4?
g
Let x = 131/2484 + -1/108. Which is greater: x or -1?
x
Suppose 0 = -0*q + 3*q + 3*g + 54, -3*q - 2*g - 54 = 0. Is q greater than -133/8?
False
Let c = 97 + -101. Let u(a) = -a + 1. Let i = 2 + 4. Let t be u(i). Is c greater than t?
True
Let s be 4/9 + (-28)/42. Let o = 77/18 - s. Do o and 6 have the same value?
False
Let k(t) = -t**2 - 46*t - 246. Let m be k(-41). Is m greater than or equal to -41?
True
Let o = -31 + 0. Let f = o + 20. Let y = f + 23. Is y less than or equal to -2/7?
False
Suppose 5*n = 3*h - 20, -3*n - 12 + 0 = -5*h. Let w be -1 - 13/(3068/(-240)). Which is smaller: h or w?
h
Suppose 7602 + 6942 = 24*c. Is c less than 607?
True
Let n(f) = f**2 - 4. Let g be n(-3). Suppose -7 = g*r + q - 20, -r - 5*q + 17 = 0. Is 10/13 != r?
True
Let f(n) = -10*n + 180. Let z be f(9). Are 92 and z equal?
False
Let l(f) = -7*f**3 + 6*f**2 - 7*f - 6. Let g be l(-1). Is g at least as big as -0.38?
True
Let x be ((-7)/(14/(-8)))/(-2 + 4). Suppose -14 = x*k - 12. Which is bigger: k or 20?
20
Suppose 0 = -5*f - 5*h - 15, -f - 3*h - 5 = -2*f. Let p be ((-2)/(-4))/(6/348). Let l be (-3)/24*p + (-3)/(-1). Is l greater than or equal to f?
True
Suppose -4228 = -15*n - 913. Is n not equal to 223?
True
Suppose -93*w + 82*w - 594 = 0. Is -379/7 at most as big as w?
True
Let d(r) = 5*r + 13. Let f(o) = -1. Let g(k) = -d(k) + 5*f(k). Let j be g(-13). Suppose -4*z + 5*h + 7 = j, 3*z = -h - 30. Does -21/2 = z?
False
Suppose 0 = -3*i, 12 = 3*p + p + 5*i. Let y be 0/(-10) + (-5)/(-1). Are p and y nonequal?
True
Let q = 97.7 + -104. Let d = -6.322 - q. Which is bigger: d or 0.1?
0.1
Let o(y) = 449*y - 1782. Let h be o(4). Let q be 1/3 - 41/(-3). Are q and h non-equal?
False
Suppose 29 = 11*i - 6*i - 4*d, i - 2 = -3*d. Suppose 0 = -3*y + 20 - 2. Let c = y - i. Is -1/10 at least c?
False
Let r be (-60)/8*(-60)/63*-1. Let s = -4657/651 - r. Are 0 and s unequal?
True
Suppose -7 = -h - 2. Suppose 2*f = 2, 2*f = 3*u + 4*f - 14. Suppose -45 = h*w - u*r, -2*w - 18 = 2*r + 3*r. Is -9 at least as big as w?
True
Suppose 3*t - 29 = -4*o, -6*t = -2*t - 2*o - 2. Which is greater: 64/29 or t?
t
Suppose 2*z + 6 = -2*c, 7 = -4*c - 2*z - z. Suppose x = 3, -2*o - c*x = -0*o + 8. Which is greater: -9 or o?
o
Suppose -28*i = -33*i - 645. Is i greater than -129?
F