aller: y or j?
j
Suppose 0 = 5*m - 53 - 37. Is m < 19?
True
Let k be 1 + (-1 - (-4)/(-30)). Let x = 0 - -0.2. Let o = -0.1 + x. Which is smaller: o or k?
k
Let b = -86 - -85. Is b at least as big as 3/13?
False
Let b(d) = -d**2 + 0*d**2 - d**2 - 3*d. Let j be b(-2). Let o be (-9)/(-18)*(0 - 6). Which is greater: o or j?
j
Let z be 1/(-2) - (-1)/((-5)/(-5)). Let d = -2.1 + 2. Which is smaller: d or z?
d
Let w = 18 + -11. Let o be (14/w)/(2/4). Which is bigger: 5 or o?
5
Suppose -20 = 4*x, -3*x + 8 = -y + 19. Let d(g) = 10*g**2 + g + 1. Let m be d(1). Let q be (y/(-6))/((-28)/m). Which is smaller: q or -3?
-3
Let x = -26 + 22. Let f be -4 - 6/x*3. Which is greater: 1 or f?
1
Let g be 1*-122 - (-1 + -1). Let h be (6/14)/(g/16). Which is smaller: 0 or h?
h
Let u = 125 - 122. Which is greater: u or 0?
u
Suppose -4*d + 17 - 21 = 0. Is d greater than or equal to -8/7?
True
Let q = -6 - -5. Let g = q - -3. Let b = -2.2 + g. Which is smaller: b or -1?
-1
Let b be ((-4)/(-1))/(9 + -11). Is -2 greater than or equal to b?
True
Let h be (-4)/(-114)*(7/5 - 2). Is h at least 1?
False
Suppose 0*w - 2*w + 6 = 0. Suppose 5 = -w*t - 2*t. Is t not equal to 1?
True
Let b be ((-9)/(-3))/3*0. Let j(z) = -z + 1. Let r be j(b). Suppose -v = -2*v + r. Is 1/2 >= v?
False
Let u = 11 - 10. Let m = -4/3 + 13/12. Which is bigger: u or m?
u
Let m = -229/7 - -33. Suppose 4*j - 1 = 3. Is m at most j?
True
Let f(u) = u + 1. Let y be f(2). Suppose -4*r + 4*o = -12, -y*r = -r - 3*o - 9. Which is greater: 1/2 or r?
1/2
Suppose 0*l + 2*l = -6. Let y = 3 + l. Suppose 4*j = -y*j. Is -2/9 smaller than j?
True
Let v be 3 + 1*62/(-22). Is -1 bigger than v?
False
Let c = 5/131 - -5351/524. Is 11 less than c?
False
Suppose -3*h = 5*j - 14, -2*h + 2 = -3*j - 1. Which is greater: h or 2?
h
Let f = 12.95 + -14. Let x = f + 0.05. Let g be ((-2)/(-3))/(2/(-3)). Is g != x?
False
Let m be 3 - 3 - -7 - 2. Do 6 and m have different values?
True
Let w(l) = l**3 + 6*l**2 + 5*l. Let u be w(-5). Let s be (-7 - -9)*(-6)/20. Which is greater: s or u?
u
Let t = -6 - 0.4. Let y = -6 - t. Which is bigger: y or 0.1?
y
Let a be 2/(-3)*(-6)/(-4). Let p = 99/4 - 25. Is p < a?
False
Let r = -100 + 135. Is 35 smaller than r?
False
Let s be 5/(-15) + 2/(-3). Let g = 0.1 + -1.1. Is s > g?
False
Let s be (-8)/36 - 87/(-27). Suppose -2*p - 10 = s*p. Suppose 5*j - j - k = -5, -4*k = -4. Which is smaller: p or j?
p
Let o(f) = -f - 3. Suppose 3*b = -b. Let s be o(b). Which is smaller: -1 or s?
s
Let n(t) = t**2 - 3*t + 6. Let v = -5 - -9. Let s be n(v). Let p = s + -2. Which is bigger: 7 or p?
p
Let v be (14/56)/(2/8). Which is smaller: v or 2/3?
2/3
Let x(q) = -q**3 - 3*q**2 + 4*q - 3. Let i = 6 + -10. Let r be x(i). Which is greater: -2 or r?
-2
Suppose 0 + 2 = -2*p. Let g be -3*3/(-9) - 0. Is p greater than or equal to g?
False
Let d = -2139 + 6280/3. Let q = -46 - d. Suppose 7 = -u + 6. Do q and u have different values?
True
Suppose 5*a + 1 = -4*c - 0*a, -5*a = -c + 6. Let v be (3252/(-525))/(107/(-5)). Let p = v + -2/535. Is p smaller than c?
True
Let a be (-8)/14*(-734)/(-48). Let p = -60/7 - a. Which is smaller: p or 0?
0
Suppose -5*x + 53 = -2. Which is smaller: x or 49/4?
x
Suppose 5*w + f + 2*f = 355, -4*w = -2*f - 306. Which is smaller: w or 75?
w
Let i(b) = b. Let c be i(-2). Let a(o) = o**2 - 9*o + 2. Let q be a(8). Let s = q + 2. Which is greater: s or c?
c
Let x = 10 - 3. Let c = -6 + x. Is 8/7 > c?
True
Let b be (-9)/11 - 4/22. Let s be (-2 + 4)*42/(-4). Let j be 4/(-6) + (-20)/s. Which is greater: j or b?
j
Let r = -14 + 15.5. Let u = r + 0.5. Which is smaller: u or 4/5?
4/5
Let f = -0.154 - 1.846. Let y = -0.2 - -0.3. Which is smaller: f or y?
f
Let s = 0.99 + -1. Is 3/5 bigger than s?
True
Suppose 3 = -2*r + c, 0 = -5*c + 22 + 3. Which is smaller: r or 2/5?
2/5
Let a be (18/27)/(-1 - (-177)/171). Which is bigger: 20 or a?
20
Let v = -6 - -7. Is -2/5 < v?
True
Let w(n) be the second derivative of n**3/3 + 2*n. Let t be w(4). Let i be t/12*9/2. Is 1 equal to i?
False
Let o = 0 - 1. Is 2/93 less than or equal to o?
False
Let o be 6/(-4)*(-64)/24. Let c be (-2)/(-1)*30/4. Suppose 7 = -o*s + c. Is s < 3?
True
Let i = -15 + 20. Are i and 5 equal?
True
Let q(v) = v**3 + 6*v**2 + 11*v + 6. Let y be q(-3). Is 1/19 smaller than y?
False
Let d(w) = -16 - 2*w + 4*w - 3. Let g be d(9). Are g and -2/31 non-equal?
True
Let a = -103.42 + 105. Let n = -0.28 + a. Let j = -0.3 + n. Which is greater: j or 0?
j
Let x = -13 - -13. Let i be 2 - (-231)/135*-1. Let k = i + -8/9. Which is smaller: k or x?
k
Suppose 4*b - 16 + 0 = 0. Let q = -423 + 427. Are q and b unequal?
False
Let j = -70 + 70.31. Is j equal to 0.1?
False
Suppose -2*b = 3*i - 19 - 0, 2*b - 5*i + 5 = 0. Suppose 0 = -2*m + b*h - 0*h - 17, 2 = m + h. Let a = 4/9 - 7/36. Which is smaller: m or a?
m
Suppose 0 = 3*f - p + 4, -4*f + 8 = 5*p + 45. Is -7 bigger than f?
False
Let h = -16 - -15. Let a = -3.09 - -0.09. Which is smaller: a or h?
a
Let c = 0.8 - -0.2. Does c = 4?
False
Let y = 1850/11 + -168. Let k = 0.7 - -0.3. Which is greater: k or y?
k
Let c = 9.6 - 9.6. Which is smaller: 18/7 or c?
c
Let q = 2/133 + 115/1197. Let o = 3 + -3. Is o greater than q?
False
Let h(p) = -p**3 - 8*p**2 - 7*p + 4. Let l be h(-7). Suppose 2*s + 3 = 3*m, 0 = s + l*s + m - 1. Are s and -2/9 unequal?
True
Let k be (-6)/(-56)*2/(-3). Suppose 27 = -o - 4*v, 36 = -3*o - 4*v - 5. Let g = o + 7. Which is greater: k or g?
g
Let l be (12 + -4)/(3 + -1). Suppose -l = 2*s - 0. Is s > -2?
False
Let g be (1 + -5)*20/(-50). Which is smaller: -4 or g?
-4
Let d be 1/2*(-4)/(-214). Let x = -221/749 + d. Which is greater: x or -5?
x
Let g be 4*2 - (3 + 0). Suppose 15 = -g*o, -5*x = 2*o + 12 - 36. Suppose 0 = -3*m + x*m. Is 2 equal to m?
False
Suppose 3*h + 2*a = 0, 0 = -2*h - 0*h - 2*a + 2. Let p be 13/21 + h/7. Which is smaller: p or 0.03?
0.03
Let g = 3 + -2.9. Which is smaller: 2/9 or g?
g
Let w = -2139.01 - -2148. Let x = -9 + w. Which is smaller: x or -0.2?
-0.2
Let y = 2.7 + -2.3. Let n = y + -0.5. Is 6 at least as big as n?
True
Let o = -20.2 + 20. Let u = o + -5.8. Which is smaller: u or -2?
u
Let t be (20/14 - -1) + -2. Suppose -3*i + 17 = -7*i + 5*z, -2*i + 19 = 3*z. Suppose b + i*y = -2*b - 1, -2*y = -2. Is t less than or equal to b?
False
Let y = -1.12 - -0.02. Let o = -2.9 + 3. Let g = o + y. Is -0.1 greater than g?
True
Let d be 26/(-6) + 4/(-6). Let w be -7 + (-4)/2 + 4. Is w less than or equal to d?
True
Let h be (-310)/(-4750) + 4/(-38). Let o(m) = 2*m**2 + 2*m + 1. Let d be o(-1). Is d != h?
True
Let l(j) = j**3 - 10 - 6*j**2 + 2*j**3 + 2*j + 4*j - 2*j**3. Let z be l(5). Suppose -3*f + 1 = -2*f. Is z at most f?
True
Let v = 16 + -40. Let n be (-2)/(-2) + 20/v. Let d be 2/(-4) + (-2)/(-4). Is d at least n?
False
Let j = 10 - 7. Let l be 2/4*2/j. Let k = -84/185 + 2/37. Is k bigger than l?
False
Suppose 20 = -5*z + 3*b, -z - 2*b = b - 14. Which is smaller: -10/11 or z?
z
Let g(n) = 2*n - 13. Let a be g(6). Let o = a - 3. Do -3 and o have the same value?
False
Suppose 0 = -4*a + 8 + 12. Suppose 0 = a*g - 8*g. Is -1 at most as big as g?
True
Let p = 7 - 7. Suppose p = 2*r + 1 - 5. Is 1/2 < r?
True
Let b = 125/38 - 15/19. Suppose c + 45 = 5*t - 4*c, -2*t + c = -13. Is t at least b?
True
Let t be 9/12 - 4/(64/(-4)). Suppose 4*z + 39 - 7 = 0. Which is smaller: t or z?
z
Let w = -24 - -15. Let o = 8 + w. Is o < 2/7?
True
Let b = -6 - -3. Let c = b + 5. Let i = -1 + c. Is i >= -0.2?
True
Let v(n) = 4*n**2 + n - 1. Let p be v(1). Suppose -4*a + 2*a + p = 0. Are a and 3/5 nonequal?
True
Let r be ((-6)/10 - -1)/((-130)/(-25)). Which is greater: r or -1?
r
Suppose 0*m = -3*h + 4*m - 22, 0 = 4*h - 4*m + 24. Let c = h + 3. Let n(v) = -v - 4. Let w be n(-3). Which is greater: w or c?
c
Suppose -2*r + 2*q = -0*q - 22, r = 3*q + 9. Suppose -6*g + 2*g = r. Which is bigger: -2 or g?
-2
Let s = 20 + -21. Is s greater than -2?
True
Let t(s) = s**3 - 10*s**2 - 2*s + 13. Let i(z) = -z**3 + 11*z**2 + z - 14. Let w(r) = 5*i(r) + 6*t(r). Let y be w(6). Suppose y*a - 3 = -1. Is -1/6 <= a?
True
Suppose 5*m + 9 + 2 = o, -2*m = o + 3. Let r = m - 3. Which is smaller: r or -4?
r
Let u be (-5 - 1)*(-2)/18. Do 1 and u have the same value?
False
Let s = -4953 + 24503/5. Let z = s + 52. Which is greater: z o