ose 2 = -0*r + r. Is p greater than r?
False
Let v(g) = 2*g - 1. Let c be v(-1). Let l = 2 - c. Suppose -29 = -2*t - 5*h, 2 = t - h + l. Is t greater than 1/2?
True
Let m be ((3 - 3)/(-3))/2. Suppose -3*r = -2*h + 17, -4*h = -m*r + 5*r - 1. Suppose 0 = 2*n + h*w - 26, -5*w = -2*n + 5*n - 34. Which is smaller: n or 1?
1
Suppose 2*h - 10 = -2*g - 0, 0 = 5*g - 25. Let s = 3 + -19/7. Is s greater than or equal to h?
True
Suppose 0 = -2*x - 2*x + 3*g, 2*x + 26 = -5*g. Suppose -5*q + 10 + 0 = 0. Let s = x + q. Which is greater: s or -2?
s
Let q be (-12)/(-15) + (-4)/(-20). Let d(i) = -1 + i + q - 5. Let g be d(0). Is g less than -5?
False
Let v = 23 + -22.9. Which is smaller: v or 5/6?
v
Let q(o) = -o**2 - o + 1. Let j be q(-2). Which is bigger: 1/65 or j?
1/65
Let b = 13 - 7. Let f = b - 6. Which is bigger: -0.2 or f?
f
Let t be (-4)/(16/20) + -1. Let m be (-6)/(-4)*t/(-9). Let a = -0.6 + 0.5. Is a equal to m?
False
Let t be (6/(-7) + 1)*(1 + 1). Which is smaller: -1 or t?
-1
Let z = -4 + 7. Let i(o) = -o**3 - 7*o**2 - 7*o - 3. Let p be i(-3). Let l = p - -20. Is l at most as big as z?
True
Suppose 4*p - 4 - 2 = 2*r, 5*r = -25. Is -3/2 greater than or equal to p?
False
Suppose 0 = 3*r - 2*r - 2. Suppose 4*t + 21 = -3*m, 0 = -4*t + m - 6 - 3. Let l(h) = h + 4. Let p be l(t). Which is bigger: r or p?
r
Let s = -0.05 + -0.35. Let p = -5.4 - s. Let q = p + 2. Is -2 equal to q?
False
Suppose 4*i - 2*i = 2. Let r be 2/(-9)*(-6)/(-22). Which is bigger: r or i?
i
Let z be ((-8)/10)/(2/(-20)). Let y be 6/9 - z/3. Let g = 4 + y. Which is greater: 3/4 or g?
g
Let w(g) = -g**2 - 6*g - 5. Let s be w(-4). Let q be 5/3 - 1/(-3). Which is smaller: q or s?
q
Let t be (-5)/(-20) - (-2131)/(-1956). Let z = -1/163 - t. Which is smaller: 1 or z?
z
Let i be 12/(-3)*15/140. Is i != 0?
True
Let k = -40 + 43. Is 17/5 greater than k?
True
Let n be 765/20 + 1/(-4). Does 38 = n?
True
Let w be (-3)/2 - 4/(-8). Which is smaller: w or -4/7?
w
Let u = -6 + 0. Which is greater: -2/5 or u?
-2/5
Let t be (-341)/(-201) + (-2 - 0). Let u = -2/67 + t. Is -0.1 > u?
True
Let n(u) = u**3 - 5*u**2 + 7*u - 4. Let p be n(4). Let o(x) = -x + 9. Let b be o(p). Let k be 1*(0 - (-2 + b)). Which is greater: 0 or k?
k
Let u = 83 - 1579/19. Suppose -3*h - 5 = -j, 0 = -j + 2*j - 4*h - 7. Does j = u?
False
Let h = 57 + -39. Let k be -2 + 5 + (-312)/15. Let j = h + k. Is j not equal to 1?
True
Suppose 2 = z - 4. Suppose -z*a + 5 = -a. Which is smaller: a or 1/19?
1/19
Let t be (-4*3/(-6))/(-6). Suppose -r + 10 = 4*r. Suppose -r*q - 5 = 3*q. Which is bigger: t or q?
t
Let x be 15788/42 - 6/(-3). Let z = x + -378. Is 0 at least as big as z?
True
Let d be (1 + (-44)/3)*-2. Let x = d - 27. Let t be (-2)/(-4) - (-5)/(-10). Are t and x nonequal?
True
Let w = 1.7 + 5.3. Let b = 5.84 + 0.56. Let d = w - b. Which is smaller: 1 or d?
d
Suppose -3 = 4*p - 7. Suppose -47 = 5*a - 7. Let q be (-2)/6 + a/(-6). Is p bigger than q?
False
Suppose 8*m - 14 = m. Which is bigger: 3 or m?
3
Let l = -3 - -3.3. Let s = 104 - 68. Let p be (s/(-9))/(2*1). Which is smaller: p or l?
p
Let s = -0.2 - -0.1. Let a be -57 - 2 - 0 - 2. Let l = 243/4 + a. Which is bigger: s or l?
s
Let t be 29/(-21) - 2/6. Let i = -17/14 - t. Does 2 = i?
False
Suppose n = 3 - 1. Suppose -3*d - 2 - 10 = 0, 0 = -n*v - d. Which is smaller: 1 or v?
1
Let l = 18 - 17.7. Is l at least -2?
True
Let l(i) be the first derivative of -i**2/2 + 8*i - 6. Suppose 2*s - 4*v = 34, 20 = 2*v - 6*v. Let a be l(s). Is -1/3 > a?
False
Let n = -10 + 10.2. Is n smaller than -4?
False
Suppose -2 = -o - 6. Let f = 277 - 282. Which is bigger: o or f?
o
Let b(q) = -q - 5. Let k be b(-7). Suppose 0 = -4*n - 3*p - 12, -k*p + 12 = -5*n - 5*p. Suppose 0 = -5*w + 7*w + 2*u, 0 = -5*w + 3*u - 8. Is w at most n?
True
Let u = -5 + 7. Let w be (u/(-30))/(2/8). Let d = w + -1/15. Is -1 <= d?
True
Suppose 5 = 2*p + t, -4*p - 1 = -t - 8. Suppose 0*y = y + p. Let l be y - (30/21)/(-1). Does l = 0?
False
Let r = 313/122 - 4/61. Let u(b) = b - 3. Let n be u(6). Is r greater than or equal to n?
False
Suppose -4*s = -0*s + 24. Let y = -3 - s. Which is bigger: y or 1?
y
Let n = -15 + 15. Is n at least 2/25?
False
Let t(k) = k**2 - 6 + 2*k + 5*k + 0*k. Let l be t(-7). Let q be ((-3)/l)/1*4. Which is bigger: q or 3?
3
Suppose 4*w + 4 = 4*b, -3*b - w + 9 = b. Let a(g) = -g**3. Let x be a(-1). Which is smaller: b or x?
x
Let i be (-12)/5 + 6/15. Let p = 1 + i. Let m be 0/2*1/(-1). Which is smaller: p or m?
p
Let t = -0.7 - -0.4. Let x = t + -0.7. Let a = 0.8 + -1. Is a at least x?
True
Let c = 8 - 6. Suppose c*w = w + 5. Suppose w*b = 4*b + 2. Is b less than or equal to 3?
True
Let x = -17 - -18. Is x less than 14?
True
Let j = -39 + 42. Which is bigger: j or 0?
j
Let n(o) = 7*o - 47. Let g be n(7). Are g and 16 non-equal?
True
Let n = 3 - 9. Let k(u) = u**2 + 8*u + 9. Let p be k(n). Is p > -1?
False
Let y = -54 + 217/4. Which is greater: y or -3?
y
Let u(g) = -11*g**2 + 1. Let i be u(3). Let h = i - -684/7. Is -2 >= h?
False
Suppose 0 = f - 4 - 5. Suppose 14 = 2*j - 2. Which is smaller: j or f?
j
Let k be (6/(-8))/(18/(-16)). Let c = -35 + 31.2. Let w = -4 - c. Is k at least as big as w?
True
Suppose 0 = -5*a + 5, 0 = o - 2*o + 4*a + 2. Let l = 0 - o. Are -5 and l unequal?
True
Suppose -j + 2*m = 1, 0*m = 5*j - 2*m + 29. Let y = j + 3. Which is smaller: y or -5?
-5
Let a = -17/5 + 129/35. Is -1 > a?
False
Let b be (-4)/(-24) - 2/(-36). Which is smaller: b or 1/3?
b
Suppose 4*o - 4 = 4*a, 0 = -6*a + a + 2*o + 4. Let s be (0 - (a - 2)) + 5. Let y = 6 - s. Is 0 at least as big as y?
False
Let i = 135 + -137. Do -3 and i have the same value?
False
Let w = 0.2 - -5.8. Let o = w - 0. Is o <= 0?
False
Let s(w) = -2*w - 4. Let t be s(0). Are -3 and t unequal?
True
Let m be (-898)/(-5)*10/(-6). Let i = m + 268. Let q = i + 32. Is q smaller than 0.1?
False
Let q = -1.2 + 45.2. Is q <= 0?
False
Let u = 7.85 - -0.15. Let p = 6 - u. Are p and 0.3 unequal?
True
Suppose -12*p + 45 = -7*p. Is p <= 8?
False
Let b = -13 + 11. Let m = -10 - -7. Is m equal to b?
False
Suppose -7*c + 2*c - 7 = r, 0 = 5*r + 3*c - 9. Suppose -2*d = -r - 7. Let b be (4/(-5))/((-6)/d). Which is greater: -0.2 or b?
b
Let u = -6.2 + 7. Let r = u - 0.6. Let a = 4 - 7. Which is bigger: r or a?
r
Let o(t) = 5*t + 9. Let j be o(-23). Is -107 != j?
True
Let u = -166 + 1164/7. Are 0 and u non-equal?
True
Let c be -4*2/8*6. Let s = c - -4. Let a(i) = i - 2. Let t be a(2). Is t < s?
False
Let l = -9 - -9. Let w = -0.1 + l. Are w and -8 equal?
False
Let c = -1 + 1. Let i = c + -2. Which is greater: i or 0?
0
Let c = 195 - 184. Which is smaller: 9 or c?
9
Let n = 20 + -14. Suppose -2*f + 10 + n = 0. Let u be 3/10*f/(-3). Which is greater: -2 or u?
u
Suppose 0 = 2*b + 6. Let s be (-82)/42 + (-12)/(-42). Is s < b?
False
Let k be (-4)/12*-3*(-4)/1. Is 0 greater than k?
True
Let w(b) = -b - 3. Let s be w(-1). Is -18/13 at least s?
True
Suppose -d - 25 = -26. Which is greater: d or 3/20?
d
Suppose -32 = 4*w + 4*k, 5*k = 2*w + w + 8. Let x be 2/((w/1)/3). Let c be 3*(-2 - (-92)/44). Is c bigger than x?
True
Suppose -3*b = 21 - 57. Let q be (b/16)/(2/(-32)). Let d be ((-4)/q)/((-14)/24). Are -2 and d unequal?
True
Suppose 0*t - 3*t = -12. Let z be ((-8)/(-10))/(t/(-30)). Which is bigger: z or 3?
3
Let s = -211/55 - -18/11. Which is smaller: s or -3?
-3
Suppose 3*n + 6 - 12 = 0. Let t be n*(-3 + 9/2). Which is smaller: -2 or t?
-2
Let i be 14 - (2 + -2 + -2). Let g be i/33 - (-8)/(-12). Is 0 at least as big as g?
True
Let l = -74 - -73. Suppose 4*o - 13 = -5. Let k be 2/12*o/4. Which is greater: l or k?
k
Let h = -2 - -8. Suppose 3*j = h + 12. Suppose 3*x = -b - j, 0 = -5*x - 2*b - 10 - 0. Is x less than -0.1?
True
Suppose 32*d = 30*d + 6. Which is smaller: d or 2/3?
2/3
Suppose 4*l + 20 = 4*y - 0*l, -l = y + 3. Suppose t = 2 - y. Let r = -1 - 0. Is t at most r?
False
Let d(m) = -m**2 - 11*m - 11. Let j be d(-10). Which is bigger: j or -5/3?
j
Let h = 36 - 8. Let g = 19 - h. Which is smaller: g or -8?
g
Suppose 0 = -4*r - 1 - 11. Let a = r + 6. Let z be (4 - a - 0)*1. Is z equal to -2/7?
False
Let t(p) = -p**3 + 5*p**2 - p + 3. Suppose -2*b + 6 + 7 = 3*o, -3*b + 22 = 5*o. Let q be t(o). Suppose -14 = r + 4*r + 2*c, -14 = 4*r + 3*c. Is q equal to r?
True
L