105 = 708. Let i = 67 - o. Which is bigger: p or i?
p
Let u = -1209 + 9685/8. Which is smaller: 1 or u?
1
Let x = -2/3835 + -7548/233935. Which is smaller: 1 or x?
x
Suppose -5*s + h + 36 = 0, -h + 6 + 7 = 2*s. Suppose -s = 2*m + 11. Let p be (-1)/2 - m/(-18). Is p greater than -2/21?
False
Let z be (-6)/4*(-2)/(-23). Let n = -77 - -82. Suppose 2*s - 8 = n*q + 4, -7 = -3*s + 2*q. Is s at least z?
True
Suppose 0 = 3*s, 6*l - 2*l - 5*s - 32 = 0. Let y be -2 - 10/(-6) - 3006/(-27). Let o be (-3 - y/(-39)) + (-264)/(-26). Which is smaller: l or o?
l
Let d be 99/36 - 2/(-8). Let l be (3 - 4)/(d/9). Let o be l + 1264/212 + -3. Which is greater: o or -1?
o
Let t = 3249 - 1713. Which is smaller: 1/2 or t?
1/2
Let d be (6 - 85/10)/(31/(-24)). Is d >= 3?
False
Let q = 318 - 646. Is q bigger than -328?
False
Suppose 134 + 25 = 2*b + 5*l, 5*l + 87 = b. Let c = -248/3 + b. Is c at most as big as -0.8?
False
Let s = -11 - -12. Let f be s - -2 - (-4)/12. Which is bigger: 3 or f?
f
Suppose 56 = k + k. Let j = 21 - k. Is -9 <= j?
True
Let l = -243/20 + 3889/60. Is 52 < l?
True
Let b(d) = d**3 - 10*d**2 + 14*d - 32. Let t be b(10). Which is bigger: t or 537/5?
t
Let c = 8.3 + -8. Let b = 2.921 - -0.079. Are c and b equal?
False
Let z = -122.05 + 122. Which is bigger: z or -24?
z
Let m be 9/(-11) - (-14 + 15). Let x = -173/77 - m. Is x at most -1?
False
Let c = 0.054 - 0.09. Let t = -0.136 - c. Is t greater than 0.05?
False
Let n = 738.6 + -126.6. Let f = 580.9 - n. Let o = f + 31. Is o not equal to 2/3?
True
Let k(a) = -a + 18. Let n(z) = -1. Let x(w) = -k(w) - 6*n(w). Let i be x(11). Is 1/14 at most as big as i?
False
Let i be 2 - ((-58)/14 - -6). Suppose -12 = 2*n + 4*t, 8 = -2*n - 2*t + 4. Suppose 0 = 2*s + n*s. Which is bigger: i or s?
i
Let z be 2*(7 - 4)*-67. Which is smaller: z or -403?
-403
Let i(o) = 22*o + 26 + 2 - 6*o + o**2. Let c be i(-11). Is c >= -25?
False
Suppose 2*v + 7 = 11. Let n(u) = 6 - u + u**v + 0*u**3 - 4 + 3*u**3 - 4*u**3. Let h be n(2). Are -2 and h nonequal?
True
Suppose 2*g - 7*g = -30. Suppose 0 = -2*k - 3*y + 12, 2 = -5*k - y + 32. Does k = g?
True
Let q = -759 + 760. Is q > 14/65?
True
Let a(w) = w**3 + w**2 - 3*w + 2. Let x be 2*1/2*(-9)/(-9). Let g be a(x). Which is bigger: 1/27 or g?
g
Let s = 0.75 - 1.65. Is s >= -1?
True
Suppose -6*m + 13*m + 7 = 0. Which is greater: -1/266 or m?
-1/266
Let r be (-2)/1*(-12)/24 + -53. Let i = r + 51. Are i and 2/77 non-equal?
True
Let o = -15.42 - -15.5. Which is greater: o or -0.078?
o
Let i be -3 + 33/12 - 0. Let m(y) = y + 4. Let w be m(-3). Let d be 3 - (w/(-4) - -3). Is d at least as big as i?
True
Suppose -4*h - 15*a + 2 = -16*a, -2*h - 6 = 3*a. Which is smaller: h or -1/33?
-1/33
Let w be 843/570 + (-3)/(-30). Is 3 at most w?
False
Let p = 18 - 17.58. Let b = 0.24 - p. Let n = 7.82 - b. Which is smaller: n or -1?
-1
Let d be (-2)/(-13) + (-37)/(-13). Let r be 12/d - 4/4. Which is bigger: r or 6?
6
Let p(c) = -c - 11. Let m be p(-6). Let u(w) = -w**3 - 6*w**2 - 6*w - 5. Let k be u(m). Suppose j - 4*j - 3 = k. Is 3/7 bigger than j?
True
Let a = 0.3 - 3.5. Let p = a + 3.1. Which is smaller: p or 4?
p
Let i(r) = r**3 - 8*r**2 + r - 6. Let a be i(8). Let y = -164 + 163. Is y equal to a?
False
Let o be 6/12*-6 + 120. Is 117 > o?
False
Let q be (-1*1*-43)/(-3). Let x = q - -14. Let p(k) = k**3 - k**2 + 4*k - 6. Let f be p(0). Which is greater: f or x?
x
Suppose 0 = 5*f - 17*o + 21*o + 2303, -4*f + 3*o - 1830 = 0. Are -460 and f equal?
False
Let a = -42.8 - -143.66. Let x = a + -100. Let v = 0.14 + x. Is -1/11 less than v?
True
Let b = -76 - -20. Let v be (-2)/3 - (-992)/(-18). Let t = b - v. Are t and -1/2 equal?
False
Let k be (186/165)/(4/(-5)). Let y = k + 1/110. Let c = 3 - 3. Is y less than c?
True
Suppose 5*a - 14 = -19. Suppose 2*t - 57 = -3*y, -4*t - y = -84 - 15. Let k be (2/t)/((-1)/2). Do a and k have different values?
True
Suppose 8*g = 3*g + 180. Suppose 5*u - g = 7*u. Let t = 19 + u. Is t not equal to 2?
True
Let i = -205 + 207. Is 7 at least as big as i?
True
Suppose -1 = -4*m - 17, -5*m - 20 = 4*q. Let j = q + -1. Let c = 165 + -1158/7. Which is greater: c or j?
c
Suppose 7*r = 23 + 19. Let f(q) = -q**3 + 16*q**2 - 25*q - 45. Let z be f(14). Which is smaller: z or r?
z
Let x(u) = -u**2 + 47*u - 59. Let q be x(44). Which is bigger: 2 or q?
q
Let l = -114701 - -8143279/71. Let f = l + 104238/14981. Let u = -529/11183 + f. Is 1 bigger than u?
True
Let z be ((-4)/(-3))/(24/180). Suppose -z = c - 15. Suppose -52 - 38 = c*h. Are h and -18 equal?
True
Let y = 288 + -233. Let q(x) = 55*x**3. Let b be q(1). Do y and b have different values?
False
Let y = -2.168 + -0.832. Which is greater: -210/13 or y?
y
Suppose -p + 2*x = 3*p + 70, -2*x = -3*p - 55. Let v = 18 + p. Let d = -1 - -1.3. Is d not equal to v?
True
Suppose 53 = -4*r - 3*h - 13, 3*r = 4*h - 62. Is -9 at most r?
False
Suppose 0 = 2*f - 2*d + 2, -3*f + 6*d = 7*d + 3. Let b be (-261)/(-2900) + f + 6/8. Which is smaller: 0 or b?
b
Let l = 187 + -119. Let f be ((-46)/(-3))/(1 + 28/(-36)). Is f <= l?
False
Let r = 179 - 197. Does -22 = r?
False
Let r = 165 - 169. Which is smaller: -0.1 or r?
r
Let c(k) = 5*k + 7. Let h be c(-3). Let f be 2/h*(5 - 8). Suppose -j - 4 = -2*g + 2*j, -5*g = -2*j - 10. Are g and f non-equal?
True
Let l(w) = -89*w + 126. Let m be l(5). Is m less than -318?
True
Let t = -37 + 37. Suppose -5*m + t*m + 4*k = -3, 5*m + 5*k + 15 = 0. Is -6/17 >= m?
True
Suppose 0 = 5*b - 5, -2*h - h + 3*b + 3 = 0. Suppose 0 = -2*y + 3*o, -h*y - o - 2 + 18 = 0. Is -8 greater than or equal to y?
False
Suppose 0 = 21*o - 18*o + 3012. Let v = o + 45176/45. Which is smaller: 1 or v?
v
Let g be (2 - 536/(-12))*(-24)/(-20). Let z be (-1*1)/(8/g). Suppose -4 = j + a + 2*a, -j - 12 = -5*a. Are z and j unequal?
False
Let x = -7 - -6.93. Let m = 0.32 + 2.28. Let z = 1.6 - m. Is z smaller than x?
True
Let w be (4/6)/((-4)/(-30)). Suppose -34 = -f + 5*h, -2*f - 4*h = -f - 34. Suppose 3*s - f = w*s. Which is smaller: s or -16?
s
Let u be ((-2)/(-12))/(4/12). Let r = -0.24 + 0.34. Let j = r - 0.1. Are j and u nonequal?
True
Let c be 2072/2826*3/(-34). Let i = -4/157 - c. Let s = i + 31/510. Are s and 0 equal?
False
Let o(r) = r**3 + 3*r**2 + 3*r + 4. Let q be o(-3). Suppose -25*w - 2991 = 116*w - 1017. Which is bigger: q or w?
q
Let o be (-582)/24*(-4 + 2). Which is greater: 50 or o?
50
Let t be (-10)/(-6)*(6 + 3). Is t less than or equal to 15?
True
Let u be (3 - 5)*838942/84. Let i = 59069/3 + u. Let z = -283 - i. Which is greater: z or -1/2?
z
Suppose -4*w - 12*w - 11904 = 0. Let x be w/152 - 2/19. Which is greater: x or -14?
x
Let x(z) = z**2 - 2*z - 4. Let h be x(3). Let k be (-2)/((-2274)/(-759) + -3). Let l = k + -7081/14. Which is bigger: h or l?
l
Let n(k) = 4*k + 1. Suppose 4*i + 3*u = -2, -i - 4*u = -3*u. Let o be n(i). Let x = -10/339 - -748/2373. Are x and o unequal?
True
Let a = 62.18 + -62. Let n = -0.15 + a. Which is smaller: n or 3?
n
Let d = 119 - 89. Let t = -60 - -27. Let z = t + d. Is -3 >= z?
True
Let y(x) = x**2 - 12*x - 12. Let j be y(13). Suppose 1 = -3*m - 2. Let s be (-17)/(-28) + m/(-4). Does s = j?
False
Let j(c) = c**3 - 29*c**2 + 27*c - 83. Let r be j(28). Which is greater: r or -110?
-110
Suppose -3*o - 7*z + 2*z - 37 = 0, 5*z = -5*o - 65. Which is greater: -16 or o?
o
Suppose -3*w + 7*w - 2*g - 576 = 0, 5*w + 4*g = 720. Suppose 0*i + 12*i = w. Is 80/7 at least as big as i?
False
Let h(a) = a**3 + 6*a**2 + 5*a + 2. Let v be h(-5). Suppose 3*j = 5*l + 13, 6 = -5*l + j - 5. Let q = l + 4. Do v and q have the same value?
True
Let l = 30.8 - 15.8. Let h = -14.1 + 0.1. Let z = l + h. Which is smaller: 4/13 or z?
4/13
Let d = -0.08 + 0.18. Are d and -75 equal?
False
Let p = -4366 - -3031. Is p less than or equal to -1?
True
Let p be 11 + -3 + (-48)/12 - (26 + 1). Suppose -44 - 61 = 5*y. Which is bigger: y or p?
y
Let n = -1045 - -1159. Is 115 >= n?
True
Let g be (-84)/70 + (-92)/(-60). Which is bigger: 255 or g?
255
Suppose -f + 5*x + 28 = 2, 4 = -f - x. Which is greater: 2/355 or f?
f
Let b = -570 + 569. Is b not equal to 23?
True
Let d(i) = 0 - 3*i + 7*i - 4 + 5. Let r be d(1). Suppose -r*b + 0*b = 5. Do b and 1/3 have the same value?
False
Suppose y + 3*y - 84 = 0. Suppose 0 = x - 2*a - 11, 2*a - 73 = -3*x