r c?
u
Suppose -51 = 106*b - 109*b. Suppose 0 = -28*h - b - 11. Is 3 <= h?
False
Suppose -12*r + 6 = -9*r. Suppose 2*c - 5*b + 67 = 0, -3*b + r*b = -3. Let y = -28 - c. Is y >= -3?
True
Let t = -332693/14 + 23764. Are t and 1/55 non-equal?
True
Let z be ((-63)/27)/(42/36). Suppose -4*h = -2*h. Is h less than z?
False
Let c be -2 - -7 - (-104)/6*3. Suppose 3*o = -4*r - c, -14 = 4*o - 3*r + 87. Is -23 < o?
False
Let v = -36 - -41. Suppose v*r + 27 - 107 = 0. Let d be (-14)/10 + r/40. Is -12/13 at least d?
True
Let i = -53 + 50. Let d be (-5)/(2745/1092) + i + 5. Let a = -405 - -406. Which is smaller: d or a?
d
Let c be (-110919)/(-1820) - 136/238. Let h = 241/4 - c. Which is bigger: h or 1?
1
Let m be (-8 + (-1 - -8))/1. Let n be (19 - 23)/(m/(-121)). Is n not equal to -0.1?
True
Let v(o) = o**2 - 4*o + 4. Let a be v(4). Let l(x) = -5*x - 23. Let q be l(-5). Suppose q*n + 0*n = 0, 4*k = 4*n + 16. Is k equal to a?
True
Suppose 0 = -37*s + 26*s + 44. Suppose 0 = 5*j - 4*j - 1, -2*b = -3*j + 55. Let c be ((-3735)/65)/(-3) + s/b. Is 19 at most c?
True
Let a(h) = -h**2 + 9*h + 9. Let n be a(7). Let i = 71/4 - n. Which is smaller: i or -4?
i
Let k = -16 + -12. Let h = -15 - k. Let y = 189.9 + -190. Is h at most as big as y?
False
Suppose 301*d + 271 = g + 296*d, 4*g - 3*d = 1016. Which is greater: 247 or g?
g
Let b(k) = 2*k**2 + 20*k - 34. Let p be b(-9). Suppose 0 = 50*v - 167 + 2817. Do v and p have the same value?
False
Let a = -0.0206 - 46.5794. Let k = a - -40. Which is greater: -0.1 or k?
-0.1
Let l be ((-2)/(-4))/(4/8) + 16. Suppose 157*a + 2*c = 159*a - 40, 5*c + 43 = 2*a. Which is smaller: l or a?
l
Suppose 23*v - 6280 - 22608 = 13018. Is 1823 smaller than v?
False
Let z = -2.204 - -1.158. Let o = z + 0.046. Let j = 2 + -6. Is o less than j?
False
Suppose -77*x + 55416 = 4981. Is 653 less than or equal to x?
True
Let l(v) = 9*v - 11. Let d(r) = -7*r + 12. Let g(y) = -4*d(y) - 3*l(y). Let q be g(-5). Which is smaller: -0.1 or q?
q
Let h = 3485 + -14071/4. Let n = 33 + h. Let f be 8 + 1825/(-175) + (1 - -2). Which is smaller: f or n?
n
Let l = 5093 + -13871. Let k be 28/(-98) + (-1046)/l. Let c = 2/231 + k. Which is smaller: c or -2/7?
-2/7
Let n be (-2052)/15048 - (-201)/22. Let u be (-3)/((1*-2)/8). Which is bigger: u or n?
u
Suppose 0 = -11796*v + 11754*v - 18816. Which is smaller: v or -436?
v
Suppose 0*i = 13*i + 52. Let a be 15/(-30)*i/8. Which is greater: -115 or a?
a
Let j = -2197 + 2296.9. Let o = 107 - j. Let t = o + -7. Is -0.3 at most t?
True
Let o be 0/(-2)*14/56. Suppose o*b = -b - 88. Is b >= -88?
True
Let u = -2205621259/7184555 + -27/30835. Let f = u - -307. Which is smaller: f or 1?
f
Let u be (952/(-51))/((-180)/945). Let o be (-4)/10 + 477/5. Is u less than o?
False
Let j be (4/16)/(18/(-360)). Which is smaller: -89/20 or j?
j
Let s = 1993/4 + -997/2. Is -0.1421 at least s?
True
Let x = 197 - 195. Let a be (-17037)/(-270) - (-1)/x. Is 64 at most as big as a?
False
Suppose k = 4, 0 = -4*t + 2*k - 5*k + 44. Suppose -2*g = -x - 14, -t*g - x + 21 = -3*g. Suppose g*u - i + 2 = -2*i, -4*i = 8. Are u and 1.2 non-equal?
True
Let h(u) = -u**3 + 8*u**2 - 9*u - 11. Let b be h(6). Let s be 6/(-33)*b - 96/(-24). Do 3 and s have the same value?
False
Suppose -11 = 8*y - 3. Let x be 14/7*((-14)/(-4) + y). Which is greater: x or -1?
x
Suppose 5*j - 8*j + 4*t = -243, -5*t + 324 = 4*j. Let y = j - 82. Which is smaller: 6/59 or y?
y
Let o = 21924 + -21993. Which is bigger: -22 or o?
-22
Let h = -29.85275 + -0.14725. Let o = -3.2 - -3. Which is bigger: h or o?
o
Let w be ((-2 - -3) + 1)*(-2)/(-582). Let m be (-15)/(-7) - (-13)/(-91). Suppose -7 = m*o + 3*b, o + 3*b - 6*b = 10. Which is smaller: w or o?
w
Let n be (14/(-161) - (-189)/322)*1604/(-6). Is n at least -1?
False
Let g(w) = 3*w**3 - 21*w**2 - 69*w - 21. Let q be g(-4). Which is smaller: -266 or q?
q
Suppose -5*j = -3*j - t + 42843, -4*t = j + 21444. Which is smaller: -21423 or j?
j
Let k = 5449/8 - 681. Is 1/89 equal to k?
False
Suppose -5*v = -a + 828 + 850, 0 = -2*a - 4. Let c be ((-28)/v)/(5/(-8)). Are 1 and c nonequal?
True
Let g = 408.2 - 366. Let u = g - 43. Let m = 2.2 - u. Is 11 greater than m?
True
Let o be (-44)/396 + (-64)/(-9) + (-71)/10. Which is greater: -46 or o?
o
Let l(j) = -j**2 - j + 129. Let c be l(11). Let d be c/(-7) - (-1107)/63. Is d greater than or equal to 14?
True
Let p(q) = 5*q**3 - 9*q**2 + 9*q - 31. Let d be p(6). Let b = 31940/41 - d. Let m(a) = -a - 4. Let w be m(-4). Is w greater than or equal to b?
False
Let d be (-1 - -2)/(1/6). Let k = -300 - -197. Let x = 108 + k. Is d <= x?
False
Let q = 55855/353989 - -2/18631. Which is smaller: q or -2/103?
-2/103
Let b(f) = -3*f**2 - 20*f - 1. Let l(g) = g**2 + g. Let h(n) = -b(n) - 4*l(n). Let p be h(17). Let z = -152 - -303/2. Which is smaller: z or p?
p
Let d be ((-1)/6)/((-3)/(-222)). Let x = -9088 + 9075. Which is smaller: x or d?
x
Let z(d) = -392*d - 334. Let i be z(-1). Is 58 bigger than i?
False
Suppose -3*x = -2*b, -9*x + 7*x + 5*b = 11. Are 2286 and x unequal?
True
Let d(w) = 40*w - 241. Let i be d(6). Which is smaller: i or 4/29?
i
Let l = 402 + -404. Let v be ((-56)/(-21))/((-5)/(225/l)). Are 59 and v nonequal?
True
Let x = 47 - 36. Let j = -4.9 + x. Let h = 0.9 + j. Which is smaller: 0.1 or h?
0.1
Let j be 0 - -3 - (0 + -5). Suppose j*f - 35 = 3*f. Let q(m) = -m**3 + 6*m**2 + 8*m - 10. Let k be q(f). Which is smaller: -14/9 or k?
k
Let r = -3 - -4. Let i = -6.008 + 0.008. Let v = r + i. Is 0.2 at most v?
False
Let r = -1488 - -22318/15. Suppose -3*p = -p - 14. Let l = p - 6. Which is greater: r or l?
l
Let y be (-1 + 60/45)/((-1)/15) + -195. Are y and -185 equal?
False
Suppose p = -3*t - 48 - 132, -870 = 5*p + 5*t. Let y be (-8)/36 + (-74)/p. Let c(w) = 2*w**3 - 7*w**2 - 39*w + 141. Let s be c(4). Which is smaller: y or s?
y
Let k be -3 - 4/(2 + -4). Let m be k/6*4 + (-24)/(-9). Is -0.61 at least m?
False
Let n = -13 - -11.8. Let f = 3599 - 3598. Which is bigger: n or f?
f
Let r be 85/(-30) - (5 + 58/(-12)). Which is greater: r or -8?
r
Suppose -5*j + 222 = j. Suppose 0 = -q - 4*p + j, 4 = -4*q + 5*p + 47. Suppose -18*t + 73 = -q*t. Is 73 at least as big as t?
True
Let i(a) = -25*a - 161. Let w be i(-6). Let c be (w - 20328/(-1836))/(2/6). Is c <= 0?
False
Let r = -18 - -15. Let c be (r/6)/((-42)/31029). Let q = 1449/4 - c. Do q and -6 have the same value?
False
Let v be (2 + (-17)/(85/10))/4. Do 8/375 and v have the same value?
False
Let t(f) = -f - 5. Let h be t(-4). Let v be ((48/(-15))/8)/((-1)/(-10)). Let z be (-23)/(-10) + v + 2. Which is bigger: h or z?
z
Let m be 2464/(-26) + (-66)/286. Let h be (3/(45/(-48)))/((-1)/m). Is -304 at most h?
True
Let d(z) = z**3 - 9*z**2 - 11*z - 3. Let n be d(11). Suppose 0 = -k - c - 23, -3*k + 3*c = n - 19. Let j be (12/(-15))/(k/20). Is 2 at most as big as j?
False
Let k = -42555 - -42564. Which is smaller: -112/13 or k?
-112/13
Let v = -233607/35 - -34351/5. Let g = -196 + v. Let o = 61 + -669/11. Which is smaller: g or o?
g
Let g(h) = h**2 - 3. Let d be g(-4). Let r be 481/241 - (-11 + d). Which is greater: -1 or r?
r
Let f(c) = -42*c**2 - 17*c + 334. Let o be f(17). Is o at least as big as -12093?
True
Let a be 136/(-12) + 12 + (-808)/1194. Let j(r) = r**2 - 9*r - 9. Let t be 1/(-3)*-6 + 8. Let z be j(t). Which is smaller: z or a?
a
Suppose 4*s - 38279 = 23*z - 18*z, -9536 = -s + 5*z. Is -2/3 != s?
True
Suppose -10*z + 0*z + 280 = 0. Let t be 68/z + 5/((-35)/3). Let o be 12/(-5) + 2 - t/(-5). Which is smaller: o or -5?
-5
Suppose q = -9 + 8. Let i = -157013/597 - -263. Is q bigger than i?
False
Suppose -2*i - 2*i = -5*w + 43, -2*w - 26 = 2*i. Let k(g) = -3*g - 95. Let q be k(i). Which is smaller: q or -61?
-61
Let r = -22609/2978643 - 1/18218. Which is greater: -1 or r?
r
Let f = 70932/5 + -14186. Does 9720 = f?
False
Suppose -64*i = -5*l - 61*i - 1110, 2*i - 229 = l. Which is smaller: l or -12?
l
Suppose v + 21 = 5*g, -4*v = g + 3*g - 12. Suppose 0 = n - 4*q + 70, -3*n - q + 5*q = 170. Let d be (4/30)/(n/30). Is d bigger than v?
True
Let i = 1.17 + 47.83. Let d = i - 49.005. Let k = -0.105 - d. Which is smaller: 5 or k?
k
Let k = 5406 + -5399.5. Is k less than -4?
False
Let y = -110.02 + 110.12. Which is smaller: y or -4909/3?
-4909/3
Let r = -687