 + 12/5. Let f = 1945/32 + 447/32. Let m = -75 + f. Which is greater: m or t?
t
Suppose -2*o + 0*r + 16 = -4*r, 5*r = -4*o + 6. Suppose -10 = o*x - 3*a, -5 = -5*x - 2*a - 3*a. Which is smaller: x or 1?
x
Let t be (-2 - (-7)/2)*20. Let v be 8/t*(-6)/4. Which is bigger: -0.16 or v?
-0.16
Let h = 336 - 336.413. Are h and -2/5 non-equal?
True
Let i(v) = v + 7. Let s be i(-6). Suppose -87 = -1653*d + 1624*d. Which is greater: s or d?
d
Let i = -159/10 + 78/5. Let f(d) = -4*d - 7. Let n(u) = u - 4. Let x be n(2). Let j be f(x). Is i > j?
False
Suppose -12 + 2 = -2*d. Suppose -3*z - q = -d*z - 17, 5*z + 40 = 2*q. Let o = z + 0. Does -5 = o?
False
Let v = -3.591 + 1.591. Which is bigger: v or 126?
126
Let l = -63 + 62. Which is smaller: l or -397?
-397
Suppose 0 = -4*y + y + 3. Suppose 0*i + i + y = 0. Let z be 4/(8 + 3 + -17). Does i = z?
False
Let r be -39 + ((1 - -6) + -7)/(-1). Which is smaller: -46 or r?
-46
Let y(s) = s**2 + s. Let k(o) = 4*o**2 + 6*o - 5. Let x(l) = -k(l) + 5*y(l). Let j be x(0). Let t = -7 + 12. Is j < t?
False
Let a = 846 - 866. Which is greater: 13 or a?
13
Suppose -13*j = -3079 - 6125. Let o be -9*152/j - -2. Which is smaller: o or -1?
-1
Suppose 5*k = 2*k - 9. Let b be k + -9*(-5 - -4). Let t = b - 6. Is t bigger than 1?
False
Suppose 5*m = 3*n + 232, -3*m + 142 = -n + 2*n. Let f = -30 + m. Let q = -13 + f. Which is smaller: 6 or q?
q
Let w = -692 - -699. Is w greater than 4?
True
Suppose -6*k + 4 = -4*k. Let f = 0.118 + -0.06. Let u = 2.058 - f. Is u at most k?
True
Let c be 240/(-40) - 426/(-4)*-1. Is c less than -112?
True
Let g = -33 + 46. Let m = 38 - g. Which is smaller: 1/3 or m?
1/3
Let r = 0.93 + 0.17. Let s = 0.9 - r. Is s less than -0.04?
True
Suppose 3*b + 26 = -2*w - 3*w, -2*b = -5*w - 16. Let j be b - (1 - (7 + -3)). Let f be 2 + 1 + (-4 - j). Which is smaller: f or 2?
f
Let k be 24/64 - (75/40 - 0). Is -2 <= k?
True
Let l be 2 + -1*39 + -2. Let i = -38 - l. Is 18/13 equal to i?
False
Let t be 9 - (1 - 0/1). Let u be 20/112 + (-6)/t. Let g(z) = -3*z - 1. Let v be g(0). Which is smaller: u or v?
v
Let j be -11 + 5 - (-1 - 4911/984). Are 0 and j non-equal?
True
Let m be 59/36 + 89/(-356). Which is smaller: -0.1 or m?
-0.1
Let p = -23 - -22.87. Let n = p + -0.17. Which is bigger: 2/7 or n?
2/7
Suppose 2 = t + 1. Let g be 7/((-784)/315) + 3. Which is bigger: t or g?
t
Let r(x) = x**3 - 21*x**2 - 23*x + 27. Let z be r(22). Let k be (-4 - 1)*z - 4. Is -30 at least k?
False
Let x be (-70)/(-21)*9/6. Suppose -9*z + x*z = -4. Is z at least 8/7?
False
Let u be -2 + (42/35)/(2/36). Which is smaller: u or 19?
19
Let y(x) = -x**2 + 32*x + 101. Let b be y(40). Is b > -218?
False
Let s = 3862/23 - 168. Suppose 3*n + 2 = -5*d + 1, 14 = 2*n - 4*d. Suppose -2*c = n*c. Do s and c have the same value?
False
Suppose 0 = -u - 4*h - 42 + 2, 4*u + h + 115 = 0. Let j = 38 + u. Which is bigger: 1/4 or j?
j
Let n = -59 + -12. Let d = n + 72. Let t be -2 + 1 - (-17)/11. Are d and t non-equal?
True
Suppose 0 = 15*m - 990 - 360. Which is bigger: 91 or m?
91
Let i = -4.11 + 0.11. Let n = i - -4. Which is smaller: n or 2/11?
n
Let f = -311 + 229. Is -82 smaller than f?
False
Let o be ((-1)/(-6))/((-20)/(-6)). Let i(p) = p**2 + 9*p - 9. Let y be i(-7). Let b = y - -22. Which is bigger: b or o?
o
Suppose 3*z = -z + 5*b + 33, b = -4*z + 3. Let r(v) = 13*v - v**2 + 0*v**z - 11*v. Let s be r(2). Which is bigger: -1/4 or s?
s
Suppose 0 = 2*o + 12 - 84. Let f(r) = r**3 - r**2 + 3*r - 1. Let s be f(3). Let q = s - o. Is -10 bigger than q?
False
Let o(w) = -4*w - 44. Let a be o(-12). Suppose 0 = -4*m + 2*t + 108, -a*t = m + 4 - 40. Which is greater: -1 or m?
m
Suppose -726 = -18*b + 282. Suppose -52 + b = k. Is k equal to 6?
False
Suppose 22 = 5*v + 2, 5*g + 1049 = v. Which is smaller: 0 or g?
g
Suppose 0 = -14*l + 15*l - 6. Let w(b) = b**2 - 6*b - 3. Let o be w(l). Is o < -2?
True
Let o = -2434 - -2433. Which is bigger: -57/47 or o?
o
Let a = 547 - 933. Is a smaller than -385?
True
Suppose -3*l + 2*k = 491, 3*l + 0*l = 3*k - 492. Is -163 smaller than l?
False
Let h(a) = 3*a**2 - 151*a + 89. Let d be h(35). Which is smaller: d or -1522?
-1522
Let q(m) = 2*m - 5. Let v be q(5). Suppose -3*t - 4 = -i, -v*t - 3*i + 13 - 1 = 0. Let u = 70/3 + -349/15. Which is smaller: u or t?
t
Suppose -15 = 6*x - x. Let l be x + 50*57/924. Let h = 5/22 - l. Does h = 0?
False
Suppose 0 = 5*c - 1 + 6. Let a be 8/32*32/(-14). Let i = -26/49 - a. Which is smaller: c or i?
c
Let m be (-2)/6*0 - 2. Let u be (-2)/m - (-5 + 2). Suppose -u*v + 5 = v. Which is smaller: 2 or v?
v
Let o = -2474 - -2473. Suppose 0 = -b + 4*b + 36. Let q = 24 + b. Which is smaller: o or q?
o
Let x(a) = -a - 9. Let j be x(-9). Let n = -10 - j. Let r(k) = k**2 + 11*k + 10. Let z be r(n). Is 6/5 > z?
True
Let i be (1 + 0)/(57/(-1425)). Which is greater: i or -166/7?
-166/7
Let t = 1072 + -723. Is 2 greater than t?
False
Let k be (1116/240)/((-3)/(-2)). Let h = -8/5 + k. Is 1 >= h?
False
Suppose y - 2*l + 10 = 6*y, -4*y = -2*l - 26. Suppose -2*x = y*s - 4, -s - 5 = -2*x + 4. Let i be -1 + -15*(-3)/48. Is s > i?
False
Let l(k) = k - 2. Let p be l(-4). Let z = 7 + p. Suppose -b - z = 1. Are b and -13/4 non-equal?
True
Suppose -d = 2*d. Suppose c = 5*p + 169, 2*c = 2*p + 347 - 1. Let a be 6/16 + c/48. Which is bigger: a or d?
a
Let v = 15 - 15. Let l = v - -0.17. Which is smaller: l or 4?
l
Let o = -38 - -27. Suppose -48*y + 144 = -60*y. Which is smaller: y or o?
y
Let u be (-1)/3 - (-143)/(-3). Let d = -59 - u. Which is smaller: -10 or d?
d
Suppose 4*k + k = 50. Suppose -3*b + 2 = -k. Suppose -b*n - n = 25. Is -5 != n?
False
Let n(c) = -c**2 + 8*c - 3. Let v be n(8). Let i(f) = -f - 3. Let u be i(-6). Suppose u*k - 4 = 8. Is v at most k?
True
Let k = 144 - 80. Let v be (-10)/55 + k/(-11). Let p be 104/(-39)*(-1 - (-13)/4). Are p and v non-equal?
False
Suppose 0 = 205*q - 215*q - 560. Which is smaller: 0.4 or q?
q
Let v(u) = -3*u**2 - 8*u - 2. Let l(j) = -9*j**2 - 23*j - 6. Let g(a) = -4*l(a) + 11*v(a). Let w be g(-2). Let o be (-9)/(-6)*16/6. Which is bigger: o or w?
w
Let u = -0.0148 - 2.9852. Which is smaller: 6 or u?
u
Suppose 3*i - 15 = 15. Suppose 2*h + 22 = 4*o, -2*o - i = 5*h - 3*o. Is h greater than or equal to -11/5?
True
Let f = -24 - -52. Let c = -28 + f. Suppose c*s = -5*s - 60. Which is bigger: -13 or s?
s
Let s be ((40/12)/((-8)/12))/1. Let u(j) = -9*j**3 + j**2 - 1. Let y be u(1). Which is smaller: y or s?
y
Let k = 2/771 + 2267/17733. Which is bigger: k or 0.22?
0.22
Let g = -42 - -1091/26. Let k = 418 + -417.9. Which is bigger: g or k?
k
Let o be (12/15 - -4)/((-9)/30). Let d be (4/(o/2))/1*-4. Which is smaller: -4/5 or d?
-4/5
Let c = -8771 - -34885/4. Are -2 and c equal?
False
Let y = -4 + 2. Let g be ((-2)/3 + 2)/(10/(-6)). Let h = g - -1. Which is smaller: h or y?
y
Let i be (-2548)/1092*1/(-7). Let j = -0.03 - 0.19. Is i at least j?
True
Suppose 5*r - 4 = -3*i, -3*r + 0*i + 3*i = -12. Suppose 0 = -r*k + 5*k + 51. Is -17 greater than or equal to k?
True
Let s = 1.05 + -0.05. Suppose h - 4 = 3*v, 0*v - 17 = 4*h - v. Let b = -11 - h. Is s smaller than b?
False
Let p(u) = -u**2 - 6*u - 5. Let w be p(-3). Suppose 5*g + 287 = 5*s + 57, -2*s = w*g - 116. Let f be ((-20)/s)/((-34)/(-10)). Is 1 equal to f?
False
Let f be 2826/(-270) - 2/(-12)*2. Which is bigger: f or -2?
-2
Let x be (6/(-4))/(123/164). Is x at least -44/31?
False
Suppose -5*z - 5*v + 40 = 0, 2*v + 0*v - 37 = -5*z. Let u be (-64)/(-6) + z/21. Which is smaller: u or 10?
10
Let q = -4 + 10. Let f be (-1)/((-3)/q) - 2. Which is smaller: f or 8/17?
f
Suppose 12*z = 10*z + 22. Suppose -4*n + z = 7. Which is smaller: n or 1/16?
1/16
Let z(g) = -g**3 + 7*g**2 + 5*g + 9. Let v be z(8). Which is smaller: -13 or v?
v
Let g = -0.088 - 8.312. Which is smaller: -1 or g?
g
Let a(d) = -d**3 - 18*d**2 - 20*d - 51. Let b be a(-17). Which is greater: 1/3 or b?
1/3
Let o be (-2)/(-6)*(-12)/2. Let d = -4 + o. Suppose 4*z + 18 = 2. Do z and d have different values?
True
Let h be (-2)/7 - (-13092)/47376. Let l = h + -1/84. Is 1 <= l?
False
Let k be (2 - 15/(-6))*12/18. Which is greater: k or -2/9?
k
Let j = -31.10742 + -0.02258. Let s = -31 - j. Let g = s - 0.23. Are 13 and g equal?
False
Let g = 46 + -45. Which is bigger: g or 16/11?
16/11
L