 -3 - h. Are v and -1/4 equal?
False
Let s(d) = 18*d - 108. Let w be s(9). Which is bigger: 51 or w?
w
Let a be ((-1)/3)/(9/27). Let q be -1 + (a - 30/(-9)). Let i = -3 + 2.9. Is q != i?
True
Suppose 3*j - 3*b - 32 = -4*b, 2*b + 16 = 2*j. Let z be (-45)/(-6)*8/j. Which is smaller: 5 or z?
5
Let g = -64 - -257/4. Do -1 and g have different values?
True
Let t = 308 - 2782/9. Let i = t + 76/63. Let g(r) = r**3 - r**2 + 1. Let x be g(1). Which is smaller: x or i?
i
Let q be (-1 - 2)*2/3. Suppose 3*n + 1 = 7. Suppose 0 = -3*y + 15, -l - 5*y + 27 = -n*l. Is l greater than or equal to q?
True
Suppose 3*g + 0*g = 5*k, 4*g = -3*k + 29. Let n be (-1 + -5)*12/8. Let s be (n + 0)*3/(-18). Which is smaller: k or s?
s
Let c(i) = i**2 - 3*i + 4. Let y be c(2). Suppose -3*f + f = -y. Which is greater: f or -1/7?
f
Let b = 0.1 - -1.9. Is 2/5 less than or equal to b?
True
Let g = 0 + -4. Let n be 2 + g + (-88)/(-28). Which is greater: 2 or n?
2
Let c = -9846/11 + 884. Let p = c - -1564/143. Which is smaller: -2/3 or p?
-2/3
Suppose 10*k - 7 = 2*f + 5*k, -3*f = -4*k. Suppose 40 = 5*w - 3*t, -f*w - t - 8 = -5*w. Is 8 at most w?
True
Let t = -601/5 + 119. Suppose -3*h - h + 4 = 0. Let q be (0 + 0)/(h + 1). Which is bigger: q or t?
q
Let d = -2 + 1. Let m be 145/(-3) - (d - -1). Let z = m - -48. Which is smaller: z or 3/4?
z
Let p(r) = -6*r - 2. Let d be p(1). Suppose 2*h + 22 = 5*s, -3*s = h - s + 2. Is d at least h?
False
Let v = -0.002 + 0.052. Is -5 at most as big as v?
True
Let q = -14 + 10. Let m = 8.1 - 12. Let g = m - q. Is g not equal to -0.4?
True
Suppose -s + 0 = -3. Suppose 4*f - 19 = 3*l, l + 4 - 15 = -s*f. Let k(c) = c + 10. Let m be k(-13). Which is smaller: l or m?
m
Let w be (6/12)/(2/(-1140)). Let d = -6841/24 - w. Which is smaller: -1 or d?
-1
Let z be (-3 - 19/(-7))*-7. Suppose z*s + 0 = -14. Let x = s + 5. Which is smaller: -1 or x?
x
Let a be (-2)/26*(-1 - -2). Do 0 and a have the same value?
False
Let b = 0.4 - -0.6. Which is greater: b or 3?
3
Let n = 1/39 + 7/65. Is n not equal to 1/4?
True
Let p = 10904/23 + -474. Which is greater: p or 1?
1
Let a(j) = j**3 - 6*j**2 + 4*j + 5. Let x be a(5). Suppose x = m - 4, 2*d + 2*m = 3*m. Are d and 3 unequal?
True
Suppose 140*c - 595 = 145*c. Is c greater than -120?
True
Suppose -8 + 10 = j. Let x be 8/(-876)*(-1 - j). Let l = 140/219 + x. Are l and 1 non-equal?
True
Let h(p) = -2*p + 8. Let a be h(3). Is a less than or equal to 12/13?
False
Let s = 9 + -8.7. Let i = 0.6 - s. Is 1/4 >= i?
False
Let n = -7104/17 + 418. Suppose 4 = -3*q - v - 1, 5*q + 4*v = -13. Is q at least n?
False
Let a = -0.07 - 0.14. Let l = a + -0.09. Is -2 bigger than l?
False
Let w(p) = p + 6. Let x(b) = b**2 + 5*b - 6. Let l be x(-5). Let m be w(l). Suppose m = 5*n + 5. Which is smaller: n or 2/15?
n
Let q = -288 - -4891/17. Which is smaller: q or 1?
q
Suppose 2*p = -6 + 26. Let j be (-2)/p - 149/5. Let u be j/35*-7*1. Which is smaller: u or 5?
5
Let z be ((-2)/6)/((-30)/(-72)). Let d(h) = -h**2 + 7*h - 7. Let l be d(6). Which is smaller: l or z?
l
Suppose -10 = 5*c - 2*a - 3*a, 2*c + 2*a + 12 = 0. Let w be (c + 3)/(-2 + -2). Which is greater: -1 or w?
w
Suppose 0*v = -2*v + 2*b - 6, 0 = 4*v + 2*b - 12. Let t = 677556123/4556 - 594869/4. Let m = t + 3/67. Which is smaller: v or m?
m
Let p = 16/5 + -124/45. Let m(t) = t**2 + 3*t + 2. Let n be m(-2). Which is smaller: p or n?
n
Let s = 91 + -50. Suppose 5*w + 11 = s. Is w != 6?
False
Let a be ((-3)/(-9))/(2/(-6)). Let y be ((-6)/(-9) + a)*-3. Let p = y - 4. Is p < -3?
False
Let p = -35 - -35. Is p greater than or equal to -45?
True
Let b = -0.85 + 1.78. Let y = b - -0.07. Which is smaller: y or -0.06?
-0.06
Let k = 3 + -3. Let g = -9 - k. Are -7 and g equal?
False
Suppose 23*h + 16 = 24*h. Is h at least as big as 77/5?
True
Let r = -15.3 + 13. Let i = r + 2. Let s = i + 0.1. Is 0.1 > s?
True
Suppose 4*r = r - 3. Suppose 0 = -2*u + 4*x + 172, -3*u + 2*x + 268 = x. Let m be (-27)/u*(-1 - -3). Which is smaller: m or r?
r
Let x be (-84)/(-38) - 4/2. Let g = -66/133 + x. Is 2/7 at most as big as g?
False
Let m be (-8245)/(-18) - (-21)/(-14). Let d = -457 + m. Is 0 > d?
True
Let f(v) be the second derivative of -4*v - 1/12*v**4 - 9/2*v**2 + 0 - 11/6*v**3. Let s be f(-10). Which is smaller: s or 2/13?
2/13
Let a = -8 - -5. Suppose 0*s - 26 = -2*s - 2*u, 5*s - u = 41. Suppose 0*f - 3*f = i + 3, -3*i = -f + s. Is i at most a?
True
Let u = 1/69 + -31/23. Let w be -1 - 1 - (-4)/16*0. Which is greater: w or u?
u
Let w = 1012359/8 + -126318. Let m = w + -226. Is m != 1?
True
Let h be (6/9 + -1)*96/(-2608). Which is bigger: 1 or h?
1
Suppose -3*y + 35 = -5*j, -j - 3*y = 9 + 16. Which is bigger: j or 0?
0
Let j = 0.01 + -0.01. Is -0.05 >= j?
False
Let n = 3 + -3.2. Is 5 <= n?
False
Suppose 15*w - 10*w + 10 = 0. Let t(v) = 2*v + 4. Let j be t(-3). Are w and j unequal?
False
Let s(t) = t + 1. Let z be s(5). Suppose 2*x = -x + z. Let c be 2/(-8) + x/8. Which is smaller: c or 1?
c
Let m = -0.8 - -1.8. Is 6/7 at least m?
False
Let i = -1 - -1. Let y = 0 - i. Let l = -134.9 + 135. Is l < y?
False
Let q(v) = -2*v**2 + 35. Let f be q(0). Let n = -26 + f. Is n less than 9?
False
Let d = -21578/13 + 1658. Which is smaller: -1 or d?
d
Let o = 0 + -5. Let z = 6 + o. Which is bigger: -1/8 or z?
z
Let b be (-270)/(-4)*16/12. Suppose 0*s - 5*s = b. Let z be 10/45 + 22/s. Is z not equal to -1/3?
True
Let t be 2*(-2)/(-4)*0. Suppose 5*q - 25 = 2*a - 0*a, -3*q + 4*a + 15 = 0. Let o(g) = -g**3 + 4*g**2 + 6*g - 5. Let x be o(q). Is x at least t?
True
Suppose -6*q + 46 + 14 = 0. Which is bigger: 48/5 or q?
q
Let k = -449 + 17509/39. Suppose 0 = 5*v - 3*g - 8, v + 2 = 5*g + 8. Is v greater than or equal to k?
True
Suppose 0 = -0*m + 2*m - 4. Let n = -30 - -35. Which is greater: m or n?
n
Let z be -2 + (1638/(-88))/(-9). Is 1 greater than z?
True
Let d(k) = k**3 + 5*k**2 - 4*k + 3. Let p be d(-5). Suppose -4*g + p = 3. Let f be (-10)/4*(-1)/g. Which is smaller: f or 1?
f
Let r = 10 + -6. Let d be 2571/(-1815) + 0 - -1. Let p = 2/121 + d. Are p and r nonequal?
True
Let h be -2 - 2*21/(-6). Suppose -4*i + 4 = -2*d, 3*i - h*d = -d + 3. Let j be 1/(-2) - i/14. Which is bigger: j or 0?
0
Let n be -1*7/21*(2 - -1). Is n at least as big as 2/95?
False
Suppose 0 = 2*z + 4*c - 100, 8*c - 3*c = 0. Is z at least as big as 50?
True
Let k = 1 - 0.8. Let d = k - -0.3. Is -1/3 smaller than d?
True
Suppose -3*f + 11 = 3*d - f, -d - f = -3. Suppose 0 = -2*m - 1 - d. Which is smaller: -4 or m?
-4
Suppose 3*h = -r - 272, 3*h - 5*r + 288 = -2*r. Which is bigger: -93 or h?
h
Let n(a) = 2*a - 3. Let p be (-212)/(-18) - 2/(-9). Suppose 3*c + 5*u = 1, 3*c - p + 1 = 5*u. Let r be n(c). Does r = 3/2?
False
Suppose -22*a + 1062 = -368. Which is greater: a or 66?
66
Let p be (-120)/(-64) + -1 + -1. Let l = 2 + -2. Is l at most as big as p?
False
Let g be (-45)/1 + (-18)/(-6). Is g at most -42?
True
Let r(k) = -k**2 + 2*k + 3. Let w be r(3). Let z be (165/(-336))/((-3)/4). Let b = z - 3/4. Which is smaller: w or b?
b
Suppose -3*b + 4*x = 11, 3*x + 11 = -2*b - 2. Does -3 = b?
False
Let o be (-2)/(-3 + 1)*8. Suppose -o*y + 42 = -2*y. Is y != 2?
True
Suppose 3*j - 3*u + 0*u = -3, 0 = j + u - 1. Let p = -1 + j. Which is smaller: 2 or p?
p
Suppose -5*j = -5*h + 65, -2*j + 42 + 44 = 5*h. Which is greater: h or 0?
h
Suppose -5*s + 3*s = 0. Let l be 72/378*-2*(-9)/(-48). Which is greater: s or l?
s
Let k(b) = b**3 + 4*b**2 - 4. Let u be k(-4). Let n = 4 + u. Is n bigger than -2/3?
True
Suppose 8*q - 5*q + 3 = 0. Let h be (-5)/4*(-4)/(-20). Which is bigger: q or h?
h
Suppose -23*h - 285 = -18*h. Are -56 and h nonequal?
True
Let o = -11 + -12. Let y = o - -18. Let n = -63/2 + 32. Which is smaller: n or y?
y
Let r be (-9)/(-1) - 21/(-7). Let w be 4*-3*(-2)/r. Let i be (5/3)/(-1) + 2. Is i greater than w?
False
Let c = -13 - -22. Suppose -c*f + 32 = -5*f. Is 6 at most as big as f?
True
Let a = 3 - -7. Let o = 10.4 - a. Is -3 equal to o?
False
Let s = 456 + -457. Suppose -5*m + 7 = t, -5*m + 2*m = 0. Which is smaller: t or s?
s
Suppose 14*c - 20 = 64. Is 5 < c?
True
Let c = -3/5 + 31/35. Let o = -7 - -4. Which is smaller: c or o?
o
Suppose 0 = 2*p + p. Let q = -664/7413 + -2/353. Which is smaller: p or q?
q
Let x = 8.84 + -9. Let n = 0.06 + x. Which is