s smaller: -1/16 or c?
-1/16
Let t = 0.1 - 0.1. Let i be -2 + 4*9/3. Suppose 0 = 15*c - 13*c - i. Is c not equal to t?
True
Let b be -7*18/(-84)*2/(-3). Let j = -82 + 48. Which is smaller: b or j?
j
Let i = -29 + -15. Let p be (i/18)/(115/(-69)). Which is smaller: p or 0?
0
Let t be -3*(-5 + 2)/27. Is t > 26?
False
Let p(i) = i**2 - 5*i - 4. Let v = -9 - -15. Let b be p(v). Let t be b/56 - 6/(-24). Which is smaller: 0.1 or t?
0.1
Suppose -32*p + 4*b - 148 = -37*p, -62 = -2*p - 3*b. Which is smaller: p or 45?
p
Let h be 41/(-164) + (6/(-8) - -2). Which is greater: h or 15/23?
h
Let o = -33.8 - -2.8. Let m = o - -31.2. Which is smaller: m or 0.6?
m
Let s be ((-4)/(-7))/(3*(-8)/240). Is -7 at most s?
True
Suppose -6 = 2*a - 3*o, o - 6*o = 2*a - 26. Let y be a/(-4)*(-4 - 4). Suppose -4*q + 26 = 2*v, q + 20*v = 15*v + 11. Is y at most as big as q?
True
Let t = -0.07 + 3.07. Let b = -187.2 - -190. Let g = t - b. Is g greater than -0.2?
True
Let u = 3 + -2.9. Let l = 11/94 + -773/1786. Which is smaller: u or l?
l
Let d be (-6)/(-16) - (-8 + 744/448). Is 7 at most d?
False
Let a(w) = -w**3 - 2*w - 5. Let i be a(-4). Let l be (i/3)/(209/33). Let f = l - 12/95. Which is smaller: 3 or f?
3
Suppose 2*v = 5*v. Suppose v = 6*k - 36 + 12. Let h be ((-2)/k)/((-6)/(-12)). Which is greater: h or 0.2?
0.2
Suppose 0 = -5*p + 31 - 36. Let o(w) = 10*w - 2. Let z be o(-5). Let y be (-1)/2 - z/56. Which is greater: p or y?
y
Suppose -v = 4, -32*n = -35*n + 5*v + 44. Which is greater: -1 or n?
n
Let c be (-80)/60*(-2)/(-60). Is c >= 1?
False
Let b = 13049 + -13049.1. Let c = -23 + -16. Which is smaller: b or c?
c
Let u = -1154 + 1087. Is u smaller than -68?
False
Let g be (35 - -3)*-13*(-7)/84. Do 42 and g have the same value?
False
Let l = 1097/181279 + 2/1363. Which is greater: 1 or l?
1
Let k(s) = 4*s**3 + 2*s + 1. Let x(z) = -z**3 - z - 1. Let p(g) = -k(g) - 3*x(g). Let i be p(2). Let y be 4/(9/(-45) - 8/10). Is y <= i?
True
Let d be -3 - (-2 - -19)/(-1). Let z be (-2)/(-7) + (-18)/d. Let x = 142 - 1568/11. Which is smaller: z or x?
z
Suppose -j = -i + 19, -4*i - 6*j + 3*j + 62 = 0. Let r be 2/6*-3*1. Is i greater than or equal to r?
True
Let f = -0.1 + 0.1. Let a = -846 - -848. Which is greater: a or f?
a
Let p = 100493/582 + -518/3. Which is smaller: 0 or p?
0
Suppose 2*l = -0*l - 2. Let m = -38 + 41. Suppose 3*w = 4*o - 3 - 2, m*w + 6 = 3*o. Is o smaller than l?
False
Let s(x) = -x**3 + 34*x**2 - 33*x + 1. Let c be s(33). Which is smaller: c or 6/373?
6/373
Let m be ((-501)/(-264) - 2)*16/(-48). Which is smaller: 0 or m?
0
Let k(n) = -n**3 - 10*n**2 - 11*n - 20. Let s be k(-9). Is s at least as big as -20/29?
False
Let c be ((-14)/6 + 3/9)/(-2). Is c less than or equal to 2/473?
False
Suppose 4*f = -f + 40. Let c be f/44 + 225/33. Which is smaller: 9 or c?
c
Let k(s) = -s**3 - 8*s**2 - 6. Let g be k(-8). Let n be ((-1)/(-322))/((-4)/(-16)). Let r = -1767/322 - n. Is r at least as big as g?
True
Let t = -22 - -12. Let b = t - -14. Let k = 2 - -1. Which is bigger: b or k?
b
Let r be -7 - -21*(-240)/(-18). Which is greater: 272 or r?
r
Suppose 1 = 5*v - 19. Suppose -5*w + 175 = 3*i, 0 = 2*w + i + v*i - 51. Are 38 and w equal?
True
Suppose 5*a = -5*s, 4 = -2*a - 4*s + 2. Suppose -2*d - 360 = 6*d. Let m be (-21)/d - 2*(-3)/18. Which is greater: a or m?
a
Let i be (-2 - 32/(-18))/(1/(-9)). Suppose z = -2*z + i*x - 27, 0 = -3*x - 9. Does -11 = z?
True
Let h be ((-10)/(-7))/(50/175). Which is greater: h or 15?
15
Suppose -4*z + 2*t - 34 = -8*z, 0 = -z - 3*t + 1. Let v be ((-6)/z)/((-24)/(-105)). Which is smaller: -3 or v?
-3
Suppose -11*g - 761 = 1010. Is g less than -162?
False
Let b = 0 + 3. Suppose 0 = -3*m + b, j + 2*m + 6 = 3*j. Which is smaller: j or 3?
3
Suppose -7*g + 6 = -6*g. Let r(k) = 2*k**2 + 27*k - 6. Let n be r(-14). Which is greater: g or n?
n
Let i = -2.33 - -0.42. Let t = -0.09 + i. Which is smaller: 0.01 or t?
t
Let g = 33/13 + 127/78. Which is smaller: -1 or g?
-1
Let q = 211 + -459. Is -248 greater than q?
False
Let x be 2 - (-6)/(3 - 1). Suppose 0 = x*z + 3*o - 2*o - 32, 12 = -4*o. Suppose -3*w - z = -a, 4*a + 4*w - 28 = -0. Is a bigger than -1?
True
Suppose 3*m = -0*k - 4*k + 17, -5*k = m - 13. Suppose 0 = -5*r, 0*y - k*y + r - 12 = 0. Let q = y + 5. Which is bigger: 1/3 or q?
1/3
Let p be (-13852)/(-28) + 4 + (-6)/(-21). Let r = p + -2486/5. Are 2 and r non-equal?
True
Let k = -76.97 - -77. Which is smaller: k or 2?
k
Suppose -4*d = -9*d - 135. Let t = -12 + 12. Suppose 0 = 5*b - 3*k + 155, t*k + 2*k - 66 = 2*b. Which is smaller: b or d?
b
Let q = -5.8 - -6. Let k = q - 0.32. Let x = 5.1 + -5.2. Which is smaller: x or k?
k
Suppose 4*z - 5*o - 1 - 9 = 0, 6 = -3*o. Suppose z = 2*n - 6*n - 12, -4*n - 12 = 5*v. Let u = -14 + 27/2. Is u <= v?
True
Let d(s) = -s**3 - 7*s**2 - 6*s + 3. Let r be d(-6). Suppose -4*b - 5*t + 25 = -0*t, -r*t = 4*b - 15. Is b < -0.13?
False
Let g = 2.6 + -0.6. Let a = -19 + 9. Let y be (-40)/a + 16/(-6). Which is smaller: y or g?
y
Suppose -6*m - 636 = 4*w - 2*m, -5*w - m - 779 = 0. Let s be w/106 - (-15)/10. Which is smaller: 1 or s?
s
Let v be (-14)/(-63) - 4280/18936. Is v at most as big as -1?
False
Let n = -1.09 - 53.91. Let d = n + 54.9. Is 47 > d?
True
Let y = 4 - 1. Let a be (-180)/(-810) - (-7)/9. Is a greater than or equal to y?
False
Let p = -852/8471 - 245337660/499789. Let d = p - -491. Is 0 at most d?
True
Suppose 2*t + 4*n - 8 = 0, -13 = -5*t - 5*n + 2. Suppose o + 51 = 3*y, 4*y + 350 = -3*o - t*o. Let h be 2/6 + o/9. Which is bigger: -6 or h?
-6
Suppose -17*g + 16*g - 44 = 0. Let j = g + 62. Suppose m = -4*w + 12 - 5, -3*m - j = -w. Is w >= 3?
True
Let x be 2050/(-27) - 34/459. Which is smaller: -74 or x?
x
Suppose 5 - 1 = 4*r. Let f be -1*(-3)/3 - r. Let g be 1/7 + (-6)/238. Which is smaller: g or f?
f
Let j be ((-7)/7)/((-194)/3). Is 1 at least j?
True
Let z = -6228 + 6253.51. Let j = -0.51 + z. Let c = j + -24.8. Is c bigger than 2/17?
True
Suppose -2*p + 5*t - 8 = -38, 12 = 3*t. Let c = p + -12. Do 12 and c have the same value?
False
Let z be (-231)/6*(-5 + 3). Suppose -5*v + 12*v = -z. Which is bigger: v or -69/7?
-69/7
Let g be (-39)/312 + 357/(-24). Let l = 27 - 41. Which is smaller: g or l?
g
Let b = 8 + -2. Suppose 14 = -5*m - b. Let v be 46/(-11) - (0 + m). Is 6 greater than v?
True
Let d = 3.47 + -0.47. Let y = 21.06 + -21. Is d > y?
True
Let o(t) = -t**3 - 3*t**2 - 4*t - 3. Let l be o(-1). Which is greater: l or -1/5?
-1/5
Let l be 7*3/((-9)/6). Let p = l + 14. Which is smaller: 7/6 or p?
p
Suppose -42 = -4*w - 5*u, 0 - 10 = -5*u. Suppose 22 = -4*c - 18. Let i be 126/15 - (-4)/c. Is w smaller than i?
False
Let s(n) = -4*n + 23. Let v be 2 + (2 + -2 - -4). Let c be s(v). Let z be 0 + (c - 1) + 2. Which is smaller: 1 or z?
z
Let w be ((-162)/(-10) - 3)*(-30)/(-9). Do 130/3 and w have the same value?
False
Let r = 37.976 + -38. Let k = r - 0.076. Which is smaller: -3.7 or k?
-3.7
Suppose 3*w - 70 - 9 = 2*f, -f + w - 39 = 0. Suppose -33*u + 72 = 1425. Let g = u - f. Which is smaller: g or -4?
-4
Let s = 1.47 - 0.97. Which is bigger: s or -2/5?
s
Suppose 2*p = -4*p. Suppose 3*o - 4*d + 3 = p, o + 2*d - 7*d + 12 = 0. Suppose -5*v - o*j + 28 = 0, -2*v - 9 = -3*v - 4*j. Is v not equal to 4?
True
Let o(u) = -7*u. Let f be o(-3). Let k = f - 13. Is 7 at most as big as k?
True
Let j = -18 + -1. Which is smaller: j or 0?
j
Suppose -4*d - 9 = -d. Let v = 0 + d. Which is smaller: 3 or v?
v
Let n = 9 - 17. Let v = -2.87 - -4.4. Let b = v - 1.43. Does n = b?
False
Suppose -2*p = -12*p + 50. Suppose 5*x - 3*x + 6 = 0. Which is smaller: x or p?
x
Let l = -14222/9 + 1580. Does l = 33/2?
False
Suppose 5*m - s = -12, 7*m + 8 = 6*m + 3*s. Is 11/10 bigger than m?
True
Let d be (-1866)/(-22) - 2/(-11). Do 83 and d have the same value?
False
Let b be ((-14)/244)/(878/(-676)). Let l be (-1 - 0)/(2424/(-30) - 7). Let o = l - b. Which is bigger: 1 or o?
1
Let w be ((-1386)/(-25333))/(8/14). Are 0 and w unequal?
True
Suppose 52*t + 330 - 122 = 0. Which is bigger: t or -29?
t
Let q = -1.46 + 34.6. Let m = 33 - q. Let u = m - -0.25. Which is smaller: 1/3 or u?
u
Let z = 0.0844 - 0.0044. Which is smaller: 53 or z?
z
Let g = 736 - 1011. Which is smaller: -274 or g?
g
Let l(c) = -c**3 - 9*c**2 + 10*c. Let h(n) = -n**2 + 12*n