
Let j = 31 + -12. Suppose 3*k + 9 = 69. Which is smaller: k or j?
j
Let i be (1 + 3)*(-6)/(-4). Let c be -3 + -2 + i + 3. Is 3 less than or equal to c?
True
Let j(x) = -x**2 + 5*x + 9. Let i be j(5). Let q be -3*((-12)/i)/2. Which is greater: 1 or q?
q
Let d = 1/96 + -197/480. Let x = -4 + 4. Suppose 0 = 5*z + 3*n + 12 - x, -4*n - 16 = -3*z. Which is smaller: z or d?
d
Let y(i) = 4*i**2 + 2*i + 2. Let a(b) = 2*b**2 + b + 1. Let n(t) = -5*a(t) + 3*y(t). Let l be n(-1). Which is smaller: 4 or l?
l
Suppose -3*i = 2*t + 15, 4*i + 15 = 3*t - 5. Suppose -v - v = t. Let l = -2 + v. Is l < -1?
True
Let b be 9/(-39) + (-1 - -1). Which is smaller: b or 1?
b
Let q = -100.7 - -105. Let j = 4 - q. Let w = j + 0.3. Are 1 and w nonequal?
True
Let x = 0.2 - -1.8. Suppose t + 9 = -2*t. Let f = -2 - t. Which is greater: f or x?
x
Let c = 12 + -6. Suppose 2*j = c*j. Do -0.1 and j have the same value?
False
Suppose -7*k - 15 = -2*k. Suppose i + 0 + 3 = -m, 4*i = -12. Which is smaller: m or k?
k
Let p = 0.76 + -0.7. Let l = -0.04 - p. Which is smaller: -0.2 or l?
-0.2
Let z be (-4)/6 + 678/(-9). Let c = 107 + z. Let i = 151/5 - c. Which is bigger: i or 0?
0
Let l = -6 - -5.91. Let a = l + -0.01. Is -6 less than a?
True
Let d = 12/16289 + -26209109/146601. Suppose 479 = 2*n + 121. Let i = d + n. Is i greater than or equal to 1?
False
Let m(k) = -k**2 - 9*k - 10. Let l be m(-7). Suppose l*g - 5 = 3*w, -4*w + 1 = 13. Is 2/5 != g?
True
Suppose 12*w = 7*w + 15. Which is smaller: w or 3/2?
3/2
Suppose 3*m + 70 = -2*m. Let c be (-18)/m + (-6)/21. Let u be (-1 + 1 + 0)/c. Which is greater: u or 1/5?
1/5
Let z be ((-12)/(-9))/4*-3. Which is smaller: z or -3?
-3
Let s(g) = 12*g + 21. Let m be s(4). Is m at most 70?
True
Suppose 5*u = -0*u. Let o = 3/2 - 13/6. Which is smaller: o or u?
o
Let j = 0.465 + 0.115. Which is smaller: j or 0.1?
0.1
Let t = -5 - -6. Which is greater: t or 1/9?
t
Let w = -338/805 + -1/115. Which is smaller: w or 1?
w
Let q = -3.8 - -4.8. Is 1 greater than q?
False
Let r be ((-2)/3)/(110/(-232)). Let z = -4/55 + r. Let k = -11 + 12. Which is smaller: z or k?
k
Suppose c = 2*c - 2. Let k be c/(-1 + -1) - 0. Is -1/10 at least k?
True
Let n = -38 + 23. Let l = -10 - n. Suppose l*f = 2*f - 12. Which is greater: -3 or f?
-3
Let w(m) = 5*m + 11. Let a(z) = z**2 + 1. Let g(d) = a(d) - w(d). Let j be g(7). Suppose x - j*k = -0*x + 12, 3*x + 2*k + 6 = 0. Which is bigger: 2/13 or x?
2/13
Suppose -5*r - 3 = -c, c - r + 4*r = -5. Is -7/3 equal to c?
False
Suppose 2*f - 52 = -4*h, -3*h + 6*h + 16 = f. Let p = -8 + f. Let q be (p/(-4))/(3/6). Which is bigger: -8 or q?
q
Let o = 29 + -26. Is 1 != o?
True
Let b be (-1)/3 + (-62)/(-6). Let l be 2/b + (-146)/30. Let n = -4 - l. Which is smaller: n or 1?
n
Let k = -8 - -6. Let w be (-16)/(-20) + (-2)/(-10). Let m = w + k. Are m and -4/3 non-equal?
True
Let b be 7/(-10)*16/12. Let p = -3/5 - b. Are 1 and p unequal?
True
Let v = -16 + 14. Let d = v - 1. Let p = -0.2 - -0.4. Which is smaller: d or p?
d
Suppose 2*r - 5*m = 6*r - 28, -3*r = -4*m + 10. Let j be (1 - -1)*1/1. Suppose -j*f = 3*f - 10. Is r greater than f?
False
Let z = 3 - -3. Let l = z + -5. Let o be (-65)/105 - (-4)/12. Is l greater than o?
True
Let g = 1 - 0.98. Let o = -39 - -38.98. Let q = g + o. Which is greater: 1/8 or q?
1/8
Let d be -2 + -2*(-6)/4. Let c be 9 + (-3 + d - 1). Let j be 3 - -4*(-3)/c. Are j and 2/21 non-equal?
True
Let f be (-8)/(-12)*(14 + 1). Let a be (-222)/7 - f/35. Let k = a + 63/2. Is k greater than or equal to -1?
True
Suppose 3*p = -127 - 125. Let w = p + 331/4. Which is smaller: -2 or w?
-2
Suppose 3*z - 12 = -2*z - 4*y, 2*y - 6 = 4*z. Do -3/13 and z have different values?
True
Suppose 0 = 4*n - 2*a - 2, 5*a = -2*n + n - 16. Let u be 10/35 + 26/7. Suppose 0*m - i = -u*m + 6, -5*i - 5 = 5*m. Is n greater than m?
False
Let s = -29 - -76. Suppose -h + 4*f = -14, -5*h - f + s = 2*f. Suppose -7*c = -2*c + h. Which is smaller: -1 or c?
c
Let g = 193/3 - 65. Which is bigger: 1 or g?
1
Let n = -2.11 - -2. Let w = n - 0.09. Is w at least as big as 4?
False
Let x be ((-12)/(-30) + 111/(-165))*-3. Is 0 equal to x?
False
Let y = -29/3 + 142/15. Which is smaller: 3 or y?
y
Let f = -8.4 - -1.4. Let m = f - -7.5. Let h = -0.5 + m. Is 2/13 smaller than h?
False
Suppose 0*p = 5*p - 15. Suppose -r = -4*o + 2, 4 = p*o - 2*r - 0. Which is greater: 2/27 or o?
2/27
Let h = -10.3 + 90.3. Which is bigger: h or -0.1?
h
Suppose -2*q - 5*g = 6 + 8, 2*q + 6 = -3*g. Suppose z = -q*z - 4. Let j be 1 + ((-22)/(-18))/z. Is j greater than or equal to -1?
True
Let x(j) = j**2 + 5*j - 5. Let v be x(-6). Which is bigger: -2/29 or v?
v
Let t = -137.2 - -140. Is 1/2 <= t?
True
Let l(o) = -13*o - 7. Let n(y) = -3*y - 2. Let s(f) = -2*l(f) + 9*n(f). Let c be s(-2). Which is smaller: c or 1?
c
Let q = -0.07 - 0.03. Let t = q - 1.9. Which is smaller: 1/4 or t?
t
Let z = -8 - -5. Let m(r) = -r**2 - 7*r + 6. Let x be m(-7). Let n = x - 10. Which is bigger: n or z?
z
Let o = -12.98 + 13. Let p = 0.08 + o. Which is smaller: p or -2/13?
-2/13
Let k(f) = -1466*f**3 + f**2 - f + 1. Let s be k(1). Let z be s/14 - 5/(-10). Let n = z - -104. Is -2 < n?
True
Suppose 5*d = -53 - 7. Let k = d - -17. Suppose -3*f - 9 = -3*u, -k*u - 25 = -0*u + 5*f. Is u > -2?
True
Suppose -46 = 4*f + 3*r, -2*f + 20 = -5*f + 5*r. Let x be 24/135 + 4/f. Which is smaller: -1 or x?
-1
Let z = -55 - -39. Let o be ((-12)/z)/(2/(-8)). Is -3 smaller than o?
False
Let v(x) = -x**3 + 2*x**2 - 3*x + 2. Let y be v(2). Let d be ((-6)/4)/((-3)/y). Suppose -w = 4*w + 5. Which is smaller: w or d?
d
Suppose -u + 8 = 5*t + 4, 4*t + 5*u - 20 = 0. Is -4/27 equal to t?
False
Let k(r) = -r**2 - 10*r - 10. Let m be k(-7). Let h = m - 17. Is h > -7?
True
Let d = -42501/143 + 3590/11. Let k = d - 29. Which is smaller: k or 1?
k
Suppose -4*b = -9*b + 2*x - 16, -8 = -2*b - 4*x. Let l be 3/(9/(-12)*b). Do l and 2 have the same value?
True
Let c = 0.01 - -3.99. Let r = c - -1. Which is greater: r or -1?
r
Suppose u + 4 = -u. Suppose 6*h - h - 18 = -j, 3 = 5*j - 4*h. Suppose 0 = j*f + a + 5, 2*a - 4*a = 5*f + 8. Do u and f have the same value?
True
Let a = -14 + 17.3. Let m = 4 - a. Let n = m + -0.8. Which is smaller: n or 4?
n
Let d be (2/6)/((-9)/3). Let r(g) = -g**2 - 4*g + 1. Let z be r(-4). Let w be (z - 1)/(1 - 3). Is w > d?
True
Let n = 10 + -4. Let w = n + -7.4. Let c = w + -0.6. Which is smaller: c or 2/5?
c
Let z = -36 - -107/3. Let p = -2 - -2. Is z > p?
False
Let m = 6.9 + -7. Let a = m + 1.1. Are 4 and a non-equal?
True
Suppose -4*z - 8 = -0*z, -4*n = 2*z. Is n <= 1/6?
False
Let p = 1015 - 4039/4. Let w = 5 - p. Let j = -1 + 1.2. Which is smaller: j or w?
w
Let x = 293 - 4397/15. Which is smaller: x or 0?
x
Let a be (-6)/15 - 44/(-10). Suppose 2*h - j + 12 = 0, j + 4*j = -4*h + a. Is h at least -4?
True
Let z = 2/59 + -67/236. Is z at least as big as -2/7?
True
Suppose -4*f + 354 - 36 = 2*s, 4*s + 300 = 4*f. Which is smaller: f or 80?
f
Let y be (-1)/(-1) - 1/3. Suppose 5*j = 4 + 6. Is y > j?
False
Suppose t - 5*t = -8. Suppose m + 3 = -t*a, a = -2*a - 3*m - 6. Let h = 11/24 + -1/8. Is h not equal to a?
True
Let j(s) = 2*s. Let m be j(2). Let k be -1 + m + 0 + -2. Which is smaller: k or 1/3?
1/3
Let d be ((-54)/(-7))/3 - 2. Let u be (4/6)/((-2)/6). Let p = -1 - u. Is p less than d?
False
Let n be (-4)/((-60)/(-81)) + 4. Let c = n + 11/15. Which is bigger: c or -4/5?
c
Let h = -20 - -17. Let b be (5 + -3 + h)*12. Which is greater: b or -13?
b
Let x = 6 + -6. Suppose -17 = -4*d + 5*r, x = d + 2*d - r - 10. Which is smaller: 4 or d?
d
Let h be (-3)/(-4) + 13/52. Is h bigger than 3/22?
True
Suppose 0 = r + 3*r. Is r bigger than -5/6?
True
Let z = 19/11 - 483/286. Is -1 less than or equal to z?
True
Let p be (2/6)/(2/(-6)). Which is smaller: 1/40 or p?
p
Let w = 1.1 + -0.1. Let j = w - 6. Let l = -0.142 + 0.242. Which is smaller: j or l?
j
Suppose -7 + 3 = -2*c + 4*f, 3*c - 5*f - 4 = 0. Which is smaller: -8/5 or c?
c
Let l = 5 + 1. Let s = -5.9 + l. Is 0.1 at most s?
True
Suppose -c + 4 = -5*c. Let x be (-52)/(-25) - (1 - -1). Which is bigger: x or c?
x
Let m be (-4)/(-10) + 3/5. Let j(d) = d + 2. Suppose g = -2*g. Let p be j(g). Is m != p?
True
Let z(g) = -g**2 + 14*g + 14. Let k be z(15). Which is greater: k or -2/