64.47. Is k at least as big as -1?
True
Let j = 97 - 94. Suppose 4 = -j*x + 10. Which is smaller: x or -18?
-18
Let l be 0 - 141/(-1192) - (-7)/(-56). Does l = 1?
False
Let t(q) = q - 23. Let u be t(21). Let f(j) = -5*j**3 - 3*j**2 + 5*j + 6. Let r be f(u). Which is smaller: 27 or r?
r
Suppose -5*t + 8 = 2*w, -20 = 4*t - 0*w - 5*w. Is 12/49 at most as big as t?
False
Let b be 5/(2 + -6 + 2)*2. Let i(h) = h - h**2 + h**3 + 7*h**2 + 5 - h**2. Let p be i(b). Do -1 and p have the same value?
False
Let f = -3 + 2.9. Let w be 1320/(-9486) - 2/(-17). Let u = w - 1015/372. Which is smaller: f or u?
u
Let u be (-6255)/(-33)*(-36)/30. Let j = 57544/253 + u. Let i = j - -285/4048. Which is smaller: -1 or i?
-1
Suppose -h + 4*h = 0. Suppose -13*c = 8*c - 210. Let z be ((-2)/(-28) - h)*c. Is z < 1?
True
Suppose 2*i + 0*i - 26 = 0. Let b = i + -16. Let x(j) = -j**2 - 2*j - 2. Let q be x(-2). Which is greater: b or q?
q
Suppose -7 = -n + 5*j, -2*j + 4 = 2*n + 2. Let u be (-24)/32 - ((-3)/n + 1). Which is greater: u or -2/31?
-2/31
Let y(s) = 2*s + 2. Let m be y(2). Let v be ((-2)/6)/(2/m). Let h = -1829 + 1833. Which is bigger: v or h?
h
Let a = -20.62 + 0.62. Is a less than 1?
True
Suppose -2*y + 85 = -o - 2, y - 2*o - 42 = 0. Which is smaller: 42 or y?
42
Let o(f) = -36*f + 184. Let y be o(4). Which is smaller: 34 or y?
34
Let y be (856 - 7)*(2 - -2)/12. Is y at most as big as 283?
True
Suppose -4*d = a - 19, 0*d + 3*d = -2*a + 28. Suppose -h - o = -a, 0*o - 20 = -5*o. Which is smaller: 8 or h?
h
Let f be 3 - -3 - 5*(-4004)/(-1235). Is f > -10?
False
Let j = -15 + 17. Suppose 3*k + 5 = -h, -2*h + j*k - 4 + 2 = 0. Let o be (2 + h)/1*-1. Which is bigger: o or 1/12?
1/12
Suppose 2*u - 4 = 3*u, -4 = x + u. Are x and -2/585 nonequal?
True
Let q = 13/640 - 4323/275840. Let x = q - 547/24998. Which is greater: -1 or x?
x
Let x(w) = -w**3 - 5*w**2 + 7*w + 9. Let a = 27 - 33. Let o be x(a). Which is smaller: o or 17/4?
o
Let a(z) = -z**2 + 5*z + 1. Let l be a(4). Let y = 648 - 650. Let j = y - l. Is j smaller than -7?
False
Let i = 344.1 - 344. Which is greater: i or 51.7?
51.7
Suppose 19*k - 69*k - 16900 = 0. Is k greater than or equal to -335?
False
Let v = -136 + 136.1. Which is smaller: 107 or v?
v
Let v be 1/7 - 309*(-20)/105. Let i(m) = -6*m**3 + 4*m**2 + 2*m - 1. Let w be i(-2). Is v > w?
False
Let d = 26 - 18. Suppose 12 = f - 4*f, -4*b = 2*f - d. Which is smaller: b or 8/3?
8/3
Let t be (20/16)/(5/20). Are t and -44 equal?
False
Suppose -3*z = 5*t - 6*z + 12, -2*t = -5*z + 20. Suppose t = 5*l, -2*f + l = 4*l - 14. Suppose 4*d - f = 21. Which is smaller: d or 1?
1
Let s(j) = -3*j + 26. Let a be s(6). Suppose a = 2*y + 10. Which is greater: y or 5/18?
5/18
Suppose -21 = 3*v - 18. Let m be ((-44)/12 - -4)/(v/33). Which is smaller: -13 or m?
-13
Let y = 0 - 12. Let p = 14 + y. Is p at most as big as 0?
False
Suppose 0 = 7*f + f - 8. Which is smaller: f or 3/227?
3/227
Let y = -2541 - -2540. Which is bigger: y or 3/731?
3/731
Let n(f) = f**3 + 10*f**2 - 11*f - 4. Let q be n(-11). Let w be q - (0 + -2 + -1). Let i be (w - 1) + (-21)/(-15). Which is greater: -1 or i?
i
Let z(t) = -t**3 + 8*t**2 + 13*t + 5. Let l be z(12). Is l at least as big as 1?
False
Suppose 7*u + 32 = 60. Let p = 0 + 0. Suppose p = u*v - v - 87. Which is bigger: 28 or v?
v
Let g be (6/40)/((-24)/(-272)*6). Let v = g + -1/12. Which is smaller: 10 or v?
v
Suppose -36*i - 1082 + 4610 = 0. Which is smaller: i or 14?
14
Let g be 53 + (-3 - 0/1). Suppose 2*u = 3*j - 0*j + g, -4*u + 30 = -j. Is -2 not equal to j?
True
Suppose -564*s + 1457 = -533*s. Which is greater: 51 or s?
51
Suppose 0 = -o - 2*w - 0*w, 0 = 2*o + 3*w. Which is smaller: o or -6/145?
-6/145
Suppose 0 = 5*y - 3*y + x - 35, 2*y - 47 = -5*x. Let f = 17 - y. Let b = -7444/17 - -438. Is f smaller than b?
False
Suppose -2*c + 4 = -4*c. Let w be (-15)/4*1840/(-30). Let r be (-8)/28 - w/175. Is c bigger than r?
False
Let y = 0.1018 - -36.8982. Which is smaller: 0.17 or y?
0.17
Let a(o) = -8*o + 30. Let x be a(8). Which is bigger: -37 or x?
x
Let g be 7 + (-4 - 4/(-2)). Suppose -c - 3*d + g*d - 2 = 0, -c - 5*d = -5. Suppose c = 4*u + 5 + 3. Is u bigger than 0?
False
Let b = 30 + -27. Suppose -10*n = -7*n + b. Is -1/2 at most as big as n?
False
Let o be (-2 - 5/2)/((-465)/25). Are 1 and o non-equal?
True
Suppose 3*m - 4 = m. Let v(d) = d**3 + 23*d**2 + 3. Let h be v(-23). Suppose -m*w - 7*b - 8 = -h*b, 3*w - 2*b + 52 = 0. Which is bigger: -12 or w?
-12
Let z be (2 - -1) + -4*18/24. Which is smaller: z or 1/188?
z
Let d be (-17)/5 + (-4)/(-10). Let w be (25 + 7 + -4)/1. Let p = w + -89/3. Does d = p?
False
Suppose 5*x + 53 = -2*i, 5*i - 3*x + 4*x = -75. Let l be ((-4)/65)/(i/(-35)). Which is greater: -1 or l?
l
Let d be (13/52*0)/(-2). Is d at least 7/240?
False
Let w be (-4)/(-12)*(-4190)/6. Let o = -233 - w. Let d = o - 1/36. Which is smaller: -0.5 or d?
-0.5
Let q be (-9)/(-6)*-2 + (-11118)/(-3702). Which is smaller: q or 1?
q
Let h be (-2)/(54/(-10) + 44/110). Is h != 1?
True
Let p = -1252 + 1252. Which is smaller: 10/39 or p?
p
Let k = -3332 - -3344. Let b be (1/4)/((-3)/(-4)). Is k less than b?
False
Let k = -0.3 + 0.11. Let z = 0.22 + k. Let b be 0 + 2/(-4)*-1. Which is smaller: z or b?
z
Suppose 2*l + 1 = l, -2*w = 2*l + 468. Is -233 less than w?
False
Let w be (0 + (2 - 1))/(10 + -9). Let a be (2 - (-128)/(-56))*(-13)/2. Is w less than a?
True
Let g = 920/12663 + 2/1407. Let l be (7/(-21))/(5/45). Is l greater than g?
False
Suppose 16*u + 19 - 83 = 0. Let n be (-10)/(-6) - (-1)/3. Is n bigger than u?
False
Let r = -72.2 - -72. Which is smaller: r or -5?
-5
Suppose 11*k = 12*k + 8. Let v be k/(-4) - (1 + 0). Do v and -1/58 have different values?
True
Let b be -1*(1/193)/(-1). Which is smaller: b or -1?
-1
Suppose 2 = -5*u - 8. Let q be (-16)/4*u*1. Suppose -q*n + 5 = -13*n. Does -1/7 = n?
False
Let x be 4 + -5 - -4 - -3. Let b be 3/6*8/x. Suppose 5*g - g - 4 = 0. Are b and g nonequal?
True
Let u = 0.82 + 0.08. Let d = 50 - 47.9. Let a = d + u. Is -1 <= a?
True
Let u(t) = 4*t + 42. Let z be u(-11). Let p(v) = v**3 - 2*v**2 + 2*v + 3. Let c be p(z). Let g be (1 - -5)/((-10)/25). Is c > g?
False
Let p be 12/30*79/2. Is p > 16?
False
Let v be -3 - (194/(-49) - -1). Let a be 261/(-147)*(-6)/(-114). Let g = v - a. Is g != 0?
True
Let l = -0.6 + -1.4. Let b be 0/(3 + -8) + 3. Let y be 87/252 - b/12 - 0. Is y not equal to l?
True
Suppose -c = 3*s + c - 9, 0 = 5*s + 3*c - 15. Suppose -2*a + s = a. Do 0 and a have the same value?
False
Let f be ((-20)/(-120))/(2/4). Let v = -1399/11 + 127. Is f at most as big as v?
False
Let l = 0.0493 + -68.0493. Which is smaller: l or 3?
l
Let f be (-10)/3*(-46)/460. Which is smaller: f or -0.086?
-0.086
Let p = -173.96 + 174. Which is smaller: 2/5 or p?
p
Let t be 64 + 1 + (-70)/7. Is t at most 56?
True
Let u(d) = 3*d**2 - 17*d - 4. Let b be u(6). Suppose -b = -4*c - 34. Let r(t) = -t**2 - 6. Let g be r(0). Which is smaller: g or c?
c
Let k(p) = p**2 + 6*p. Let l be k(-6). Let c be -4 - -1 - (l - -1). Which is greater: -2 or c?
-2
Let w be (19 + -3)/(4/102). Which is smaller: 409 or w?
w
Let f(t) = -t - 4. Let o be f(-7). Let n be (-6)/(-15) - 36/(-10). Suppose -o = -n*d + 9. Is 3 != d?
False
Let d be -4 + (-95)/(-25) + 4706/38780. Let o = d - -2/277. Suppose -5*h = -h. Is h greater than o?
True
Suppose 5*n - 3*u - 229 = 0, 2*u - 21 = -27. Is n less than or equal to 42?
False
Let d = -0.192 + 27.192. Does -19 = d?
False
Let a(v) = -v**3 + 8*v**2 + 23*v - 126. Let n be a(9). Which is bigger: n or 10/9?
10/9
Suppose -5*k = -5*n - 215, 0 = k - 0*n - 5*n - 47. Let r = k + -36. Is r at most 0?
False
Suppose 5*l = -7*l - 1620. Let z = l - -56. Is z < 1/2?
True
Let g = 320 + -2238/7. Is g >= 1?
False
Let l be (-2)/(-10) - 168/440. Let j = -3/44 + l. Which is bigger: 0 or j?
0
Let p = 2/1165 + 1153/6990. Is p less than or equal to -0.021?
False
Let y be 497/(-161) + 3/1. Let w(l) = l**3 - 4*l**2 + 4*l - 3. Let z be w(4). Suppose z*a = 10*a. Which is greater: y or a?
a
Let r = -520 - -533. Is r not equal to -0.03?
True
Let q be 48/2*(-4)/(-18). Let w be 2/(3/((-9)/(-2))). Let t = w + 1. Is q smaller than t?
False
Let i = 20807/8916 + -1/2972. Suppose 0*q - q = -3. Is q at most as big as i?
False
Let b be 2/(-10