 Let m = j + f. Which is bigger: m or 1.1?
1.1
Let c = -1733 + 1717. Suppose 2*f - 30 = 3*y - f, -y + 5*f + 6 = 0. Which is bigger: y or c?
y
Let u = 4 + -6. Let j be u/(-5)*5/(-11). Suppose b = 12*b + 16*b. Do b and j have different values?
True
Let r = -4.3 + -2.7. Which is smaller: r or -2/9?
r
Let i be -7 + 5 - (-16)/10. Let a be 2/12 + 8/(-12). Is a != i?
True
Let g = 36 - 63. Let q be (36/g)/((-7)/3). Which is smaller: q or 0?
0
Let u = -56 + 50.2. Let z = 6 + u. Suppose 5 = g - 6*g. Which is greater: g or z?
z
Let q = -0.11 - 13.89. Suppose 3*w - 8 = -5*n, -3*n + 4*w + 14 = -14. Let v be (-11)/(-14) - ((-36)/(-8) - n). Which is greater: v or q?
v
Suppose -2*a - 4*k + 31 = 3, -5*k = -a - 7. Let x = -5 + a. Suppose 3*r + 4*q + 3 = 0, -5*r - x*q = 5 - 0. Does 0.2 = r?
False
Suppose 34 + 5 = 3*h. Suppose -542 + 25 = -47*d. Which is greater: h or d?
h
Let p = -1019/4 - -255. Which is greater: -2/3 or p?
p
Let f(o) = o - 22. Let d be f(17). Let n be 5/d + (-3)/(-2). Let p = n + 0. Is 0 less than p?
True
Suppose 2*p - 25 = 47. Let z(f) = 8*f**2 + 68*f - 1. Let h be z(-9). Which is smaller: p or h?
h
Let i(s) = -2*s**2 - 14*s + 11. Let l be i(-8). Is l equal to -10?
False
Let v(i) = -43*i - 2. Let m be v(1). Let s be (-6)/m*(-2 + -108). Let t = s - -14. Does 5 = t?
False
Suppose 8254 = 4*t - 2*z - 0*z, 8266 = 4*t + 2*z. Let d be 26856/t - (-6)/(-15). Let w = -88/7 + d. Is w at least -1?
True
Let s = 25.96 + -26. Let p = 22.04 + s. Is 0.1 <= p?
True
Suppose -j - 2 = 2*f - 1, -7 = -5*j - 4*f. Suppose 0 = r + j*r - 8. Let d = -78 - -396/5. Which is smaller: r or d?
d
Let f = 2.2 + -2. Let l = -27.9 - -22.9. Which is bigger: l or f?
f
Let n = 4264/3 - 1421. Which is bigger: 52/11 or n?
52/11
Let g be 5/(-572)*1 + (-8)/(-44). Which is greater: g or 1?
1
Let z = 9.83 + -8.72. Is -2 smaller than z?
True
Let r be 101/(-12) - (-4)/6. Suppose 2*c - 3*h = -27, 0 = 3*c - 5*h + 36 + 6. Which is smaller: c or r?
c
Let d(v) = -v**3 + 15*v**2 - 11*v - 11. Let f be d(14). Let a = 33 - f. Let l be ((-2)/22)/((-4)/96). Is l not equal to a?
True
Let s = -34 - -36. Suppose 3*t + 3*u - 1 = s, 0 = 3*t - 2*u + 7. Is t at most as big as -10?
False
Suppose -2*r = -4*r + p - 256, 2*p = -2*r - 244. Which is greater: -127 or r?
r
Let s(q) = -q. Let b(u) = 3*u**2 + 42*u + 8. Let y(x) = b(x) - s(x). Let c be y(-13). Which is bigger: -42 or c?
-42
Let n(l) = -3*l**2 + 3*l + 3. Let x be n(3). Let p be 1 - x/(-20) - 127/28. Which is bigger: p or -4?
-4
Let l(d) be the third derivative of d**6/120 + d**5/12 + 5*d**4/24 + 5*d**3/3 - 27*d**2 - 2*d. Let t be l(-4). Which is smaller: t or 9?
t
Suppose 33*d - 34 = 32*d - 4*s, -41 = -2*d + s. Let x be 0/(1 - 2 - 0). Is x >= d?
False
Let u(q) = 3*q**2 + 52*q - 159. Let f be u(-20). Are f and 2/23 equal?
False
Let j = 317.1 - 317. Is j at least -29/5?
True
Let q(v) = v**2 - 5*v - 4. Let j be q(6). Suppose -14 = -2*l + 2*g, -5*l + g + 23 = -0. Suppose -n + j - l = 0. Is n at most -1?
True
Let i = -8507162/7695 - 86/1539. Let g = -1111 - i. Which is smaller: g or -6?
-6
Suppose 320 = 379*h - 359*h. Which is greater: h or 10?
h
Let i(j) = j**3 - 14*j**2 + 8. Let v(t) = -t**3 + 13*t**2 - t - 8. Let r(o) = -5*i(o) - 6*v(o). Let d be r(7). Which is greater: 4/7 or d?
d
Suppose -x + 5*h = x - 8, -4*x - 3*h = 10. Let c = -511 + 509. Is x equal to c?
False
Let m be 4*(-8 - (-280)/32). Let b be -1 + (1 - -1 - 0). Is b at most m?
True
Let d = -678 - -1993/3. Which is greater: 1 or d?
1
Let x be -2 + -646 + (-20 - -30). Does x = 1/4?
False
Let q = -473 + 466. Is q > -15?
True
Suppose 4*d + 214 = 3*t, -3*d + 4*d = -1. Is t >= 67?
True
Let g = 16 + -9. Let b be g/15 + 4/(-12). Let p be 18/(-9)*1/2. Which is smaller: b or p?
p
Suppose -6*k + 5*k = -377. Let v be k/806 - (-2)/(-4). Is v smaller than -1?
False
Suppose j - 80 = -5*h + 5*j, 2*j - 38 = -4*h. Let c be (66/4)/(9/h). Is c bigger than 22?
False
Let m = 2.42 - 2.1. Let l = m - -1.38. Let p be 3*1/30*-4. Which is greater: p or l?
l
Let h = -3596 - -3598. Let w = 14.83 + 0.17. Which is smaller: w or h?
h
Let r = 153 - 1775/12. Let j = r + -59/24. Do j and 4 have the same value?
False
Let v be (-14)/(-4) - (-3 + 6). Let w = 13 + -13.2. Which is bigger: v or w?
v
Let a = -36 + 34. Let p = -99 - -48. Let x = -39 - p. Is a greater than x?
False
Let g(m) = 139*m**2 + 134*m**2 - 272*m**2 - 8*m - 26. Let b be g(11). Are 20/3 and b equal?
False
Let k = 168.2 + -168. Which is bigger: -0.96 or k?
k
Let p(r) = -r**3 + r**2 + 5*r - 2. Let g be p(-2). Is g greater than or equal to -1/303?
True
Suppose -3*n + 42 = 6. Let h be (n/36)/(1/(-9)). Which is greater: -4 or h?
h
Let m = -11 + 16. Suppose 0 = -5*b + 6*b + 5*o - 14, 3*b + 3*o - 18 = 0. Is b at most as big as m?
True
Let d(h) = -h**2 - 9*h - 15. Let o be d(-6). Suppose -o = -s + 4*s. Let q be -3 + (-1)/s - -4. Is q not equal to 2?
False
Let y be (-278)/(-10) - (-11)/55. Suppose f - 3*f + y = 0. Is 12 bigger than f?
False
Let f(d) = 7*d + 6. Let q be f(-7). Which is bigger: q or -41?
-41
Let h be ((-434)/882)/(4/(-3)). Let r = h + 4699/924. Is 4 <= r?
True
Let g(q) = 5*q**3 - 6*q**2 - 9*q - 11. Let n(f) = -9*f**3 + 12*f**2 + 18*f + 23. Let b(y) = -11*g(y) - 6*n(y). Let m be b(-5). Are m and 2 unequal?
True
Let r = 51/2 + -123/4. Is -6 bigger than r?
False
Let d = -1 + 1. Let i = -227156075/4215779 - 1/247987. Let h = i - -54. Which is greater: d or h?
h
Let r = -0.027 + -0.873. Which is smaller: -0.5 or r?
r
Let p = 635 - 669. Let g = 6 + -42. Which is smaller: p or g?
g
Let l be 2 + 5700/(-2637) - 63/(-378). Is 1 > l?
True
Let i be (-74)/14 - -1 - -4. Suppose -5*d + 63 - 18 = 0. Is d < i?
False
Let t(z) = -z**3 + 9*z**2 - 11*z + 15. Let r be t(9). Is -84 not equal to r?
False
Let m be 144/(-64)*(-80)/6. Which is bigger: m or 35?
35
Let u = 2 + 2. Suppose -z + 2*y - 9 = -2, -4*y = -4*z - 8. Suppose 2*p - 3 = z. Is p smaller than u?
True
Let l(i) = -3*i + 15. Let k be l(6). Let n be 0*(-1 - k)/(-2). Is 1/17 at least as big as n?
True
Let m = -857 + 857.051. Is -6 != m?
True
Suppose -938 = -46*u + 53*u. Is -133 at most as big as u?
False
Let b = 538883 - 4869458/9. Let z = b - -2173. Is 6 at most z?
False
Let p = 989/3972 - -1/993. Let m = 0.1 + 1.9. Which is greater: m or p?
m
Suppose -16*d = -37*d + 105. Which is smaller: d or 0.02?
0.02
Let j be (1/(-1))/((-1)/(-2)). Let b = j + 18. Let f = -10 + b. Is f at least as big as 6?
True
Let j(t) = -t**3 + 5*t**2 + 6*t - 12. Let s be j(5). Let n be 22/(-51) - (-12)/s. Let r(f) = -f - 2. Let k be r(-1). Is n at most k?
False
Suppose -9*o + 4*o - 10 = 0. Let d = o + 7. Suppose a = -3*t - 3, -5*a + 2*t + 21 = -15. Which is smaller: d or a?
d
Let k = -22 - -28.8. Let d = -2.2 - k. Let g = d - -10. Is -1/2 less than or equal to g?
True
Let m be 4/((1 + -2)*-2). Suppose r - m = -r + k, 4*r + 10 = -5*k. Let w be 4/(-75)*(-3)/(-2). Is w less than or equal to r?
True
Let s = -5467/20 + 1093/4. Let i be -2*(2/4)/1. Is i less than s?
True
Let b = -18 - -31. Suppose -23*g + 20 = -164. Is g greater than b?
False
Suppose 0 = 23*q - 31*q + 40. Which is bigger: q or 2?
q
Let a = 109 - 110. Which is greater: a or -9/22?
-9/22
Let g = 6 + -33. Let s(f) = -2*f**2 + 32*f + 7. Let m be s(17). Is m bigger than g?
False
Let t = -47236/5 - -9418. Let s = 59/2 + t. Suppose 0 = 7*y - 2*y. Which is smaller: y or s?
y
Let m be (-2)/6 + (-10)/(-3). Suppose 3*h + 50 = -13. Let y be (-78)/h - 14/(-49). Which is greater: y or m?
y
Let o = 3.789 + 0.211. Let j = -0.02 - -0.02. Let x = j - 0. Is o greater than x?
True
Let m(k) = k**3 - 12*k**2 + 7*k + 108. Let n be m(10). Is n less than or equal to -17?
True
Let w = 3.48 - 3.18. Which is bigger: 1 or w?
1
Let x(v) = v**2 + 5*v + 36. Let j be x(-11). Is 101 <= j?
True
Suppose -2*b + 1126 = 2*c, -2*c = 4*b - 289 - 1971. Does 566 = b?
False
Let p = 6448/25 - 258. Suppose 5*i - 6 = -41. Let r(b) = -b**2 - 6*b + 6. Let n be r(i). Is p less than n?
False
Let i(v) = -v**3 - 30*v**2 + 30*v - 40. Let x be i(-31). Let o be (24/x)/2 - (-4)/18. Which is bigger: -1 or o?
-1
Let t = 92 - 92. Let k = -333962/165 + 2024. Let a = k - -7/33. Is a greater than t?
True
Let n(v) be the second derivative of -v**4/12 - 5*v**3/2 - 16*v. Let o be n(-8). Is o bigger than 55?
True
Suppose -3*z + 2*z = 0. Let h(y) = 