68?
-2.68
Suppose 0 = 4*m - 5*p - 1120, 8 = -8*p + 10*p. Let g = -253 + m. Suppose 3*o = 2*n + n + 90, 2*n = 4*o - 122. Which is bigger: g or o?
g
Let x = -65 - -69. Suppose -a = x*a. Let h(v) = -v - 8. Let w be h(-7). Is w at most a?
True
Let u = -4162 - -4122. Are -9/10 and u unequal?
True
Let t(d) = -d**3 - 7*d**2 + 9*d + 18. Let c be t(-8). Let l be (c/5)/((-1)/(123/6)). Suppose -2*y - 39 = 39. Is l smaller than y?
True
Suppose 5*j + 12*r = 16*r + 1, 2*r - 2 = 0. Which is smaller: 57/224 or j?
57/224
Let x = 2270 + -2289. Which is greater: x or -35/2?
-35/2
Let q be (-21)/(-11) + -2 + -1. Suppose 19*h = 12*h + 161. Suppose -14 + h = -9*y. Which is smaller: y or q?
q
Let p(c) = c**2 - 8*c + 13. Let t = 32 + -26. Let h be p(t). Is -2/61 at most as big as h?
True
Let h be 6/3*(-12)/120*(-34735)/(-3). Which is greater: -2317 or h?
h
Let b be (((-3)/(-6))/(15/(-6)))/((-111)/1665). Which is greater: b or -120?
b
Let o be (-2910)/70*42/(-63). Is o <= -3?
False
Let u = 483 - 2416/5. Let c(o) = -12*o**2 + 1. Let p be c(-1). Let s = 12 + p. Is u at most as big as s?
True
Let n(z) = -z**2 - 5*z. Let h be n(-5). Let o be (-2 + 3)*(-28 + -7). Let j be ((-13)/4)/(o/20) - 3. Which is greater: j or h?
h
Let l = -44 - -39. Let r be (12/5)/((-15)/((-1125)/330)). Which is smaller: r or l?
l
Let a(z) = 43*z - 1375. Let w be a(32). Let m = 19 - 39. Do m and w have different values?
True
Let g = 241 + -241.139. Let n = g + -3.861. Which is greater: n or -21?
n
Let r be -4 - (-2 + -3 + 7). Let s = 10 + r. Let g be (18/(-18))/(122/s). Is 1/2 > g?
True
Let j(m) be the second derivative of -m**3/3 - 9*m**2/2 - 2*m. Let b be j(-4). Which is smaller: b or 1/43?
b
Let m(p) = -p**3 + 6*p**2 + 2*p + 1. Let y be m(6). Let o be ((-40)/(-24))/(125/75). Is o greater than or equal to y?
False
Let v = -1455 + 1456. Which is smaller: v or 3727?
v
Suppose 0 = w - 4*n + 18, -2*n + 4*n = -w + 12. Let y(f) = f**2 + 5*f + 19. Let q be y(0). Let h = q - 69/4. Which is smaller: h or w?
h
Suppose 466 - 160 = 17*s. Let t be s/2 + ((-42)/(-6))/7. Which is bigger: t or 7?
t
Let t be (1 - 4/(-114)) + -1. Let r(b) = 2*b**3 - 7*b**2 + 3*b + 1. Let q be (-66)/10 - -6 - (-36)/10. Let f be r(q). Is t greater than f?
False
Let c = 5.7439 - 61.7909. Let z = 0.047 + c. Which is bigger: 1 or z?
1
Let d = -16692 + 16539. Which is greater: -1077/7 or d?
d
Let r = 0.13337 - 2.68237. Which is smaller: -6/11 or r?
r
Let v = -3 + 3.6. Let m = -1.88 - -3.28. Let q = v + m. Which is smaller: q or 0.13?
0.13
Let b be 312 + 3*(-7 + 8). Suppose -b = -20*n + 15*n. Is n > 66?
False
Suppose 69 + 421 = -31*t + 129*t. Suppose s = 4*f - 12, -5*f + 5*s + 6 + 9 = 0. Let x be 78/9 + 1/f. Which is smaller: x or t?
t
Let o = -1 - -3. Let w = 186750/7 + -26676. Is w greater than or equal to o?
True
Let k(v) = 3*v**3 - 373*v**2 - 245*v - 108. Let r be k(125). Is r greater than 514?
True
Suppose -123*l = -113*l - 10. Which is smaller: -80 or l?
-80
Let b(k) = -k**3 + 8*k**2 + 2*k + 11. Let s be b(7). Suppose 180 = -4*l + 16. Let u = l + s. Is u at least as big as 34?
False
Let p(z) = 180*z + 499. Let a be p(-13). Is a smaller than -1843?
False
Let t = -175 + 184. Suppose 5*k - t*k - 47 = -j, -k - 3*j = 28. Suppose -2*v = 2*v + 52. Is k >= v?
True
Let p = 0.047 - -60.953. Let b be ((-121)/(-18) - 2/4) + 1472 + -1478. Do b and p have different values?
True
Let k be (3 + 32/(-14))/((-1836)/63). Let l = k + 14/51. Which is smaller: l or -1/56?
-1/56
Let q = 616/15 - 157/5. Let p = 47/12 - q. Is p at least as big as 2/5?
False
Let o = -32562 + 32561. Which is smaller: o or -1436/19?
-1436/19
Let v = -194.1 + 197. Let f = -2.8 + v. Suppose -2*h + 0*h + 52 = 3*y, -4*y = 2*h - 56. Which is greater: f or h?
h
Suppose -3*m + 15 = 2*m. Suppose -4*u - 4*n = 12, u + 42 = -m*u + 2*n. Let h be (-633)/159 + (-4 - u). Is h greater than 0?
True
Let s be (-48)/455 + 2208/23184. Suppose 4*p + 2*f - 6 = 0, -2*p + 3*f = -5*p + 9. Which is smaller: p or s?
s
Let a be (-1)/2 - (-7 - 471/(-6)). Let q be 7/((-42)/(-24)) - 1. Which is greater: q or a?
q
Let m = 455353082/9937 - 45824. Which is smaller: 1 or m?
m
Let k = -424012 - -424011. Let n = -2.5 + 3. Are k and n nonequal?
True
Let c = -13841 - -13267.1. Let y = c + 574. Which is smaller: -105 or y?
-105
Suppose -3*f + 45 + 131 = -4*x, 5*x - 212 = -3*f. Let o = -65 + f. Let d = 57/176 + -3/16. Which is smaller: o or d?
o
Let z = 1759 - 1757. Which is bigger: z or 1.89?
z
Let w be 77 + 1 + -108 + 103. Is 67 > w?
False
Let b = 19907 - 12711. Let r be 2/8 + (-1351)/b. Let y = 12529/1028 + r. Which is bigger: y or 12?
y
Let r = 0 - -3. Suppose r*h - 20 = -h. Let k(j) = 876*j + 3. Let l be k(0). Which is smaller: h or l?
l
Let r be ((-230)/(-7))/((-7)/(-2205)*-9). Are -1151 and r unequal?
True
Suppose -r + 51 = -89. Suppose 2*c - r = 5*t, -4*c + 3*t + 368 = 102. Suppose 3*g - 4*p + c = 160, 3*p = 3. Which is smaller: g or 34?
g
Suppose 3683 = 18*l + 3665. Which is smaller: 4/939 or l?
4/939
Let b = -147.118623 + 0.033623. Let d = -147 - b. Which is bigger: 0.1 or d?
0.1
Suppose -26*r = -23*r + 2*x - 140, -4*x - 8 = 0. Let g = r - 48. Are g and -5/38 equal?
False
Let x(c) = -2*c**2 + 44*c - 79. Let p be x(2). Is 2/20761 greater than p?
False
Let p be -5 + (29/((-5220)/(-400)) - 3/(-1)). Let j = 28.47 + -0.47. Which is smaller: j or p?
p
Let l = 7335 - 7337. Do l and 487 have different values?
True
Let o = 59415/2379181 - 2/8407. Is o less than 1?
True
Let w be (1 - 15/21)/(-11 - (-552)/56). Is w greater than or equal to 56/13?
False
Let n = -24/51175 - 117139047/1125850. Let b = n - -209/2. Let v = 0 + 0. Is v not equal to b?
True
Let w be 74/125615*(-20)/(-16). Which is greater: -1 or w?
w
Let f be (6 + 1 - 3)/((-12)/(-15)). Let r be 21/6 + (-1)/(-2). Suppose -3*t - r*o - o + 3 = 0, f*t - o = -23. Which is smaller: t or -2/13?
t
Let p = 55/4 - 14. Let d be (4/(-110))/((-32)/60). Let h = -97/132 + d. Is p >= h?
True
Suppose -4*t = -6*t - 4*c + 24, 4*c + 24 = 2*t. Suppose 54 = 6*r - t*r. Which is smaller: -30 or r?
-30
Suppose 39*f = -4*g + 38*f + 11, -12 = 2*g - 2*f. Is g less than or equal to 2/19143?
False
Let h(y) = 8*y + 24. Let j be h(-3). Suppose -4*i + j*i = 2*s - 136, -2*s - 136 = -4*i. Which is bigger: i or 32?
i
Let i(d) = d**2 - 4*d. Let t = 15 - 11. Let k be i(t). Suppose -w - 4 = -k*w. Which is smaller: -3 or w?
w
Let y = -231 - -237. Suppose 0 = 6*x - 4*x - y. Is x at least -4?
True
Let l = 37 + -16. Let z be (-3)/(6*(-4)/112). Let g = l - z. Which is smaller: 6 or g?
6
Let i = -879 + 880. Which is smaller: -24/139 or i?
-24/139
Let u be 1/1 - (-63)/6. Let n = u - 265/22. Which is bigger: 1/13 or n?
1/13
Let r = -9 - -8. Let p be (-19)/380 + 845/(-100). Which is smaller: p or r?
p
Let g = 317.09 + -317. Let m = g + -0.09. Which is smaller: m or 2/9?
m
Let w = -0.63 + 0.23. Let j = 7583 - 7654. Which is greater: j or w?
w
Let c(x) = 34*x**3 + 15*x**2 - 67*x - 5. Let z be c(4). Suppose z = -8*v + 567. Which is greater: -198 or v?
v
Let z be (-4)/(4/(-5))*1. Let i(v) = 9*v + 1. Let j(k) = k + 2. Let h(n) = i(n) - 5*j(n). Let y be h(z). Is y greater than 11?
False
Let x = 30775777/9 - 3430474. Let w = x - -10931. Which is smaller: w or -12?
w
Let q = 8355 + -5187. Let s = 44377/14 - q. Is 2 greater than s?
True
Suppose 0*d + 3*d - 33 = 0. Let c = 90 + -29. Suppose -z = -73 + c. Which is smaller: d or z?
d
Let t be ((-298)/20)/(2 + (-65)/30). Let z = t - 88. Does z = 2?
False
Suppose 114 = 23*y - 1. Suppose -4*j = -y*q - 5, q + 3*j - j = 13. Is q < 97?
True
Let w(j) = -202*j + 1206. Let y be w(7). Does -190 = y?
False
Let q be 659712/(-1550304) + ((-6)/14)/(-1). Is 0 != q?
True
Let w(y) = -23 + 12 + 2*y - 15 + 0*y. Let z = 13 + -9. Let q be w(z). Which is smaller: q or -17?
q
Let y be 428 - (2 - -15 - 12). Is 430 at least as big as y?
True
Let b(y) = y**3 + 15*y**2 + 31*y + 10. Let n be b(-2). Let g = 11753/9500 + 13/500. Is g greater than n?
True
Let y = -4 + 6. Let r(x) = 39*x - 270. Let f be r(7). Let o = y - f. Which is smaller: -12/7 or o?
-12/7
Let q = 717 + -535. Let k = -584 + q. Which is greater: -401 or k?
-401
Let c = -21064 + 18511. Which is smaller: -2555 or c?
-2555
Let j(q) = 111*q + 6*q**2 + 11 - 75*q - 58*q + 0*q**2. Let a be j(3). Are -3/22 and a non-equal?
True
Let j