 - 309 = -5*r, 5*r + 3*c + 2*c - 300 = d. Is 61 >= r?
True
Let t be (-8)/1026*(-2 + 15/10). Which is smaller: t or -1?
-1
Let b be 9/5 + 24/40. Let a = -7 + 9. Which is smaller: b or a?
a
Let o = 0.006 - 0.096. Let a = -1.11 - -0.11. Let d = a - 0. Do d and o have the same value?
False
Let u = -81.6 - 363.4. Is 1/3 > u?
True
Suppose -4 = -0*u + 4*u, 2*m + 14 = 2*u. Let c = 1 + 1. Is c greater than m?
True
Let s(a) = 3*a**2 - 1. Let t = -33 - -35. Let q be s(t). Are q and 19/2 nonequal?
True
Let o be (2 - 3/1)*-10. Let x = -10 + o. Suppose -2*p - 2*p = x. Which is greater: p or 4/11?
4/11
Let x be 2/(-18) + (-78)/(-23544)*28. Is 2 at most x?
False
Suppose -2*z - 2*g = 4, 19 - 23 = -4*z - g. Let i be 1/7*(-3 - -15). Is i equal to z?
False
Let l be (66/(-17))/(-3) + -1. Suppose -35*w = 5*w - 63*w + 23. Is w >= l?
True
Let l = -131 + 139.1. Let b = l + -10. Let o = b + 0.9. Are -3 and o unequal?
True
Let k = 924 - 891. Which is greater: k or 13?
k
Let f = 1362/29 + -47. Suppose 611 - 664 = -53*v. Is f greater than v?
False
Let v be (-14)/(-56) - 3/(-12)*-37. Which is smaller: v or -2?
v
Let b = 2.9 + -3. Let i = 15 - 14. Suppose 0*y = -y - i. Which is bigger: y or b?
b
Let z = 1218.12 + -1263. Let o = 45 + z. Which is bigger: o or -1?
o
Let t = 179 + -88. Let h = t - 90.9. Are -5 and h equal?
False
Let l = -9656 + 48831/5. Let j = l + -109. Are j and 1 equal?
False
Let z = -312 - -222. Is z at least as big as -100?
True
Let k be (-8)/(-72)*3/(9/6). Which is bigger: 14.2 or k?
14.2
Suppose 0 = -2*c + 3*c - 15. Let i = 35 - c. Is i >= 20?
True
Let a be (-31 + 24)/(21/(-18)). Is -28 at most as big as a?
True
Suppose -v + 29*v + 588 = 0. Which is bigger: v or -13?
-13
Let s(z) = 2*z + 37. Let y be s(-15). Suppose 0 = 11*f + 114 + y. Which is smaller: f or -21/2?
f
Let x = 206.01 + -206. Let g = 7/6 - 2/3. Is g at least as big as x?
True
Let b = 0.05 - -0.95. Let u = 85 - 88.7. Which is bigger: u or b?
b
Let y(v) = 2*v + 185. Let t be y(5). Is t >= 583/3?
True
Let j = 0.65 - 28.65. Let v = j - -28.3. Do -7 and v have the same value?
False
Suppose 0 = 2*s + 5*n + 14, 0*s = -5*s + 3*n + 27. Suppose -s*a + 19 - 4 = 0. Suppose -a*k + 13 + 7 = 0. Is 5 equal to k?
False
Suppose 1 = 4*i + g + 5, i + 20 = -5*g. Let b be (i + -4)/(-8) - 1. Are -31 and b unequal?
True
Let p = 18/19 + -67/171. Suppose 0 = 3*u - d - 4, 0 = 4*u - 20*d + 19*d - 4. Is u greater than or equal to p?
False
Let c = -31.8 - 34.2. Are -1/4 and c nonequal?
True
Let c be 11 + -16 - 2045/65. Which is bigger: -35 or c?
-35
Let w = -0.162 + 0.232. Which is smaller: w or -20?
-20
Suppose 2*i + 5*z = -0*i - 4, 0 = -i + z - 9. Let p = -3 - i. Which is smaller: p or 5?
p
Let u = 18.62 + 0.38. Let i = u - 13. Is 0.1 < i?
True
Let s be (-2)/14 + 4/28. Suppose -2*g - b - 3*b - 12 = s, 4*g + 3*b = -34. Let a = 0 - g. Do 10 and a have the same value?
True
Suppose -3*v = -17 + 2. Suppose 0 = -5*q + 5 + v. Let j be (-14)/42*(5 + -2). Is j >= q?
False
Let k = -36 + 46. Suppose 0 = -4*r + 5*b + 17, 2*b + 10 = -5*r - k. Are -3 and r nonequal?
True
Let j = 299 - 300. Let u be 7/(-6) + (-1)/(-1). Is j <= u?
True
Let x(p) = 2*p**2 + 3*p + 7. Let l(h) = 1. Let y(s) = -5*l(s) + x(s). Suppose -2*o = -5*z - 1, -z - 12 = z + 5*o. Let t be y(z). Which is greater: 1/2 or t?
t
Let v = 11 + -25. Let o be 6/(-42) - 6/v. Do o and 2 have the same value?
False
Let b = 193.94 + -194. Let j be (-5)/5*(-1)/(-2). Is b less than j?
False
Suppose 3*j + x = -167, -219 - 8 = 4*j - 3*x. Let f be (j/(-14))/((-2)/(-7)). Which is bigger: f or 9?
f
Let d be ((-53)/2*4)/((-1)/(-6)). Let t = -10806/17 - d. Which is smaller: 1 or t?
t
Let v be -3 - 0/((-3)/1). Let s be 2*((-692)/40 + v/15). Are -36 and s equal?
False
Let r be ((-2522)/(-3) - 0) + 1068/801. Let j = -613455511/59 + 10396709. Let l = r + j. Is l at least 0?
False
Let p = 7 - 2. Suppose 0 = 5*y - 2*f + 16, -2*y - f - 6 = 4. Let a = y + p. Is a smaller than 2/23?
False
Let q(c) = -2*c + 5*c + 2*c - 17 + 18*c. Let b(m) = 4*m - 3. Let k(n) = 34*b(n) - 6*q(n). Let i be k(0). Which is smaller: i or -2/69?
-2/69
Let l be 22/(-33) + (-41)/(-3). Suppose l*z - 17*z = -44. Is z greater than or equal to 10?
True
Let p = -39 + 315/8. Is p < -14?
False
Let b be 328/364 - (-4)/(-14). Let d = b + -93/130. Let k = 53 + -53.1. Is k less than or equal to d?
True
Let c = 0.135 + -0.08. Let t = -13.555 + c. Let y = 14 + t. Is -2/7 not equal to y?
True
Let y(u) = 3*u**2 + 4*u - 6. Let l be y(-3). Suppose 4 = l*s - 5*s. Let g = -4 - -8. Is s smaller than g?
True
Let q(l) = 2*l**3 - 9*l**2 - 2*l - 16. Let x be q(5). Is x smaller than 1/777?
True
Let i be 92/(-138) - 6/19935*-2218. Is i equal to 0?
False
Let d = -144 + 828. Is 685 smaller than d?
False
Let n be (-3)/((-6)/(-4)*-1). Let q be (3/n)/((-10)/4). Suppose -162 = 8*y - 146. Which is greater: y or q?
q
Let i = -153673/2013 - 337/183. Let h = i + 78. Suppose -4*x = 8, -a - 4*x = -4*a + 8. Which is bigger: a or h?
a
Suppose 6*t - 10*t = -28. Let v = 6 - t. Are v and 4/13 equal?
False
Let f = 158 + -157. Are f and 10/73 non-equal?
True
Let l be (-2)/(-35)*15/(-100). Which is smaller: -0.1 or l?
-0.1
Let f = -23 - -31. Let w(m) = 7*m**2 - m - 2. Let z be w(-1). Which is bigger: z or f?
f
Let u be ((-207)/(-1))/(-3)*-1. Is u at least 0?
True
Let p be ((-29)/25)/(111/185). Are p and -2 equal?
False
Let q = 0 - 0. Let w be -1 + (-3 + 2 - 0)*-11. Let z be (4/12)/(w/(-12)). Do q and z have different values?
True
Let n be (-2 - -1)/(1/18*-2). Let u = -2 - n. Is u bigger than -12?
True
Suppose -241 = 6*v - 3*v - 5*f, -v + 2*f = 82. Let r be (-16)/v - 5641/72. Let m = r + 78. Is m less than 1?
True
Let j = -468 - -631. Are j and 165 equal?
False
Suppose -6*n - 2*w = -4*n - 18, 5*n - 4*w = 36. Suppose -n*x + 12*x - 28 = 0. Is 1 at least as big as x?
False
Let o(r) = r**2 - 6*r - 4. Let h be o(3). Are h and -12 nonequal?
True
Let c be (-16)/14 - (-2 + -5 - -6). Which is smaller: c or -3?
-3
Let r = 244/63 - -1240/63. Which is smaller: r or 25?
r
Let o = -762 - -761. Which is smaller: -1/279 or o?
o
Suppose 5*d + 3*i - 29 = 0, d + 4 = i + 13. Let f(x) = 28*x**2 + 3 - 49*x**2 + 20*x**2 + 4*x + 2*x. Let c be f(d). Which is smaller: -5 or c?
-5
Let j be 54/42 + (12/7 - 2). Which is smaller: j or 0.035?
0.035
Let b be (-4)/(-3)*9/(-1). Suppose -6*m + 8 = -8*m, -q - 3*m - 26 = 0. Which is smaller: b or q?
q
Suppose 2*a + 6 = 3*a. Let r(m) = m**3 + 14*m**2 - 6*m - 78. Let c be r(-14). Are a and c non-equal?
False
Let j = -25 + 30. Suppose 8*i = 7*i + j. Does 5 = i?
True
Let h be 15/(-6)*2*-4. Let v be (3 + 26/(-10))*5. Suppose 3*w + v*w - h = 0. Is w at least 3?
True
Let l = 61862611/384923 + 2/54989. Let q = 161 - l. Which is smaller: 14 or q?
q
Let d(x) = -2*x**3 + 46*x**2 + 54*x - 25. Let y be d(24). Which is greater: -2 or y?
y
Suppose -1155 = 545*l - 556*l. Is 637/6 not equal to l?
True
Let j = -0.86 + -1.46. Let a = 0.32 + j. Which is bigger: a or 1/2?
1/2
Suppose -34*g = -32*g - 8. Suppose -5*c = l - 11, g*c - 3*l - 27 = -c. Suppose h - 4*d = -2*h + 31, c*d + 17 = h. Which is smaller: h or -2?
-2
Suppose 0*h - 4*h - 184 = 0. Let b be (h/69)/(14/6). Is -2/19 greater than b?
True
Suppose 28 = -4*g - 0*g. Let s(l) = -l**3 - 8*l**2 - 7*l + 6. Let z be s(g). Is z bigger than 7?
False
Let r be (-2)/4 - (-1)/2. Let o = 78054/17 - 4590. Which is smaller: r or o?
r
Suppose -3*s - 10 - 2 = 0, w + 4*s + 12 = 0. Suppose -4 = -w*n, -4*v + 0*n = 3*n - 43. Suppose -v = -2*m + 7*m. Which is smaller: -1/2 or m?
m
Let c(g) = -6*g - 18. Let r be c(-6). Let i be (r/(-10))/((-1)/15). Let k = i - 27. Is k >= 1/25?
False
Let z = -88.5 - -88.6. Which is bigger: -30.5 or z?
z
Let m = 14 - 61. Let k = 46 + m. Which is smaller: -0.9 or k?
k
Suppose 0*a = 5*a. Suppose -4*x + a = -5*u + 17, 2*u - 11 = 3*x. Let v(s) = s - 31. Let t be v(27). Is t less than or equal to x?
True
Let p(m) = m**3 - 3*m**2 + 2*m - 24. Let s be p(0). Is s > -24?
False
Suppose -1 + 4 = l. Let a = l - -16. Let q = a - 23. Is q bigger than 0.1?
False
Suppose 0 = -11*a + 9*a + 222. Let g be (-5 + a/22)*2. Which is smaller: g or 1?
g
Suppose 35*q = 40*q. Let p be (-32)/(-48) + ((-556)/210 - -2). Are p and q equal?
False
Suppose -3*d - 2*d + 240 = 0. Let x be 42/(-4)*182/(-39). Are x and d unequal?
True
Let f 