1. Is x less than 60?
True
Let v be (-3)/(-6)*(-99 - -97). Which is smaller: -24/949 or v?
v
Let j be ((-13208)/(-39))/((-20)/(-66)). Let d = 1526 + -412. Let b = j - d. Which is bigger: 5 or b?
5
Let p(h) = 3*h**2 + 6*h - 4*h - h**2 + 3 - 4*h**3 + 5*h**3. Let j be p(-2). Let u = 4112 + -4055. Are j and u non-equal?
True
Let w be -40 + 1 - (-4 - -6). Let a = w - -30. Let g be -1 + 5 - (-44)/a. Is 1/10 < g?
False
Suppose 105 = -5*c - 205. Let g be (-93)/c - (0 - (-6)/3). Is g <= -55?
False
Suppose -28*a = -87*a + 649. Does 1/2 = a?
False
Let m be 1/(-2)*-10 - 5. Suppose o + 5*a + 143 = m, 5*o = -2*a + 4*a - 661. Is -133 less than or equal to o?
True
Suppose -887*d = -1047*d + 1384800. Is d >= 8653?
True
Let w = -296 + 299. Suppose 4*x + 2*a = 52, -4*a = x - 0*a - 6. Suppose 0 = -0*l + 2*l - x. Which is smaller: l or w?
w
Let l = -20 - 13. Let f = 27 + l. Let v be 10/(-1) + (-9 - (-8 - 4)). Which is smaller: v or f?
v
Let n be (-3)/6*10 + 516/40. Let m be 1522/(-10)*2/36. Let d = n + m. Which is smaller: 2 or d?
d
Let x = -16528 + 16528. Do x and -9/3707 have different values?
True
Let a be (-2*(-1)/(-16))/((-2)/11056). Is a greater than or equal to 690?
True
Let n = 1107 - 1107. Which is bigger: n or -1/782?
n
Let j be ((-2)/8)/((-198)/(-24) + -8). Let q = -9301/1118 + 108/13. Which is greater: j or q?
q
Suppose 2*g + 2*j = -12, 5*g - 512*j = -515*j - 20. Which is smaller: -38/51 or g?
g
Let w = -15809 + 17086. Is w greater than or equal to 1273?
True
Suppose -5*v + l - 29 = 0, 1519 = v + 3*l + 1528. Let h = 5 + -14. Is v < h?
False
Let x(s) = -s**3 + 8*s**2 - 14*s - 2. Let c be x(5). Suppose 3*q - 2 = 2*q - f, -2*q + c*f = 11. Let l = 314 + -6909/22. Is l < q?
False
Let f be 13 + (-13)/2 + 10. Let r be (-2)/6*-51*(-1)/(-1). Is r smaller than f?
False
Let g = 481/20 + -24. Let j(k) = 2*k**3 + 83*k**2 + 486*k + 20. Let y be j(-7). Which is bigger: g or y?
g
Let y = 0 + -1. Let t = -0.2649 + -29.7351. Which is greater: t or y?
y
Let h(b) = 3123*b - 6700. Let p be h(12). Do p and 30776 have different values?
False
Let j(w) = 11*w**2 - 5*w + 9. Let s(t) = -10*t**2 + 5*t - 9. Let k(x) = -6*j(x) - 7*s(x). Let y be k(2). Which is greater: y or 72/5?
y
Suppose -3*w = -3*v - 2 + 41, 4*w - 4 = 0. Let j be 100/(-26) - v/91. Let s be ((2 + 0)/j)/((-34)/(-17)). Which is greater: s or 1/3?
1/3
Let r be (-104)/32 - (-11823)/3636. Which is smaller: 0 or r?
0
Let d be (-2)/8 + 964/3728. Suppose 0 = -3*k - z + 1, -2*k + 10 = -32*z + 35*z. Is k less than d?
True
Let s = -87.457 - -82.457. Let r = 0.12 - 0.05. Which is smaller: s or r?
s
Let p = 11962 + -8477. Do p and 3484 have the same value?
False
Let a = -66 + 71. Let u = 40 - 40.8. Let h = 0.5 + u. Is h > a?
False
Let b = 471 + -470. Are -3/70 and b nonequal?
True
Suppose 0 = 506*q - 527*q - 21. Let y = -24/169 - 2/169. Which is smaller: q or y?
q
Let n(w) = -2*w**2 - 44*w + 10. Let d be n(-22). Suppose 3*t = 3*y + t + d, -5*y = 5*t - 25. Let m = -18.8 + -56.2. Which is bigger: m or y?
y
Let k be (-4)/2 + (-39)/(351/(-10026)). Which is smaller: k or 1116?
k
Let v = 32281/4 + -8069. Is v greater than -47?
True
Let h = 0.20092 + 3.79908. Is -3283 > h?
False
Suppose 0 = 5*f + 2*z + 2*z - 16, -4*f + z + 17 = 0. Suppose 5*l = 4*n + 1 + 11, 0 = -2*l + n + 6. Let x(h) = 25*h - 96. Let j be x(l). Is j bigger than f?
False
Let q(b) = -b - 8. Let j be q(-10). Suppose r - 8 = 2*k, 2*r - j = 5*k + 17. Suppose 4*x - 32 = 4*t, -12 = -3*x + t - 4*t. Is x bigger than r?
True
Suppose -2 + 5 = n. Suppose 0 = 4*k - z - 16, 5*k + 4 = 6*k + n*z. Suppose -3*u = 4*y - 8*u, -k*u + 31 = 3*y. Is 4 at least y?
False
Let t(k) = -k**3 + 4*k**2 + 11*k - 30. Let n be t(6). Let u be 15/n*(-1 + (-4)/(-5)). Let r be 2/(-3)*(-3 - -2). Is r < u?
False
Let u be (-207)/(-45) + (-4)/(-10). Let q(o) = -2 - 7*o + 6 + u*o + 8*o. Let p be q(-1). Which is greater: -3/4 or p?
-3/4
Let s(j) = -91*j + 660. Let i be s(9). Is i at most as big as -158?
True
Suppose 449*v - 444*v = 0. Is -5/1439 at most v?
True
Suppose -6*r = 6 - 42. Let p be (-26 + 4/(8/r))*1. Let i = p - -23. Which is smaller: -1/72 or i?
-1/72
Let k be (-250)/40 + 6 - (-13)/4. Let u be (618/(-770))/k + (-4)/(-14). Is u greater than 1?
False
Let i = -5.4 + 5.3. Is -32 at most i?
True
Suppose -5*j = 2*t + 781, 0*j = 5*j - 4*t + 793. Let z = -154 - j. Are z and 0 unequal?
True
Let i = 59 + -26. Let v = -6682818/565 + 11828. Let t = 55364/1695 + v. Do t and i have the same value?
False
Suppose -109*r = -115*r - 42. Let o = 5 + r. Which is smaller: o or -18/25?
o
Suppose -25080*g = -25050*g - 9720. Suppose 0 = -3*z - 142 + 1114. Is z smaller than g?
False
Suppose 19*i - 8*i + 0*i - 11 = 0. Which is smaller: 1/1289 or i?
1/1289
Let x = 0.0873 - -475.9127. Let u = x + -482. Is u smaller than -5?
True
Let j be 4/(-10) + (-954)/(-2410). Let d(x) = -3*x**2 - 139*x - 1236. Let z be d(-12). Which is smaller: j or z?
j
Let a be 2559/9 - ((-56)/(-24) - 4). Which is smaller: 289 or a?
a
Let s be 3/45 - 44/(-330). Is -1431 > s?
False
Let j = 80 - 78. Suppose -6*h + 3*g = -j*h - 8, 2*h + 2*g = 18. Suppose h*n + 5*f - 1 - 44 = 0, 4*f = 5*n. Which is smaller: 5 or n?
n
Let b be (0 + (-10)/3*3)/2. Let x be 1/(-5) - ((-144)/(-30) + b). Is x <= 10/39?
True
Let l be (-2)/((-40)/(-91) + 4/(-14)). Let i(f) = f**3 + 12*f**2 - 10*f + 17. Let a be i(l). Let x be (0 - 62/(-24)) + (a - -19). Which is smaller: 1 or x?
x
Let i = 39 - 44. Let h = -81 + 80.795. Let a = 0.115 + h. Which is smaller: a or i?
i
Let c = 53177/11634 - -1/1662. Are c and 5 equal?
False
Let n = -1043 - -3065/3. Let w be (-25)/(-9 + 4)*-4. Do w and n have the same value?
False
Let i(v) = -v**2 + 305*v - 907. Let w be i(3). Which is smaller: w or -5702?
-5702
Let g = 6.047 + -11.047. Is 2/171 smaller than g?
False
Let a = 208.057 - 0.057. Which is smaller: a or -2/5?
-2/5
Let m = 6306.2 - 6300. Let o = 3 - 3.2. Does o = m?
False
Let t = 73 - 70. Suppose 220 = -t*w + 61. Let r = 53 + w. Which is smaller: -1/19 or r?
-1/19
Suppose -t + 5*t - 4 = -4*d, 0 = 4*d + t - 10. Suppose -d = -24*m + 21*m. Let k be 4 - 3 - (-1)/m. Are 12/13 and k nonequal?
True
Suppose -p + 3*w = -4*p + 27, -2*p + 4*w - 12 = 0. Let h be p - 7 - (-78)/22. Let z be 12/2 + 28 + -32. Which is smaller: z or h?
h
Let c(t) = -t**3 - t**2 + 129*t + 47. Let d be c(11). Which is bigger: 99 or d?
99
Let s = 173 + 7. Let g = -204 + s. Which is smaller: g or -0.1?
g
Let b = -33 - -16. Let k(w) = -w**2 + 7*w + 103. Let g be k(-8). Is b not equal to g?
False
Suppose v - 3*t = -3065, -7644 - 4600 = 4*v - 4*t. Is v bigger than -3057?
False
Let l = -1929 - -17363/9. Is 13 != l?
True
Let f be 16/(-30)*(-3297)/(-628)*30/1. Is f >= -33?
False
Let o = -3665 + 3407. Is -258 != o?
False
Suppose -4*z = -5*t + 12 + 65, -3*t = 3*z - 30. Suppose -2*v = 4*g + 20, 2*g - 5*v + 23 - t = 0. Let c be 183/(-27) + 4/(-18). Which is smaller: g or c?
c
Let b = -162 + 167. Suppose d + 3*v + 21 = 0, d + 0*v + b = v. Does d = -10?
False
Let w be 20/(-15) + (-4840)/132. Is -1650/43 at most as big as w?
True
Let v = 179 + -190. Let a = 0.02 + 0.08. Let w = 1.9 + a. Is w smaller than v?
False
Let v(r) = -5*r + 1. Let g be v(2). Let s be (-2)/g + (-164)/9. Suppose 3*n + 66 + 4 = 5*q, 98 = -5*n - q. Are s and n unequal?
True
Suppose 3*q = 4*x - 72, 0*q = -q. Suppose -x*a + 245 = -14*a + s, 0 = -a + 5*s + 35. Does a = 60?
True
Suppose -780*t + 785*t = -5*l + 110, -3*t + 114 = 5*l. Is l less than or equal to 24/5?
False
Let p = 185462/1020925 + -77/421. Which is greater: 1 or p?
1
Let z(m) = m**3 + 52*m**2 - 92*m - 2608. Let p be z(-49). Is p at most as big as 9102?
False
Let x be (-60)/50*(-1184)/(-36). Let n = x - -24107/615. Do -1 and n have different values?
True
Let o(s) = -35*s - 36. Let n be o(-2). Suppose -n*q + 29*q + 35 = 0. Is q equal to 13/2?
False
Suppose g - 499 = -5*t, -242*g + 245*g - 1497 = -t. Which is bigger: g or 484?
g
Let i be -11*1 - (-53 + 309320/7205). Which is smaller: 0 or i?
i
Let m be ((-183333)/(-138))/(10/8 - 0). Let a = -1052 + m. Is a < 11?
True
Let m = -11880 - -23759/2. Let u = -5 + -39. Are m and u unequal?
True
Let d(q) = 10*q**2 + 8*q + 15. Let p be d(-5). Suppose 227*v - p*v = -820. Is v at least -409?
False
Let h be (-35 - -27 - (-1264)/156)/66. Is 1 smaller than h?
False
Let z = 3