 is smaller: -1 or h?
-1
Let y = -13 - -5. Let h(r) = r + 5. Let c be h(y). Which is greater: -2 or c?
-2
Suppose -14 = 2*b - 3*b. Let o = b + -11. Which is bigger: o or 0?
o
Let z be (-1)/1 + -4 + 6. Is z >= 1?
True
Let i = 187/28 - 4895/756. Let d = i + -5/18. Is 0 less than d?
False
Let u = 32758162/119 - 275274. Let i = -60/17 + u. Suppose g - 2 = -0*g. Is i < g?
True
Let h(c) = 4*c + 2. Let s be h(-1). Which is smaller: s or -5/6?
s
Suppose -5*v - 2*u + 7*u + 30 = 0, 5*v - 26 = 3*u. Let w = v + -18/5. Let a = 7 + -7. Is a smaller than w?
True
Let i = 6 - 8. Let m be 0 + 2 + i - 2. Is m bigger than -1?
False
Let v = 19 + -18. Which is bigger: v or 5?
5
Let t = 26 - 27. Which is greater: t or -1/2?
-1/2
Let t = 19 - 16.1. Let g = -7.1 + 7. Let i = g - t. Which is smaller: -2/7 or i?
i
Let l = 33.93 - 34. Let u = 16.2 + -16. Which is smaller: u or l?
l
Suppose 5*t = -4*x + t + 20, -25 = -5*t. Let y be (2 + x)*(-4)/(-8). Is -1/6 less than or equal to y?
True
Let u = -9 - -9.08. Let n = 1.92 + u. Which is greater: n or -1?
n
Let n(f) = 5*f - 1 + f - 6*f + 5*f. Let p be n(3). Let i be p/21 - 0/(-2). Do 0 and i have different values?
True
Let x = 0.26 + 0.04. Let z = 0.2 - x. Let m = -6 + 5.8. Is m greater than z?
False
Suppose 3*p + 5*i - 25 = 0, -5*p + i - 5*i + 20 = 0. Let l = -108 - -757/7. Which is smaller: l or p?
p
Let u = 2272/11 - 206. Do 1 and u have the same value?
False
Let f = -4 - -4. Is -4 greater than f?
False
Let z = 0.18 - 0.18. Which is smaller: z or 0.05?
z
Let w be 3/(-1) - -4 - -4. Suppose -2*d + 12 = -3*f, -3*d - 5*f = -w*d + 16. Which is bigger: d or 4?
4
Let a(j) = j**3 + 5*j**2 - 9*j - 10. Let s be a(-6). Is s smaller than 6?
False
Suppose -11*n = -197 - 463. Is n less than or equal to 60?
True
Let i(u) = 1 - 8*u + 10*u**2 - 4*u**2 - 7*u**2. Let l be i(-7). Let v be (-2)/(-9) + 183/27. Which is bigger: v or l?
l
Suppose -3*k - 38 = 2*m - 0*m, 2*m = -4*k - 48. Let v be k/6 + 2/3. Let z be (-3 + v)*(-2)/(-28). Which is smaller: z or 2/3?
z
Let n = 1.1 - 0.1. Suppose 0*r = r - 5. Suppose -28 = -2*t - r*i, -2*i + i - 12 = -4*t. Which is greater: n or t?
t
Let d = -3 + -3. Let q be 2 + -28 - d/3. Let n be 3/2*q/18. Is 1 at least n?
True
Let k be (-2)/(-5) - (-56)/35. Let v be k + 2 + -2 + 2. Let d = v + -6. Is -2 not equal to d?
False
Suppose 4*l - 3 = -39. Is l >= -9?
True
Suppose 10 = -3*q - 2*l, 0 = 3*q + 6*l - l + 16. Is -3/4 smaller than q?
False
Let y = 2.6 + 0.4. Let m = 16/203 - -6/29. Which is greater: m or y?
y
Let t = 0 - 0.1. Let y = 1.6 + 7.4. Let b = -9 + y. Is b greater than t?
True
Let z = -215/9 + 24. Suppose -5*t + 4*c = -35, 4*t + 1 - 8 = -c. Let v be 1/(-2) + t/(-6). Which is bigger: v or z?
z
Let s = 1971/34 + -58. Is s greater than 1?
False
Let c = 67 - 63. Suppose -g + 4 = -1. Suppose 3*r - o + 0 = -g, 3*r - 3*o = -9. Is c != r?
True
Let o(a) = a + 10. Let c be o(-9). Let r = -3 + 1. Let v = r + c. Is v < 1/4?
True
Let w = -0.33 - -0.13. Which is bigger: 2/15 or w?
2/15
Let g = -0.25 - -0.2. Let n = 8 - 7.9. Do g and n have the same value?
False
Let m be (-2)/20 - 12/30. Is -1 at most as big as m?
True
Let n(a) = -a**3 + 8*a**2 - 8*a + 10. Suppose i - 2*j - 5 = 0, j - 34 = -5*i + 2*j. Let u be n(i). Which is bigger: u or 2?
u
Let q be (-4 + 18060786)*2/4. Let r = q + -19370188349/2145. Let j = r - 4/143. Which is bigger: j or -1?
j
Let z be (1/(-4))/(2/4). Let r = -55 - -50.2. Let b = r - -5. Is b bigger than z?
True
Let b = 4 - 3.7. Let o = -1.3 + b. Are -2 and o equal?
False
Let p(c) = c + 6. Let v be p(-7). Let z be (-24 + 6)*v/3. Which is smaller: z or 4?
4
Let y = -16 - -29. Is y bigger than 14?
False
Let y(w) = -2*w**3 + w**2 + 4*w + 4. Let d be y(-3). Suppose -2*c + 7*c = d. Which is bigger: c or 12?
12
Let x = 0.57 + -0.6. Which is bigger: x or 0.2?
0.2
Suppose 5*r - r = -4*t + 8, -5*r + 2*t + 31 = 0. Suppose 2*u - 3 = r. Let x be (-2)/u - (-9)/(-6). Which is bigger: x or 0?
0
Let k(s) = s**3 - 8*s**2 + s - 10. Let y be k(8). Let q = -13 + 19. Suppose 3*j - j + q = 0. Is j greater than or equal to y?
False
Let x be ((-33)/60)/(68/32 + -2). Which is smaller: x or -4?
x
Suppose -3*z + 26 - 8 = 0. Suppose -2*i - i - z = 0. Which is smaller: i or -6?
-6
Let w(j) = -j**3 + 7*j**2 + 7*j + 11. Let x be w(8). Which is smaller: x or 5/3?
5/3
Let w = -0.13 - 0.87. Let h be 1 - (40/(-18) + 3). Is w less than h?
True
Let y = 13 - 13. Is 2 less than y?
False
Let x = 0.24 + -0.14. Is x at most as big as -5?
False
Let x = -4 + 4. Let g be 3/(-1) + (-2 - -4). Which is smaller: x or g?
g
Let b = 0 + 3. Let m be b/4 - 0/4. Let r(w) = -w**2 - 4*w + 1. Let n be r(-4). Which is smaller: n or m?
m
Let b = 7.02 + 0.08. Let r = -7 + b. Which is smaller: r or -20/7?
-20/7
Let r = 14 - 9. Suppose -r*d = -3*d - 2. Which is smaller: d or 0?
0
Suppose -5*l = -10, l + 6 = -v + 13. Let r(o) = -3*o + 3. Let k be r(0). Are v and k unequal?
True
Let d = -13.6 + 13. Let v = d + 0.7. Which is smaller: v or -17?
-17
Let z be ((-4)/6)/((-38)/(-741)). Do -12 and z have different values?
True
Suppose -2*l + 64 + 28 = 0. Let n = l - 183/4. Suppose -5*s + 2 = -3. Which is smaller: n or s?
n
Suppose 0 = 4*r - 81 + 25. Suppose 3*p - 83 = -5*b - r, 4*b - 4*p - 36 = 0. Is 11 less than b?
True
Suppose 7 = 4*v + 3. Let g = 23 + -21. Which is greater: g or v?
g
Let r = -25.9 + 26. Which is smaller: -0.02 or r?
-0.02
Let v be (30/72)/((-10)/(-4)). Suppose -2*n + 1 - 11 = 3*l, n = -3*l - 11. Which is bigger: v or n?
n
Let u(c) = -c**3 - 5*c**2 - 5*c - 3. Let f be u(-4). Let i be (3 - 0) + (-1)/((-6)/(-8)). Which is smaller: i or f?
f
Suppose 0 = -8*b + 3*b. Let p = -5/2 - -19/6. Which is smaller: p or b?
b
Let c = -62 + 294/5. Is c not equal to -4?
True
Suppose 10*i - 9 = i. Is i at least -1/21?
True
Let x = 21 + -18. Let n be x*-6*(-2)/4. Which is smaller: 6 or n?
6
Let i(l) = -l**2 - 3*l - 2. Let x be i(-2). Let g be x - 0/(2 + 0). Suppose 4*s + 8*u = 4*u, g = 2*s + u - 1. Which is smaller: 2/3 or s?
2/3
Let o be (-1)/2 - 69/6. Is -12 greater than or equal to o?
True
Let g = -4.94 - -5. Let q(f) = -f**3 - 4*f**2 - 4*f + 2. Let c be q(-2). Which is smaller: g or c?
g
Let c = 211 - 351. Let v be c/255 - (-2)/3. Is v at most as big as 1?
True
Let n = 6.97 - 7. Let c = n - 1.97. Let o be 0 + 0/(20/(-4)). Is c greater than o?
False
Suppose 24 = 4*m + 4*h, -26 = -m - 10*h + 5*h. Which is greater: m or 3/4?
m
Let a = 0.5 + -0.4. Is -0.1 <= a?
True
Suppose -8*t + 5*t = -3. Is t > -4/21?
True
Let b = -5 - -4. Let a = -1.1 - b. Is 2/9 > a?
True
Suppose 3 = -5*i + 5*k + 23, 2*i = 4*k + 6. Let v = i - 3. Let s = 21/20 + -1/4. Which is bigger: v or s?
v
Suppose 2*s + j + 61 = 6*j, s + 3*j + 25 = 0. Which is smaller: s or -27?
s
Let a = -0.3 - -1.1. Let o = 0.2 + a. Which is bigger: 2/5 or o?
o
Let m be (-7 - -5)*(-5)/20. Which is bigger: -26 or m?
m
Suppose -3*x = 2*x - 10. Which is bigger: 4/5 or x?
x
Let f be 8/(-20) + (-256)/110. Let n = 289/110 + f. Which is greater: 0 or n?
0
Let f = 13 + -21. Let l be 4/f*(-7 + 1). Let j(g) = g**3 - 4*g**2 + 4*g - 1. Let b be j(l). Are b and 1 equal?
False
Let s be 6/(-4)*24/(-9). Let l = s + -2. Suppose -n = -l*n - 1. Are 3 and n unequal?
True
Let z be (0 - 0)/((-1)/(-1)). Let i(y) = -y - 7. Let v(g) = 1. Let r(o) = -i(o) + v(o). Let f be r(-9). Which is bigger: f or z?
z
Let k = -21 - -22. Let c = 0.3 - -0.7. Let i = c + -0.9. Are k and i equal?
False
Let k be 1/(-5) + (-1)/5. Let q = 2 - 4. Let l be 1/(0/q - -1). Which is smaller: k or l?
k
Let h = -2 - -5. Suppose 2*m = h + 3. Is m greater than or equal to 2?
True
Let u = 43 - 44. Suppose -2 = 2*m - 0. Are u and m unequal?
False
Let h be (2/4)/(3/18). Is h not equal to 2?
True
Let i(t) be the first derivative of -2*t**2 - 3*t + 1. Let y be i(-2). Is y <= 5?
True
Let z = 0.8 + -4.8. Let f = 4 + -6. Let o = f - z. Which is smaller: o or -1/5?
-1/5
Let i(l) = l**2 - 2*l. Let j be i(3). Suppose 0 = 2*x - 0*p + 5*p - 25, -x - 15 = -j*p. Which is smaller: x or 1/29?
x
Let t = -261 - -16703/64. Which is smaller: t or -1?
-1
Let m be (-4)/(100/(-35)) - 4/10. Which is greater: m or -1/10?
m
Let o be ((-17)/(-5))/((-7)/(-35)). Suppose 4*j = 4*w + 28, 5*w + o = -0*j - 4*j. Which is smaller: -2 or j?
-2
Let o = -65 - -65.2. Which is smaller: o or -3/5?
-3/5
Let h = -0.