39 + 28. Are j and 0.3 equal?
False
Suppose 5*t + 15 = 2*o + 2*o, 0 = -3*o. Let z = 35/2 - 19. Is z smaller than t?
False
Suppose 0 = 5*b - 5 + 10. Which is greater: b or 1/6?
1/6
Let i = -2 + 7. Let l = 2.869 + 0.031. Let f = l + -3. Is f equal to i?
False
Suppose 11 = -2*u - 19. Let b be (-16)/u - (-2)/(-3). Let k = 0.13 - -0.17. Which is smaller: b or k?
k
Let f(h) = 6*h. Let a be f(-1). Let d = 7 + a. Is 1/7 > d?
False
Let k be (2/(-4) + 1)/(-1). Let l = -2 + 2. Let t = -1 + l. Which is smaller: k or t?
t
Let d be 20/6*6/(-4). Let u = -16 - d. Which is smaller: u or -10?
u
Suppose 2*d - 17 - 143 = -5*n, 110 = 3*n + 4*d. Let a be 2/(-1)*(-3)/n. Suppose 0 = -3*l - 2*l. Is l less than a?
True
Let u(t) = t - 4. Let q be u(7). Let s be (q/(-27)*-3)/1. Is 0 greater than or equal to s?
False
Suppose -q = -0*q - 2*x - 3, 0 = -3*q + 3*x. Let l be 2 + 2*2/(-1). Let b = l - -1. Are q and b non-equal?
True
Let u = 0.6 - 0.6. Let r = u + -0.5. Is r >= -1/4?
False
Suppose -l - 3*l = 8. Let t be 6/27 + (-1032)/756. Are t and l non-equal?
True
Suppose -33*t = -28*t + 70. Are -17 and t unequal?
True
Let h be (-1 - -2) + (-300)/5*-1. Are 59 and h unequal?
True
Suppose 0 = 2*r - r. Let x be 152/(-36) - 4/(-18). Let d = x - -6. Is d smaller than r?
False
Let h be ((-2)/(-4))/((-2)/(-16)). Suppose p = -3*g - 2*g + 19, h*p + 24 = 5*g. Which is greater: 1/5 or p?
1/5
Let g = 32 + -23. Suppose t - g + 21 = 0. Let o = 11 + t. Are o and 2/5 equal?
False
Let d = -12.2 + 2.2. Let j = 10.1 + d. Which is greater: j or -0.1?
j
Suppose 0 = 6*h + 6 - 6. Which is greater: 1/12 or h?
1/12
Suppose -12 = -4*p + 8. Let u = -1 - p. Let g be u/(-1)*(-2)/4. Which is greater: g or -2?
-2
Suppose -4*u = u + 5*g + 65, -5*u + 4*g = 29. Let o be 2/u + 2/9. Which is bigger: -1/3 or o?
o
Suppose -3*h + 5*z - 4 = h, z + 5 = -5*h. Let f = 2 - h. Suppose 5*b = -4*d - 12, 3*b + 9 + 1 = -d. Which is smaller: f or d?
d
Suppose o + 0*x - 3*x = 9, 16 = 2*o - 4*x. Which is bigger: o or 14/3?
o
Let x = 19 - 19.2. Let s be (-50)/204 + (-1)/(-3). Let t = 7/17 + s. Which is bigger: x or t?
t
Let k be (2 + -1)/1*5. Let w = k - 6. Let a be (w*6)/(-1) + -1. Is 6 smaller than a?
False
Let m = 12 + -20. Which is greater: m or -10?
m
Let j(v) = -v**2 - 8*v - 8. Let y be j(-7). Are -1/2 and y non-equal?
True
Suppose 2 = p - 0. Let h = 7 + -13/3. Which is smaller: p or h?
p
Suppose b = 5*b - 4. Is b greater than or equal to 2/23?
True
Let h = -37 - -37. Which is greater: -2/135 or h?
h
Suppose 0*b - 2 = -3*n + b, 2*b + 11 = -n. Let p(o) = -3*o**3 + o**2 - o. Let t be p(1). Which is smaller: n or t?
t
Let z be 1/5 + (-4)/(-10). Let b = -4 + 6. Do b and z have the same value?
False
Let o(t) = t**2 + 4*t + 2. Let a be o(-4). Suppose 2*p - 3*l = -a*p + 16, -l = 2*p - 18. Is 6 less than p?
True
Let o = 8 - 6. Let n be 1/((-9)/6 + o). Which is smaller: 3/2 or n?
3/2
Let n = -4214/27 + 156. Which is smaller: 1 or n?
n
Suppose 0*v - 3*y = -3*v, 0 = -2*v - 4*y. Which is greater: v or 1/2?
1/2
Let b(g) = g**3 + 6*g**2 + 2. Let z be b(-6). Suppose 0 = -3*i + z*i. Which is greater: -1 or i?
i
Let u = -25090/49 - -512. Do -1 and u have different values?
True
Suppose 7 = 4*a + 3. Is 5/18 less than a?
True
Let r = 0.05 - -0.01. Let f = r - 1.06. Which is smaller: f or 0.1?
f
Let u(n) = 4*n**2 - 2. Let d be 1/(-2)*(0 - -4). Let y be u(d). Let x be (1/7)/(4/y). Are 0 and x equal?
False
Let l = 10 + -53. Which is bigger: l or -42?
-42
Let i = 25 + -149/6. Is 0 < i?
True
Let l = 1 - 16. Let k = 11 + l. Let s = 6 + k. Which is bigger: 0.1 or s?
s
Suppose 0 = 3*c + c. Let b be 1/2*0/1. Is b > c?
False
Suppose 3*x - 3 = 0, 5*z + 19 = 5*x - 11. Is -2 <= z?
False
Let h = 0 + 3. Suppose -h*u + 6 = -3. Suppose -u*m - 1 = -13, -5 = -3*v + m. Are 2 and v nonequal?
True
Let c = 8.19 - 0.19. Let v = 9 - c. Is -1 >= v?
False
Suppose -17*l + 15*l = 0. Let c = -0.2 + 0.3. Is c greater than l?
True
Let u(g) = 2*g**2 - 4*g - 1. Let h be u(3). Let r be 7/3 - (h + -2). Which is greater: r or 0?
0
Let z = -1317 - -130381/99. Let n(o) = -o**2 - o - 1. Let m be n(-1). Which is smaller: z or m?
m
Let q be 1*(3 - 3)*-1. Which is smaller: q or -1?
-1
Let z = -9 - -18. Let d(i) = -i - z + i + i. Let x be d(8). Which is smaller: x or -2/5?
x
Let o be -1*(-3)/(-6)*2. Let p = o + 2. Let r = 3 + 0. Is r <= p?
False
Let v(t) = 2 + 3*t**2 + t**2 + t**2 - t**3. Let l(y) = -y**3 + 5*y**2 + 5. Let r be l(5). Let m be v(r). Does 2 = m?
True
Let x be 4/(-2) - (-50)/13. Let h = 194/91 - x. Is -9 < h?
True
Suppose 4*g + 3*s + 1 = -2, -s = -2*g + 1. Suppose 5*h + 0*h - 5 = 0. Is h less than g?
False
Let v be -2 - (-20)/26 - -1. Is 1 at most as big as v?
False
Let k = 247/5 - 49. Is k != -0.05?
True
Suppose 2*u + 2*w = 12, -4*u - w + 14 = 2. Let s be u/7 - 30/56. Let y = 0.05 - 4.05. Which is bigger: y or s?
s
Let t = 4/9 + -2/45. Which is greater: -0.1 or t?
t
Let w be 2/4 - ((-225)/6 - -2). Is -0.1 less than w?
True
Suppose -f + 4 = 6. Suppose 4*l + 3 = -5. Is f < l?
False
Suppose 2 = 7*c - 9*c. Which is smaller: c or -2?
-2
Let i be -8*(3/6 - 1). Is i greater than 8?
False
Suppose 3*r - 5*l = -46 + 6, -2*r + 5*l - 20 = 0. Is r not equal to -22?
True
Suppose 102 = -8*j + 5*j. Is -35 > j?
False
Let b(o) = -o**2 - 4*o + 6. Let k be b(-5). Let w be 4 - 4 - 0/k. Which is smaller: w or -5/4?
-5/4
Let k(y) = y**3 - 10*y**2 - y + 8. Let i be k(10). Suppose 0 - 4 = 4*u. Are i and u nonequal?
True
Suppose 5*w + 12 = 3*f, -3*w + 0*w - 12 = 3*f. Let i(o) = o**3 - 6*o**2 + 7*o - 7. Let v be i(5). Suppose -1 = v*u + 8. Is w < u?
False
Let b be 12/(-8)*12/(-9). Suppose 4*o - 3 = p + b*o, -2*p - 2*o = 0. Is 1 smaller than p?
False
Let o = -22/7 + 52/21. Is -0.4 less than o?
False
Let z be 10/35 - 2/7*-83. Which is greater: 1 or z?
z
Let z be 0/2 - (-1 + 0). Let d = -3 - -1. Is d > z?
False
Let n = 45 - 453/10. Is n at most as big as -1?
False
Suppose 4*u + u - 25 = 0. Suppose -3*y = 2*y - u. Which is bigger: -1/11 or y?
y
Suppose 2*s + 104 = 4*w, -3*w + s - 48 = -5*w. Let q = -18 + w. Suppose -q*g + 2*g - 5 = 0. Which is smaller: g or -1/4?
g
Let g(b) = b**3 + 5*b**2 + 2*b + 5. Let t be g(-5). Let n be 3 - 2*(-69)/(-42). Which is bigger: t or n?
n
Let y be 5*4/(-5)*1. Let q = 5 + y. Is 4/5 at most as big as q?
True
Let b = -11.7 + 12. Let f = -1.5 - 0.5. Which is smaller: f or b?
f
Let p = -8065/2794947 - 2/8707. Let k = 211/963 - p. Is k < -1?
False
Let w = 7.1 + -7. Let z = w - -0.3. Let j = 0.3 - 0.2. Which is smaller: j or z?
j
Let o(f) be the first derivative of f**2/2 + 4*f + 3. Let z be o(-3). Let d = 0 + z. Which is bigger: d or 2/5?
d
Suppose -2*n = -3*n - 4. Let g = 2099/2 + -1019. Let h = g + -30. Do n and h have different values?
True
Suppose -4*l - l = 5. Let i be l/4 + (-50)/(-360). Is 0 less than i?
False
Let p = 0 + 1. Let l = -42975/13 + 3301. Let f = l + 64/13. Is p > f?
True
Suppose g = q + 4 - 3, 4*q + 10 = 2*g. Let n be ((-1)/9)/(q/(-6)). Which is greater: n or -1?
n
Let b = -0.23 - -0.13. Is b equal to 13?
False
Let c = -187/9 - -13615/657. Is 1 < c?
False
Suppose -4*y + 3*f = -11, -5*y - f - 13 + 41 = 0. Suppose y*d - 4*d = 4. Suppose -2*l + 0*x + 2*x = -4, -4*x = -2*l. Are l and d equal?
True
Let x = 1/5 - 3/5. Suppose -2*r = 5*s - s - 2, -2*s + 4*r = 24. Let y be (-2)/(-3 + s + 1). Which is smaller: x or y?
x
Let p be (0/(-1))/((-2)/2). Suppose -4*c = -p*c - 20. Let a = -7 + c. Are a and -3 unequal?
True
Let d be (-3 + 9)*12/(-8). Is d greater than or equal to -8?
False
Let z = 38 - 32. Which is greater: z or 54/11?
z
Let h be -4*(-2)/20*18/45. Which is smaller: h or -1?
-1
Let w = 0.26 - -0.04. Let k = -2.3 + 2.6. Let a = w - k. Is a equal to -0.2?
False
Let u = 17 + -26. Let i = 8 + u. Which is smaller: 0 or i?
i
Let w = -3.01 - -0.01. Let f be (-1 - 2) + (14 - -4). Let z be (2/5)/((-21)/f). Are z and w nonequal?
True
Let i = -11 - -35/3. Which is smaller: 0 or i?
0
Let m = 15 + -10. Suppose 2*s + 116 = m*p, -3*s - 174 = -4*p + 2*p. Let y = s - -172/3. Are y and 0 equal?
False
Let z be 0 - (-1 - (-9)/15). Let w(x) = -x - 3. Let g be w(-3). Which is smaller: z or g?
g
Let t = 4 + -11/3. Let z = 0 - 0.5. Which is greater: t or z?
t
Let p(b) = -b - 7. Let o be p(-6). Let s be 1/(0 - o/(-1)). Is s less than or equal to 0?
True
Suppose 0*i = 3*i - 9. 