-l*f - 3 = 49. Are -26 and f nonequal?
False
Let b be (-3*4/(-15))/(46/(-115)). Which is smaller: b or 47/8?
b
Let j = 26 - 351. Which is greater: j or -326?
j
Suppose 4*a + c - 811 = 0, 4*a = -4*c + 9*c + 841. Which is smaller: 202 or a?
202
Let j be (-18 + 0 + 3)*14. Let u be (63/j)/(96/(-10)). Which is greater: u or -1?
u
Let b = -41 - -40.52. Let u = 0.58 + b. Which is smaller: 2/11 or u?
u
Let g = 0.97 - 1.51. Let m = g + 1.54. Is 0.021 greater than m?
False
Let k(z) = 9*z**2 - 190*z + 14. Let s be k(21). Does s = -6?
False
Suppose 24*k = -22*k - 2898. Which is bigger: k or 0?
0
Let q be 5/(-2) + (-1)/2. Suppose 67*v + 28 = 74*v. Suppose -o - 2*b - 1 = -v*b, -3*o - 19 = 2*b. Is q < o?
False
Let x be ((-87)/2)/((-12)/16). Which is smaller: x or 59?
x
Let j be 0/2 - (0 - -2). Let m be 23/5 - 38/(-95). Suppose -2*p = -m*p. Is j at most as big as p?
True
Let v be 51/30 + (-2)/1. Let m be -2*(5 - 3) - 0. Let w be -4 + (-2 - -2) - m. Which is smaller: w or v?
v
Suppose -5 - 5 = -2*h. Suppose -3*q + 3*v + 36 = -2*v, -3*v - 44 = -h*q. Suppose 2*p + q = -3*c, 4*p + 2 = 3*p - c. Which is smaller: 3 or p?
p
Let y = 112 + -113. Is 6/97 at most y?
False
Suppose 4*w = 4*w - 10*w. Are w and -1/261 non-equal?
True
Let v = 0.071 - -0.929. Let z be (-12)/1246*82/(-3). Let i = 2/89 + z. Which is greater: v or i?
v
Let r = 189/52 + -5/13. Is 2/9 at least as big as r?
False
Let v be ((-1248)/36)/(4/(-18)). Suppose -2*h = 4*h + v. Are h and -25 equal?
False
Suppose 0*t + 2*t = -5*d - 174, 0 = -3*d. Which is smaller: -784/9 or t?
-784/9
Let m(a) = 2*a - 70. Let t be m(34). Which is bigger: t or -9?
t
Let o = 148 + -157. Suppose 0*f + f + 7 = d, d = -3*f - 33. Let s be f/8*1/(-5). Which is smaller: o or s?
o
Let p = 3109/7 - 445. Which is smaller: -9 or p?
-9
Let t = -8 - -8. Let v = t + 2. Let r be ((2 + -3)/v)/(-2). Which is greater: -5 or r?
r
Let i be (-27)/(-1503)*6/(-9). Which is bigger: i or -1?
i
Suppose 18*h = 4*h. Suppose h = 5*f - w - 14, 5 + 0 = 5*w. Do 3 and f have the same value?
True
Let q(a) = 2*a**3 - 8*a**2 + 13*a - 14. Let k be q(5). Is 100 bigger than k?
False
Suppose -119 = b + n + 52, 2*b + 341 = -3*n. Is -174 at most as big as b?
True
Let y(n) = -n**3 - 9*n**2 - 10*n - 10. Suppose 5*d + 30 = 3*t + 2*t, -4*d - 4*t = 40. Let w be y(d). Suppose -8 = -j - 4*u, w + 7 = 3*j + u. Is 1 < j?
True
Suppose 0 = -3*x + 7*x. Let w = 4 - x. Suppose 0*z - 16 = -w*z. Which is smaller: 2 or z?
2
Let s = -558 + 1615/3. Which is bigger: -19 or s?
-19
Let j = -6 + 3. Let z(i) = -5*i**3 - 6*i**2 - 5*i - 5. Let m(b) = 4*b**3 + 7*b**2 + 4*b + 6. Let y(c) = 6*m(c) + 5*z(c). Let s be y(12). Does j = s?
False
Let h = -0.01 + -2.19. Let z = h - -2.06. Let b = z - -0.04. Is 9/2 at most b?
False
Let u(k) = -k**2 - 6*k + 8. Let w be u(-6). Suppose t + 14 = 5*g - 2, 0 = -4*t + g + 12. Suppose 4*z - 4*q = t + 12, 5*z - 12 = -3*q. Which is bigger: z or w?
w
Let z be -1 - 27/(-126)*1994/330. Let m = z + -1/110. Which is bigger: m or 19?
19
Let g(r) = -r**2 + 10*r + 60. Let i be g(-13). Is i greater than or equal to -238?
False
Let d(t) = 5*t - 260. Let o be d(-19). Which is bigger: -359 or o?
o
Let l = -50 - -52.68. Let k = l + -0.68. Is k >= 3?
False
Let l(q) be the second derivative of -q**5/20 - 5*q**4/12 - q**3/2 + q. Let s be l(-5). Suppose -27*z = -26*z - 15. Are s and z non-equal?
False
Let f be (0 - 6/2)/(-1). Suppose 0 = -f*z - z - 12. Let s(w) = 4*w + 7. Let a be s(z). Which is greater: a or -6?
a
Let o = -0.155 - -0.195. Suppose -h - 6 + 8 = 0. Which is bigger: o or h?
h
Let p(w) = w**3 + 46. Let c be p(0). Suppose -95 = -3*q + c. Let u = q - 66. Is -20 at most as big as u?
True
Let v be -278*2/(-3)*30/(-200). Let m = v + 128/5. Which is smaller: m or -2?
m
Let j(t) = -3*t**2 - 84*t + 33. Let b be j(-29). Which is smaller: b or -55?
-55
Let y be (-25*4/(-60))/((-5)/(-63)). Let v be 1 - (-1 - 19/1). Is v less than or equal to y?
True
Suppose 3*t - 5 = 2*t. Suppose -25 = -2*r + j, 18 = -7*r + 8*r + t*j. Which is greater: -2/13 or r?
r
Let s be 1/19*(-7 + 8). Let d = -39 - -25. Let o = 15 + d. Which is smaller: s or o?
s
Let c = -1/163 + 521/31785. Suppose -8*d + 6 = 14. Which is bigger: c or d?
c
Let k be 92/160 + 3/(-15). Suppose 1 - 5 = 4*a. Is k smaller than a?
False
Let b = -1.1 - 1.9. Let a = b + 2. Are -1/7 and a equal?
False
Let c(i) = i - 12. Let f be c(9). Let a be 5982/16*4/(-6). Let y = a - -247. Is f at least as big as y?
False
Let v be (2 - 1)/(13 + (-828)/24). Which is bigger: -0.2 or v?
v
Let h = 2351/42840 - 1/765. Let p = -37/168 + h. Let q be 2/(-8) + (-2)/(-8). Which is bigger: q or p?
q
Let u(v) = -2*v**2 + 99*v + 152. Let z be u(51). Which is smaller: z or -1/650?
z
Let c be (-4)/70*9/90. Let q = -81/1925 - c. Which is bigger: 0 or q?
0
Let w(d) = d**3 + 5*d**2 - 2*d - 5. Let l be w(-6). Let a = l + 20. Let c be 5/((-1)/(-6)*-3). Which is smaller: c or a?
c
Let l(h) = -h**2 - 16*h - 58. Let w be l(-9). Suppose -4*s = 5*m - 183, m - 54 = -0*m + w*s. Is 39 at least m?
True
Suppose -2*m - 19 = -5*i, 10*i - 29 = -3*m + 6*i. Let v(u) = -2*u - 7. Let p be v(-6). Suppose -4*q + 22 = -j - 0*j, p*q - 5*j - 35 = 0. Is q <= m?
False
Let d = -21764/525 + 290/7. Let b(f) = -49*f - 48. Let g be b(-1). Which is smaller: d or g?
d
Let n be (-96)/40*(-15)/6*1. Is n equal to 14/3?
False
Suppose -14 = -u + 2*k, 0 = u - 2*u + k + 11. Suppose -4*s = -3*m + 11, 2*s = -m - 1 + u. Let l = -29 - -143/5. Which is bigger: l or s?
s
Let m = 0.449 + -0.47. Let l = 20.979 - m. Let a = 20.6 - l. Which is bigger: 0 or a?
0
Let m be (-2)/(-3) + (-74)/48. Let f = -29/24 - m. Let a(j) = j**3 - 5*j**2 + 3*j + 4. Let y be a(4). Is f less than or equal to y?
True
Let g be (-4253)/66 - 8/(-48). Let j = -64 - g. Which is smaller: 1 or j?
j
Let s = -3376299/319 + 10584. Let y = 3169/2233 - s. Suppose 4*j = 5*j - 1. Which is greater: y or j?
y
Let w(s) = -s**3 - 15*s**2 - 2*s + 84. Let a be w(-15). Is a bigger than 114?
False
Let h = 1.026 + 713.974. Is 1/2 smaller than h?
True
Let w = -51/8 - -13/2. Let i = 15 + -16. Is w at most i?
False
Let i(h) = -5*h + 5. Let w be i(5). Let x = -10 - w. Suppose -3*a - 7 = -2*t, 2*a - t - 3*t = -x. Is -2/3 smaller than a?
False
Let f = 369 + -354. Which is bigger: f or 14?
f
Let l = 2131.9 + -2132. Let y(v) = v**2 + v. Let j be y(-1). Which is smaller: j or l?
l
Suppose 0 = -12*j - 7*j - 76. Is j smaller than -3?
True
Suppose 10*g = 38 + 2. Suppose g*k + 0*k + 152 = 4*d, 23 = -k - 4*d. Is -35 at least as big as k?
True
Let h = -247910/219 + 1132. Let x be 1328/1533 - (-8)/(-4). Let s = h + x. Is -1 at most as big as s?
False
Let c be 1 + (24/(-108))/(1/3). Let b be (-24)/8 - 5/((-15)/108). Is b less than c?
False
Suppose -19*v = -26*v - 14. Suppose 0*t - 13 = -3*a + t, 5*a = -3*t + 17. Suppose a - 2 = -2*x. Which is greater: v or x?
x
Let v(h) = 3*h + 2. Let i be v(2). Suppose -4*z - 4 = 5*j, z = -3*z - 4. Suppose 8*r - 9*r - i = j. Which is smaller: -6 or r?
r
Let t be 8/2*(-1)/(-2). Let d be 4/5*75/10. Let x be (-3)/2*(7/d)/(-1). Is t > x?
True
Let i = 0.0499 - 349.0499. Is i less than 0.1?
True
Let z = -33.8 + -131.2. Do -0.1 and z have the same value?
False
Suppose -5*i + 8 = -3*i. Suppose -i + 0 = -h. Let c = 1431 + -1429. Do c and h have the same value?
False
Let m be ((-340)/(-28) - 1)/((-1)/(-7)). Are 76 and m non-equal?
True
Let a be 41867385/(-127179) + 4/6. Let g = a - 674/1087. Let n = g + 329. Which is smaller: n or 0?
n
Let j = -10794/5 - -11018/5. Let a = -45 + j. Which is smaller: 2 or a?
a
Let n = -442 - -485. Which is bigger: n or 37?
n
Let h(a) = a**2 - 2*a - 8. Let z be h(-6). Let k = 29 - z. Is -13 not equal to k?
True
Let l be 1 + 21/(-14) - -2. Which is smaller: 0.1 or l?
0.1
Suppose a + 69 = y, a + 304 = 4*y + 4*a. Suppose -3*p = 9, -5*d - p + y = -2*p. Let v = d - 20. Which is smaller: -7 or v?
-7
Let r be (90/(-8))/((-30)/(-24) + -1). Is -41 at least as big as r?
True
Suppose -12*c = -15*c + h - 387, 0 = -3*c + 3*h - 381. Which is greater: c or -128?
-128
Let h = 0.08 - -0.02. Let l = -1768.8 + 1772. Which is smaller: l or h?
h
Let s be (-19)/((-266)/(-4))*(-14)/(-3). Is -1/4 less than s?
False
Suppose -2*l - 10 = -3*l. Suppose 28 = w + v, -w = 2*v - 19 - l. Is w greater than or equal to 28?
False
Suppose 3*v + 0*v - 