1. Let a be (28/(-105))/(p/(-6)). Is a at least o?
False
Suppose -4*f = 20, f = -4*c + 3*f + 50. Let q be c/(-25) + 44/10. Suppose 0*d + q*o - 13 = 5*d, 3*o - 11 = 5*d. Is 0.2 less than or equal to d?
False
Let k = -0.44 + 0.4. Let t = k + -0.06. Suppose 2*c + 3 = 1. Are c and t non-equal?
True
Suppose -3*c + 2*j - 22 = 9, 3*c = 4*j - 35. Let f be 5/((-5)/(-3)) + c. Suppose -2*r - 2*g - 21 = r, -5*g = 15. Which is greater: f or r?
r
Let a = -847 + 9347/11. Which is smaller: 4 or a?
a
Let m(r) = -r**3 - 4*r**2 + 5*r - 7. Let d be m(-5). Is -6 less than or equal to d?
False
Let r = -35 - -34. Let g = 0 - -0.1. Is g greater than r?
True
Suppose -b - 3*b + 16 = 0. Let x(h) = h**2. Let w = -2 + 4. Let u be x(w). Are u and b equal?
True
Let f = -61 - -58. Is 5 less than f?
False
Let v(m) = -m**3 - 4*m**2 + 6*m + 5. Let t be v(-5). Let r = 3 + -2.96. Let x = -2.96 - r. Which is smaller: t or x?
x
Let n(b) = -4*b**2 - 33*b + 37. Let q(l) = -l**2 - 8*l + 9. Let w(u) = -2*n(u) + 9*q(u). Let s be w(-7). Suppose s = -4*h + 8, -p = 3*p + h + 10. Is p > -3?
False
Let r(s) = s**2 - 2*s - 3. Let b be r(4). Let a = b - 3. Suppose 2*w - 4*k + a = -k, 3 = -3*w - 3*k. Which is smaller: -0.1 or w?
w
Suppose -7*y + 40 = -3*y. Do 8 and y have the same value?
False
Let u be 3 - (-22)/(-8)*1. Suppose -8 = 4*q, 2*m + 7*q + 4 = 3*q. Suppose -b = 2*h + 1, m*h - 3 = b + 2*b. Which is bigger: h or u?
u
Let x = 137 - 134. Let u(c) = c**2 - 4*c - 4. Let r be u(4). Are r and x equal?
False
Let l(d) = -4*d + 8. Let z be l(-6). Let o be z/(-18)*(-1)/(-4). Is 0 at most o?
False
Let f be (-2)/8 - (-1)/2. Let k = -0.4 + 1.4. Let g = k - 1.1. Is f greater than g?
True
Let r = 59 - 60. Are -3/53 and r equal?
False
Suppose -5*z + 17 = m, -m + 5*m - z + 37 = 0. Let q be (-3)/(-4)*m/63. Suppose -2*o = 182 - 184. Which is bigger: o or q?
o
Let g = -86/429 + -1/33. Is g greater than or equal to 0?
False
Let u = -97 + 97. Is 6/17 less than u?
False
Let m = 229.0394 - -0.0206. Let j = m + -232. Let g = 0.06 - j. Which is bigger: g or 1/4?
g
Let u = 13.2 + -10.11. Let k = u - 0.09. Which is bigger: k or -1/2?
k
Let j = 0.1 + 0. Let q = 0.9 + j. Which is smaller: q or 7?
q
Suppose -24 = 2*v - 6*v. Let w be (45/v)/(-3) - -3. Which is smaller: w or 0?
0
Let y(j) = 3*j - 7. Let c be y(-2). Is c != -12?
True
Let p = -11 + 21. Let x be p/12 - (-2)/12. Let f be (-8)/12 + x/(-3). Which is smaller: f or -2/3?
f
Let c = -4 + 15. Do c and -1 have the same value?
False
Suppose -4*a - 3*h + 25 = 2*h, 0 = 3*a - 4*h + 20. Suppose a = -g + 8 - 2. Which is smaller: g or 7?
g
Let h(c) = c**3 + 7*c**2 + 5*c + 4. Let t be h(-6). Is t smaller than 11?
True
Suppose -3*z = 2*z. Let q = 0.34 - 0.3. Let c = q - -0.36. Is c > z?
True
Suppose -2*k = -7*k + 5. Is 1/7 > k?
False
Let o = -2 - 19. Let r be o/(-5) + 2/(-10). Let w be 2/r + 11/(-30). Is w smaller than -1?
False
Suppose k - 7 = 12. Is k smaller than 19?
False
Suppose -3*o = -5*y - 17, 0 = -6*y + 2*y + 5*o - 11. Let m be -8 - (1 - (-2 - y)). Let c(w) = w - 1. Let s be c(-5). Which is bigger: s or m?
s
Let v = 417 + -24609/59. Are v and 1 unequal?
True
Suppose 0*f + 5*v = 4*f + 22, -2 = 2*f + 2*v. Let m(s) = -3*s**2. Let z be m(-1). Are z and f nonequal?
False
Let k(q) = -5*q**2 - 1. Let l be k(-1). Let m = 4 + l. Which is greater: m or -4?
m
Let q(y) = -y - 2 - 3*y + 1 + 2*y. Let v be q(-2). Let u be 3*(v + (-43)/15). Are 1 and u unequal?
True
Let p(i) = i**2 + 8*i - 7. Suppose 8 = -q - 1. Let w be p(q). Suppose 6*o = 5*o - w. Which is smaller: -4/3 or o?
o
Let a be (-2)/(3 + -5 - -4). Suppose -2*u = -5*u. Let p = u - a. Which is smaller: p or -2/7?
-2/7
Let x(u) = -u**3 - 7*u**2 - u - 9. Let m be x(-7). Suppose 2*t - 14 = 2*h, t - 5*t + 25 = -3*h. Which is smaller: m or h?
h
Let z = -11.4 + 8.1. Let r = -0.3 - z. Let c = 6 + -6. Which is bigger: r or c?
r
Let r(w) = w**2 - 4*w - 4. Let j be r(5). Let a be j + -3 - (-3)/1. Which is smaller: a or -2/27?
-2/27
Let s = -8.5 + 8.4. Suppose 4*k = -4*u - 24, u = 2*u + 2*k + 11. Let m be (-9)/2 + u/2. Which is smaller: m or s?
m
Let y = 81 + -24. Suppose y - 17 = -4*c. Let a be 4/c*(6 + -1). Do a and -2 have different values?
False
Let o = 8 - 3. Suppose 10*b = o*b + 10. Are 2/3 and b equal?
False
Let q = 126 - 127. Let j = -3 + 2. Is q smaller than j?
False
Let m = 353/855 + 3/95. Let b(k) = -k**2 + 3*k. Let d be b(3). Is d at most m?
True
Let v be (-24)/36 - ((-4)/(-3))/(-2). Which is greater: v or 16/5?
16/5
Let h = 68 - 40. Let f be 4/(h/5) + -1. Suppose 0 = r + 2*z + 6, 7*z = 4*r + 2*z - 2. Does r = f?
False
Let u be 358/(-6) + 3/((-36)/(-8)). Is -59 bigger than u?
False
Let j(h) = 2*h**2 - 8*h + 5. Let k be j(6). Let z = 59/2 - k. Which is smaller: 2/27 or z?
2/27
Suppose -40*y - 3 = -43*y. Which is bigger: 1/19 or y?
y
Let s = 32 + -97/3. Suppose 4*y = 3*y - 2. Let j = y - -2. Which is smaller: j or s?
s
Let m = -0.052 + -2.448. Are m and 0.1 equal?
False
Let r = 1 - 7. Let z = r - -6.1. Let u = -0.04 + 0. Are z and u nonequal?
True
Suppose 3*j + 0*j + 238 = -s, -5*s = 2*j + 176. Is j > -78?
False
Suppose -5*m - 3*d = -6*d - 31, 0 = m + 5*d - 23. Suppose 4*p - m*p = 20. Suppose -x + 3 = -o, o + 4*x - 7 = 4*o. Do o and p have different values?
False
Suppose -o = -3*o. Which is greater: o or -1/19?
o
Let s = 2 - 1.7. Let l = 0 + s. Let v = -0.4 + l. Which is smaller: v or 1?
v
Suppose 2*m + 5*c - 7 = 0, 0 = 7*m - 3*m - 4*c. Let w be ((-4)/2)/(2 - m). Let s = w - -2. Is s < 1?
True
Let h = -5.8 + 5.5. Which is bigger: 0.12 or h?
0.12
Suppose 4*o - 5*s - 29 = 0, -8 - 6 = o + 3*s. Let x be (1/(-2))/(1/(-12)). Let p be x*o/10 + -1. Which is smaller: 1 or p?
p
Let w be (-4)/(-2)*3/(-78). Suppose -2*t + 0 = -2*p - 4, 0 = -2*p + 4*t - 6. Which is greater: w or p?
w
Let g(s) = s**2 - 6*s + 11. Let x be g(5). Do x and 3 have the same value?
False
Let z = 20 - 21. Is z not equal to 3/7?
True
Let h = -195/28 + 54/7. Let r = h + -5/12. Which is smaller: r or 0.07?
0.07
Let x be -3 - (-3 - (-2)/(-6)*1). Let a = 8570/21 - 408. Which is smaller: x or a?
a
Let g be 4 + -33 + 5/1. Which is bigger: g or -1/4?
-1/4
Let v(h) = h**3 + 11*h**2 + 9*h - 10. Let z be v(-10). Suppose 2*j + 1 = 3. Let y = z + j. Which is greater: 2 or y?
2
Let z be 0/(6/(0 + -3)). Suppose -v + 5*v = z. Which is smaller: -1/2 or v?
-1/2
Suppose -3*r - 9 = 4*f - 0*f, 5*r = 4*f + 17. Let u = r - 0. Let m be u + -2*(-27)/(-42). Do 0 and m have the same value?
False
Let v = 1 - 1.1. Let n = -11 - -10.2. Let g = n - -0.5. Does v = g?
False
Let x = -0.48 + 0.38. Suppose u = -0*u. Which is bigger: u or x?
u
Suppose -6 = -4*u - 2. Which is greater: u or 4/5?
u
Let t(h) = h**3 + 8*h**2 + 7*h + 2. Let w be t(-7). Let r be (w + -2)/(0 + 2). Let y be (-4)/(-10)*(-6)/12. Is r equal to y?
False
Suppose 2*t = -3*t + 236200. Let o = -331339/7 + t. Let p = -95 - o. Are 0 and p non-equal?
True
Let d be (-3)/(-9)*9 + -2. Do d and 2/7 have the same value?
False
Let b = 8059/79827 + 1/1353. Is -1 greater than or equal to b?
False
Let v = 5 - 3. Which is smaller: 0.4 or v?
0.4
Let j be ((-2)/5)/((-14)/10). Let s(u) = -u**3 + 6*u**2 + u - 1. Let b be s(6). Let n(p) = -p + 5. Let c be n(b). Which is smaller: j or c?
c
Let r = -99 + 163. Let z = -46 + r. Are z and 1/3 equal?
False
Let s be (426/8)/(2222/(-8)). Let l = s - -1/101. Is l <= 0.1?
True
Let x = 6 + 3. Is x equal to 8?
False
Let m(b) = b**3 + 20*b**2 + 19*b - 2. Let h be m(-19). Suppose -4 = 3*t - t. Is t > h?
False
Let g be (-3)/(-2) + 74/4. Let b be 4/g - (-2)/(-10). Let i be (b + -1)/(44/8). Which is smaller: i or 0?
i
Let m(d) = -d**3 + 2*d**2 - 2. Let h be m(2). Let k be 2 + (0 - (6 - h)). Which is smaller: -2 or k?
k
Let v = 6 + -9. Let x = 25.6 + -27. Let y = 1.6 + x. Which is smaller: y or v?
v
Let a = -349820/7 - -50057. Let j = 69 + -152. Let y = j + a. Which is greater: y or 0?
0
Let v be (0 - 4/6)*24. Is v less than or equal to -16?
True
Let r be ((-3)/18)/(2/4). Let a = 1.99 - -0.01. Are r and a nonequal?
True
Let d = 3 + -7/3. Let k be 0/(-2) + (0 - 0). Suppose k*a = -a. Which is smaller: d or a?
a
Let t be (-2)/(-228)*(-8672)/12. Let x = t + 58/9. Which is smaller: x or 0?
0
Let b be 3/1 + 0 + -5. Let m = 0.01 + -2.01. Are b and m unequal?
False
Suppose 5*l = 4*n + 41 + 65, 0 = 2*l + n - 32. Let j b