22
Suppose 5*i - 4998 = 3*i + 36*i. Which is smaller: -131 or i?
i
Suppose -925152 = 17*o + 31*o. Is -19274 greater than o?
False
Let y = -242 + 246. Suppose 21 = -y*m - 23. Is 5 at most as big as m?
False
Let k = 229889 + -8504876/37. Which is bigger: 26 or k?
k
Let i(a) = 14*a**2 + 2*a + 7. Let m be (4/3)/((-42)/63). Let c be i(m). Is c at most 2/5?
False
Suppose 39 = h - 5*p, -63*h = -61*h - 2*p - 6. Which is smaller: h or -128/11?
-128/11
Suppose -2*b + 2 = 0, 2*u - 27 = 6*b - 9*b. Let r(p) = 6*p - 50. Let a be r(u). Let o = -15 - -37. Does o = a?
True
Let l = -301/45607 - 8/773. Which is greater: l or 28?
28
Suppose -5*j + 2*g = 16, 3*j - 2*g = -g - 8. Is -1/9301 at least as big as j?
False
Let d(w) = w**3 + 2*w**2 + 2*w + 8. Let q be d(-6). Let n = 10946986/74109 + -4/10587. Let i = q + n. Is i bigger than -0.08?
False
Let q = -55373/1286028 + -1/9252. Let b = q - 5669/695. Which is greater: b or -9?
b
Suppose -j = 2*v - 3, -v = 2*v - j + 3. Is 2/43309 smaller than v?
False
Let q be (-4)/376*10632/(-34). Let o = 90/47 - q. Which is smaller: o or -1?
o
Let t = 77 - -2959. Which is bigger: 3035 or t?
t
Let u = 0.83 + -52.48. Let q = u + 51.6. Are q and -0.4 non-equal?
True
Let v be (-140)/(-959)*((-16)/3 + 5). Is v != 2?
True
Let v = 0.071 - 0.082. Let i = v + -11.989. Which is smaller: i or 1?
i
Let h = -11060 + 11258. Is h at least 198?
True
Let k = 2209 - 3861. Which is smaller: k or -0.2?
k
Suppose 5*w + 2*q = 9, 9*w = 10*w + 3*q - 7. Are 22/421 and w unequal?
True
Suppose 4*k + 62 - 14 = 0. Suppose 5*d + 3*q = -56, -142*d + 3*q = -140*d + 14. Which is greater: k or d?
d
Suppose -2 + 16 = -7*q. Let p be (-2 - -3) + (-5 - q). Let c be -4 + ((-39)/(-12) - p/(-8)). Is c < -59?
False
Let c = -12039 - -12039. Which is bigger: c or 1/390?
1/390
Suppose 0 = 2*h + 5*i - 30, -4*h + 9*h - 5*i = -30. Which is bigger: h or -13/191?
h
Let f = -4774 - -4740. Is f less than or equal to -36?
False
Let u(q) = q**3 - 5*q**2 + 4*q + 7. Let x be u(3). Let w be (-12)/(-532) - (-95)/133. Which is smaller: x or w?
w
Let v = -27 - -27.1. Let t = -9 - -8.97. Let x = t + -2.27. Is v > x?
True
Let s(o) = -8*o - 210. Let r be s(-22). Let l be -5 + ((-1208)/(-10))/(-4). Is r less than l?
False
Let s = -0.0173 - -3.1073. Let y = -3.19 + s. Let t = -0.21 + 1.91. Do t and y have different values?
True
Suppose 57*x - 48*x + 297 = 0. Let n = -13/29 - 5809/174. Is x at most n?
False
Let g = -2700 - -2739.43. Let f = g - 39.1. Do f and 11 have different values?
True
Let j be 13 - (21 + -9) - -33. Suppose -2*n = -47 + 15. Suppose 17 = d - n. Which is greater: j or d?
j
Suppose 6*z = 10*z + 4*t - 120, 4*z - 106 = 3*t. Let m(n) = 2*n + 13. Suppose 25 = 10*q - 55. Let j be m(q). Is z bigger than j?
False
Let z be (-37 - -32) + (10/(-15))/(2/(-15)). Which is smaller: z or 5/472?
z
Suppose 1008 = 44*a + 84. Suppose 0 = -q - z - a - 9, z = 4*q + 95. Which is greater: q or 7?
7
Let c be -28 + (8 - 45/15). Is c bigger than 25?
False
Let a(b) = -b - 5. Let d be a(-5). Suppose d = -0*m - m - 4. Let t be 63638/(-12690) - (-6)/405. Which is bigger: t or m?
m
Suppose f + 5*a = 4564, 5*a - 6408 = 3*f - 20040. Which is smaller: 4548 or f?
4548
Suppose -3*d - 5*j + 0*j = -127, 0 = d + 3*j - 37. Suppose -67*p - 6956 = -105*p - 110*p. Is d less than p?
False
Suppose -34*y = -25*y + 23310. Let g = 564619/218 + y. Which is bigger: 1 or g?
1
Suppose 0 = -5*z, 3*z - 69 = -3*v + 7*z. Let w be 7/1 + -123 + 114. Is v less than or equal to w?
False
Suppose -212*v - 21 = -246*v + 13. Is v at most 7/1679?
False
Let w(g) = 396*g + 769. Let k be w(-2). Is -0.08 at most k?
False
Let f be (-40)/12 + (20/12 - 1). Suppose 6*h + 2*h = 72. Suppose 150*v = 147*v - h. Which is smaller: v or f?
v
Suppose 0 = -3*y - 3*m + 96, 6*y = 7*y - 3*m - 20. Suppose 16*p - 45*p - y = 0. Which is smaller: 4/91 or p?
p
Let c(p) = -2*p**3 - 5*p**2 - 4*p - 3. Let s be c(-3). Let v be s/(-10)*10/(-4). Let o = 1612 - 1612. Is v not equal to o?
True
Let u = -283 - -262.4. Let j = u - -20.75. Which is bigger: 1 or j?
1
Let p be 2 - 3 - (3 - 5). Suppose 2*c - 5 = -3*l - 2*c, 5*l + 3*c - p = 0. Let a = 97001/102 + -951. Is a < l?
False
Let m be 6/32*176/132. Do -5119 and m have different values?
True
Suppose 2*j + 3*x = 19, 3*j + 3 - 19 = -2*x. Suppose -q - j*t + 11 = 0, 3*q = -q - 5*t + 29. Let z = -115/3 - -3329/87. Is q bigger than z?
True
Let w = 3366 + -3366. Which is greater: -10/89 or w?
w
Let b = 6564 + -39425/6. Is b not equal to -6?
True
Let k be (3/(-27))/(60/108). Which is smaller: k or -738/13?
-738/13
Let y = 0.10434 - 10.10434. Which is smaller: 3.58 or y?
y
Let j(a) = -555*a - 2033. Let z be j(-12). Do 4628 and z have the same value?
False
Suppose 2*i + 607 = -2*x - 749, -1350 = 2*i + 4*x. Which is smaller: -684 or i?
-684
Let s be ((-2)/4)/((-2)/(-64)). Let p(t) = 8*t + 5. Let b(o) = 19*o + 18. Let c(j) = -3*b(j) + 7*p(j). Let y be c(s). Is -3/2 <= y?
False
Suppose 7*z = 11*z - 4*x + 56, -3*z + 4*x - 44 = 0. Suppose 5*p - 4*k - 28 + 6 = 0, -k + 20 = 3*p. Let u be ((-2)/44)/(p/z). Which is smaller: u or -2?
-2
Let w = 1.5329 - 30.5329. Is w >= 26.7?
False
Let j = 8329 + -17532539/2105. Are j and 0.1 non-equal?
True
Let k be 0/((-6 + 0)/(-3)). Let f be (-4 - -1)/(1/(-1)). Let z be (f/(-12)*0)/(-3). Is z != k?
False
Let n(d) = -3*d - 46. Let j(q) = -6*q - 94. Let w(u) = 4*j(u) - 9*n(u). Let t(f) = -4*f - 2. Let p be t(1). Let z be w(p). Which is smaller: 18 or z?
18
Let o(k) = k - 2. Let s(n) = -4*n + 14. Let b(h) = -2*o(h) - s(h). Let d be b(13). Which is smaller: 18 or d?
d
Let y(t) = 3*t - 15. Let s be y(5). Let g be (-23)/92*(s - 4). Is 3/62 smaller than g?
True
Let g = -0.3529 + -3.6471. Which is smaller: g or 104.7?
g
Let r(z) = z**2 + 2*z. Let v be r(-2). Let a(t) = -13*t**2 + 53*t - 4. Let s be a(4). Suppose -u + 2*f - 6 = s, -3*u + v*u - 5*f - 7 = 0. Is 0 greater than u?
True
Let r = -33552/7 - -4801. Let p = -326/21 + r. Is -1 equal to p?
False
Let j(b) = -48*b**2 + 1831*b - 54. Let t be j(39). Do t and -2 have the same value?
False
Let a = 50.58 + -49. Let h = -0.9 + a. Let g = 0.87 - h. Is g at least as big as -3?
True
Suppose 19*f + 2 = 59. Let a = 9 - 8.8. Let l = a + -1.2. Which is bigger: l or f?
f
Let h = 1834/1145 - 2/1145. Let v(s) = -25*s**2 - 13*s - 52. Let r be v(-5). Let z be r/(-170) - 3/5. Which is smaller: z or h?
h
Let b = 3431 + -20533/6. Which is smaller: -42 or b?
-42
Let b(x) = 4*x - 5. Let c(h) = -h - 1. Let q(g) = -b(g) + 6*c(g). Let v be q(2). Let i = v + 36. Is i greater than -0.1?
True
Let a be (0 - (2 + 0))*(-49 - -81). Let w be (2*(-8)/a)/1. Does w = -63?
False
Let n = -75 - -74. Let o = -3368 - -131362/39. Which is bigger: o or n?
o
Suppose 3*a + 4*z = 5, 3*z - 4 = -3*a + 5. Let q(u) = u**3 - 7*u**2 - 7*u. Let i be q(a). Let n = i - -82. Is n smaller than 33?
False
Let l = 10481881/308 - 34032. Which is smaller: 0 or l?
0
Suppose -b = 4*m + 62, -47 = 3*b + 2*m + 139. Let t(k) = -k**2 + 332*k + 11982. Let r be t(365). Which is greater: b or r?
b
Let f = -64 - -80. Is f at least -1/3?
True
Suppose 40*z = 5*z + 85680. Let p be (z/(-618))/(-2) - 2. Let n be 10/(-35) + 4/14. Which is bigger: n or p?
n
Suppose 2*u + 37 = q, 7*u - 3*u + 65 = -q. Let m = u + 173/10. Which is bigger: 1 or m?
1
Let k(x) = x**2 - 17*x + 2. Let v be k(18). Let b = 14 - v. Let s = 22 + -29. Which is smaller: b or s?
s
Suppose -6*b = -9*b. Let s be (b + 2*-1)*62407/34. Let r = s + 532293/145. Which is greater: 0 or r?
0
Let x = -184 + 187. Suppose x*d = 5 - 14. Let l = -5 + 1. Is l bigger than d?
False
Let x = -7 + 17/2. Suppose 1123*s - 1050*s + 11 = 84. Which is smaller: s or x?
s
Let k = -22 + 22.108. Let c = 0.1103 - 1.1103. Is k not equal to c?
True
Let v = -116.16 - -511.16. Is -7/3 at most v?
True
Let a = 249826 - 4248332/17. Is -2/7 < a?
False
Let s = -28/30013 - 49670927/630273. Let c = s - -79. Are 1 and c unequal?
True
Let d = 320 + -314. Let u be d/8*(-5 - 906/(-186)). Let a(z) = -z**3 - z**2. Let k be a(-1). Is u smaller than k?
True
Let i = -0.686 - -0.186. Let u = 3500/9 - 389. Which is greater: i or u?
u
Let y = -12 - -16. Suppose 5*t = 2*o + 184, -2*t - 188 = -7*t + y*o. Suppose 0 = 5*m - f - 178, 15*m - 13*m - f - 73 = 0. Is m at least as big as t?
False
Let f = -9.15 + 62.95. Let t = -5