is smaller: 18 or q?
q
Let b = 19.4 - 20.4. Are 2/999 and b nonequal?
True
Let z = 11.87 + 0.13. Let b be (2/3)/(-1) - 5/(-30). Does b = z?
False
Let l be (0/(-2))/(0 - 1). Suppose 3*p + 4*f - 15 = l, -5*p + 3*f = -0*f + 4. Let t = 20/57 - -6/19. Which is greater: t or p?
p
Suppose 28*t + 2016 = 34*t. Is t at least as big as 336?
True
Suppose -z + 2*x - 172 = -6*z, 0 = 4*z - 2*x - 152. Is 40 at least as big as z?
True
Let t = -7894/21 + 376. Is -0.7 > t?
False
Let a(d) = d**3 - d**2 + 1. Let y be a(-1). Suppose 4*n + 262 = -t, 0 = -3*n + 4*n - 4*t + 74. Let p be (-17)/154 - 12/n. Is p equal to y?
False
Let j = -9 - -7. Let x be -4 - j - (-18)/2. Which is greater: x or 9?
9
Let o = 21498 + -21406. Let z be (-13)/(1 - 8/7). Is o >= z?
True
Suppose t - 81 = -3*u, 0 = -5*u - 2*t + t + 133. Suppose -u = 4*v - 210. Are v and 45 unequal?
True
Let t = 531 + -500. Which is smaller: 129/4 or t?
t
Suppose 17*c - 12*c = 3*x + 317, -c = x - 65. Is c > 64?
False
Let t = 0.7 + 2.4. Let l = 3.08 - 0.08. Let c = t - l. Is c < -1?
False
Let b(r) = r**2 + 3*r + 4. Let c be b(-3). Suppose 2*n - 18 = c. Let q be 1*2*n/88. Which is smaller: q or -12?
-12
Let y(k) = k**2 - 9*k - 4. Suppose 3*a = 5*c - 62 - 3, -55 = -4*c + 3*a. Let d be y(c). Let w be (d/(-9))/(4/(-78)). Is w less than or equal to 12?
False
Let z(o) = 11*o**2 - 3*o + 4. Let d be z(2). Which is bigger: d or 122/3?
d
Let p(w) = -5*w - 52. Let l be p(-10). Let z be 6/28*7*l/12. Which is greater: -9/5 or z?
z
Let a = -94 - -284. Is a != -1?
True
Let u = 38 + -44. Let z(g) = 4*g + 15. Let f be z(u). Is -12 != f?
True
Let v = -16 + 15. Suppose 2*s = -4*j + 24, 0*s - 11 = -j - 3*s. Let m = -6 + j. Are m and v non-equal?
False
Let d = -0.35 + -28.65. Let n = 28.9 + d. Which is smaller: n or -12?
-12
Let y = -1.61 - -1.51. Are y and 163 nonequal?
True
Let t = 77.1 - 80.1. Which is smaller: t or 97?
t
Let l(t) = 2*t + 5. Let m be 4*(-4)/(48/15). Let u be l(m). Let j = 46 + -53. Which is smaller: j or u?
j
Let y = -178 + 178. Is 1/7 smaller than y?
False
Suppose 5*a + 0 - 7 = -2*n, 2*a + 32 = 5*n. Suppose -n = o - 4*o. Let s be ((-95)/(-15) + -7)*-6. Which is smaller: s or o?
o
Let j be (-2)/(-4) - 129/(-6). Suppose 2*l - 4*l = -j. Let p(h) = -100*h - 3491. Let f be p(-35). Which is greater: l or f?
l
Let s(x) = x**2 + 2*x - 2. Let p be s(2). Suppose -10*z = -4*z - p. Is z equal to -2/131?
False
Let y(i) = -i**3 + 64*i**2 - 65*i + 113. Let w be y(63). Is w >= -11/2?
False
Suppose -8*f = 4677 - 4709. Which is bigger: f or 14?
14
Suppose -f - 3*f = -4. Let o = -248 - -126. Let l = o - -116. Which is greater: f or l?
f
Suppose -3*g - w = -g - 9, 5*w + 25 = 4*g. Let r = -8 - -20. Suppose -u = -g - r. Which is bigger: u or 16?
u
Let r be -5 + (1 + (-3)/3 - 1). Let o be (-99)/5 - r/(-30). Are o and -1/3 nonequal?
True
Suppose s = 4*a + 2, -2*s + a = 4*a - 4. Suppose -m + 3*g + 46 = 0, -3*m + g + 46 = -s*m. Does 46 = m?
True
Let y = 3.61 + -4.61. Which is smaller: y or -4?
-4
Let y be (5 + -3 + -2)/(-1*2). Let x be (1 + -2 + (y - 0))*-2. Are 24/17 and x nonequal?
True
Let c = 28 - 23. Suppose -5*a = v - 12 - 44, 0 = c*v - 5. Which is smaller: a or 8?
8
Let b(h) = h**2 + 7*h + 3. Suppose 4 = -4*x, -6 + 4 = -2*y + 2*x. Suppose -5*o - 18 - 17 = y. Let p be b(o). Which is smaller: p or 8/5?
8/5
Let b = 633 - 645. Is b less than or equal to 0.21?
True
Let n be 9/27 - (-7)/(21/(-16)). Let m(s) = -s**3 + 7*s**2 - 7*s + 5. Let t be m(6). Which is bigger: t or n?
t
Let w = 16 + -46. Let n be 2 - (-3)/((-9)/w). Let y = 26 - 14. Is n != y?
False
Let a(c) = -c**3 - 11*c**2 - 12*c - 19. Let j be a(-10). Let h be 36436/(-174) + (-3)/(-9). Let k = -209 - h. Is j greater than k?
True
Suppose 5*v - 176 + 518 = -3*r, r = 3*v + 194. Are v and -71 equal?
False
Let l be (-4409)/102 - 4/(-6). Let f be (1 - 8) + 990/20. Let m = l + f. Is m equal to -1?
False
Suppose 4*z - 5*z = 1. Let d = 25 - 46. Let h be 0 - (-7)/(d/6). Which is bigger: h or z?
z
Let h(t) = -12*t - 7. Let v be h(-1). Let m be (v/((-60)/(-8)))/2. Is -1 bigger than m?
False
Let j = 4 + 1. Let k = 7 - j. Let m be (-6)/9 + 0 - 0. Which is smaller: k or m?
m
Suppose -2*g + 4*p + 128 = 0, 2*p + 2*p - 8 = 0. Let b be (g/20 - 3)/(33/(-15)). Which is greater: -1 or b?
b
Suppose 31*m - 33*m - 126 = 0. Which is greater: -62 or m?
-62
Suppose 11 = y - 3*g, -3*y + g + 4 + 69 = 0. Is y smaller than 25?
False
Suppose 25 = -2*r + 7*r, -2*b + 37 = r. Suppose 13*o - b*o = 117. Which is bigger: -38 or o?
-38
Suppose 0 = 158*i - 173*i - 15. Is i at least as big as -12/37?
False
Suppose o - 21 = 4*o. Let z = o - -8. Let p be -7*(2 + -4 + z). Are p and 6 unequal?
True
Suppose -6*z + 10 = -8. Let w = 12 - z. Which is bigger: w or 1?
w
Let p be 175/(-35) + (-21)/(-4). Which is smaller: 30.5 or p?
p
Suppose 6*n + 135 = 291. Is 36 at most n?
False
Let m(d) = -13*d**2 + 78*d - 3. Let i be m(5). Is i >= 60?
True
Suppose 99 = 7*z + 4*z. Suppose g = 7 - 12. Let k = 14 + g. Are z and k nonequal?
False
Let l be 195/26*(-356)/(-6). Suppose 7*p = 5*b + 2*p - l, 0 = -4*p - 8. Which is smaller: b or 86?
86
Let t be 1*(2 - (-28)/2). Suppose -4*o + 15 = y + 3, t = -y + 3*o. Let v be (45/24)/(2/y). Which is smaller: -5 or v?
-5
Let d(z) = -z**3 + 33*z**2 + 17*z - 291. Let m be d(33). Is 271 smaller than m?
False
Let w(g) = g + 5. Let d(f) = f**3 - f**2 - 3*f - 4. Let t be d(3). Let l be w(t). Let z be ((-4)/l)/(3/(-15)). Is 8 > z?
True
Let c be -15 - (11 - 22) - -1. Is c != 15?
True
Let b = -24.5 - -25.5. Let j = -0.23 + -0.07. Let n = 1.3 + j. Is n > b?
False
Let b be 2/(-4) - 114/(-20). Let d = -49117/10 + 4902. Let f = d + b. Which is smaller: f or 0?
f
Suppose 30*h + 252 - 42 = 0. Does h = -132/19?
False
Let q = 2 + 0. Suppose 4*s - 5 = -z + 9, -s - 4*z - 4 = 0. Suppose -6*a + 7*a + 6 = s*k, k = 2*a + 5. Which is bigger: q or k?
q
Let r = -2587/5 - -517. Which is bigger: -123 or r?
r
Let l(n) = -n**2 - 12*n - 5. Let i be l(-11). Suppose -i*z = -8*z. Is 2/7 less than or equal to z?
False
Let s be (-3)/2*152/12. Let l = -2712.2 + 2712. Which is bigger: s or l?
l
Suppose -5*o - 56 = -3*u, -5*u + 3*o + 40 + 32 = 0. Which is bigger: 6 or u?
u
Suppose -7*k = -3*k + 592. Suppose -5*w - 34 = -64. Let i be k/w - (-10)/(-30). Which is smaller: i or -24?
i
Let m = -430 - -614. Let h = m - 180.05. Let p = 4 - h. Is 3 smaller than p?
False
Suppose 3*u + 15*a = 11*a - 7, 3*a = -4*u - 14. Is u less than or equal to -66/13?
False
Suppose -3*c - 4*a - 71 = 0, 2*c + 45 = 4*a + 11. Let v be ((-35)/c)/(2*-1). Is -1 at least v?
False
Let f = -96.571 + 0.481. Let b = 108.1 + f. Let y = 12 - b. Which is smaller: 2 or y?
y
Let m = -0.007 + 0.078. Let t = 0.724 - 0.724. Which is smaller: m or t?
t
Let j = -709 + 708.31. Which is bigger: j or 6?
6
Let g = -13 - -13. Suppose t = -g*t + 3. Suppose 7*k + 4 = s + t*k, 3*s = -5*k - 22. Is s less than -3?
True
Suppose 11 = 3*c + u - 5, -2*c + 28 = 5*u. Suppose -c*k = -3*k + 27. Let h = -16 - k. Which is smaller: 8 or h?
8
Let t = 4 + -2. Let o be t + 23/(-7) + 1. Let k = -5.89 - -2.89. Do k and o have the same value?
False
Let n = -11 + 5. Let v be 8400/(-196) - (0 - 1/(-7)). Let r = -48 - v. Are r and n equal?
False
Suppose 4*o = -3*h + 3, 3*o + 84*h - 86*h + 2 = 0. Which is smaller: o or 2/9?
o
Let t be (-4 + (-232)/(-56))/(10/7). Suppose u - 6*u + 10 = -k, -3*u = -4*k + 11. Suppose -a = -u*j - j - 11, -4*a + 3*j + 5 = 0. Which is smaller: a or t?
a
Suppose r - 4*u + 5 = -4*r, 5*u = 2*r + 19. Let f be (-2)/r*36/8. Let h = 19 + -24. Is f >= h?
True
Let r = -9 - -12. Let x(p) = -p**3 + 4*p**2 - 5*p + 3. Let h be x(r). Let u = h + 8. Is 3 < u?
True
Suppose -24 = 2*s - 32. Suppose -13*i + s*i = 0. Suppose 3*f + 5*k = f, 4*f - 5*k = 0. Is i at least f?
True
Suppose -w + 46 = -5*f, 3*f - 2*w + 29 = -0*f. Suppose o = -2*o + 3*k - 30, 6 = -2*o - 5*k. Is o > f?
True
Suppose 3 = r - 2. Let h be 0 - (r + (2 - 5)). Let b = 28 - 34. Is b less than or equal to h?
True
Suppose -4*y + 4 = z - 0*y, -z + y = 6. Let u = z + 9/2. Is -25 > u?
False
Let g = 56.17 + -66.2. Let o = 150 + -150.03. Let p = g - o. Which is smaller: p or 0?
p
Let s(m) = -m - 7. Let a be s(-6). Let d(h) = h + 4. Let b be d(-7). Let u be b - 0 - (-40)/14. Which is smaller: a or u?
a
Suppose -4*v + 8*v - n = 885, 3*v = 3*n + 67