1 - (7 + -7). Let a = 4/9 - 403/846. Is t equal to a?
False
Let x(h) = -2*h**3 - 2*h**2 + 16*h + 1. Let a = -46 + 41. Let p be x(a). Suppose p = -2*z + 67. Is -27 != z?
False
Let u(k) = -k**3 + k**2 - k + 13. Let p(x) = -4*x**3 + 2*x**2 - 3*x + 25. Let l(f) = -4*p(f) + 7*u(f). Let n be l(2). Is 67 less than n?
True
Let g = 4790 + -2040. Do g and 2751 have the same value?
False
Suppose 106 = -4*w - 5*d, 34*w + 2*d = 33*w - 28. Let g be (2/1)/(-6) - w/(-36). Does 1/37 = g?
False
Let d = 99.248 + -0.248. Let z = 98.29 - d. Let c be (-3 - 160/(-30)) + 8/(-3). Does c = z?
False
Let c be (-296)/(-846) - (-4)/(-18). Suppose -5*t - 29 + 1 = 3*w, 8 = -2*w + 2*t. Let q be -6 - (w + 5/(-5)). Which is greater: c or q?
q
Let a(g) = 12*g + 30. Let z be a(-3). Let b be 10/z*58/(-145). Is b >= 0.112?
True
Suppose 267 = -7*r + 10*r. Suppose 0 = -5*o + 10*o - 445. Does o = r?
True
Let y(g) = -g**3 + 25*g**2 + 85*g - 27. Let f be y(28). Let j = -1800 + 45018/25. Are f and j nonequal?
True
Let x = 48500 + -207046499/4269. Is x less than or equal to 1?
True
Suppose -7*q - 44*q = 6375. Which is greater: q or -126?
q
Let p be 2/(1*2) - (4 + -3). Suppose c + 27 = -3*r, 5*c + 3*r = -p*c - 183. Let l = 44 + c. Is -0.1 > l?
False
Let d(w) = w**2 + 33*w - 104. Let a be d(-44). Which is smaller: a or 761/2?
a
Let f(u) = -3*u**2 + 4*u - 8. Let c be f(2). Let b = 6 + -4. Let x be c/(-4) + -1 - (b + 1). Which is smaller: -2/71 or x?
x
Let s be -21*(-8)/(-6)*(-9)/36. Let c(v) = v**3 - 4*v**2 - 4*v - 43. Let w be c(s). Which is smaller: 2 or w?
2
Let k = 22586 - 22587. Is -2/17157 < k?
False
Let j = -71.07 + 80.07. Suppose -39 = -5*f - 0*o + 3*o, 0 = f - 2*o - 12. Which is smaller: j or f?
f
Let u = 127 - 74. Let d = 39 + -11. Suppose 0 = -3*h - d + 184. Which is smaller: u or h?
h
Let z be (-20)/(-50) + (-586)/(-10). Let k = z + -63. Let g be ((-2)/8)/((-33)/k). Is g < 1?
True
Let h(z) = 2*z**2 - 4*z + 7. Let v be h(-9). Let w = 208 - v. Which is greater: 23/4 or w?
23/4
Suppose -10 + 22 = -4*f, 2*f - 156 = 2*o. Let w be (-4)/(-18) + 1*18/o. Let b be 2/4*4/101. Are b and w nonequal?
True
Let v be (-9)/(5 - (-85)/(-20)). Let g be (v/7)/(12/(-42)). Suppose -w = -4 - 5. Which is greater: g or w?
w
Let w be 2992/88 + 2 + -1. Suppose -4*k + 3*b + w = -25, -5*k + 4*b = -75. Which is smaller: 13 or k?
13
Let b = -45 - -37. Let f be b/(-636)*3*(-12)/4. Let r = f + 83/265. Which is bigger: -4/3 or r?
r
Suppose 264*y = 242*y + 396. Which is greater: 51 or y?
51
Let c = 5181/5 + -7268928/7015. Are c and 1 equal?
False
Let t = -38 + 35.36. Let v = -1.24 - t. Is v greater than or equal to 1?
True
Let z be -2 - 8/(-3) - 0. Let q = 253.64 + -238.64. Which is smaller: q or z?
z
Let a(d) = 11*d - 32. Let g be a(8). Let q be (g/(-35))/((-6)/(-45)). Let b be q/861*(4/(-8) + -3). Is b < 1?
True
Let l be -5*(729/42030)/27. Is -1 smaller than l?
True
Let n = -21896 - -21905. Is n smaller than 360/41?
False
Let l = 2559 - 17989/7. Let z = l + 82/7. Let t be (44/132)/(2/6). Is t smaller than z?
False
Suppose 121 + 161 = -2*o - 5*i, -2*o = 4*i + 278. Let z = 131 + o. Suppose 2*f = -z*s + 5*s + 21, 0 = -f - 2. Which is bigger: 2 or s?
2
Let r(h) = 2*h**3 + 61*h**2 + 26*h - 121. Let o be r(-30). Let x = 4202/182763 - 12/967. Are x and o unequal?
True
Let o(p) = 2*p + 2. Let k be o(6). Let i be (-28)/(-8)*16/k. Suppose 0 = -2*x - 5 + 3, 3*x - 5 = -i*w. Which is smaller: 0.3 or w?
0.3
Let v(y) = 11*y**2 + 7*y - 30. Let n be v(3). Which is smaller: 1728/19 or n?
n
Let s = 519/8221 + 1368406/12832981. Let f = s + -6/223. Which is smaller: f or 1.3?
f
Let a be (52/(-6))/(3/45*10). Let l(j) = -j**3 - 14*j**2 - 11*j + 26. Let k be l(a). Which is smaller: -1/382 or k?
-1/382
Let a = 214 - 210.4. Let v = a + -8.1. Which is greater: v or -1?
-1
Let b(a) = -a**3 + 25*a**2 + 59*a - 252. Let i be b(15). Which is smaller: i or 2884?
i
Let y(p) = p**2 - 82*p + 457. Let a be y(6). Let l be ((-4)/16 + 0)/(26/6). Is l equal to a?
False
Let z(o) = -9*o**2 - 69*o + 13. Let y be z(-11). Is y bigger than -1591/5?
True
Let h be 3/57 + 454/38. Let z be (-126)/4*12/(-30). Which is greater: z or h?
z
Let d(t) = -t**3 + 13*t**2 - t + 17. Let i be d(13). Suppose 0 = i*z + 8, -3*z - 110 = 4*v - 2*z. Let m = v + 28. Is -2/79 < m?
True
Let j be (174 + -179)*2/47. Let g = 14 - 14. Which is greater: j or g?
g
Let z(w) = 562*w - 393. Let v be z(-8). Which is smaller: -4890 or v?
-4890
Suppose 5*h + 1014 = 1139. Suppose 0 = -5*i - h, 20*f + 70 = 25*f - 5*i. Suppose -3*a + 5*a = 12. Is f != a?
True
Let o = 4106.033 + -4106. Do 1 and o have different values?
True
Suppose -4*j - 33 = 4*t - 7*j, 9 = 3*j. Let z(h) = -11*h - 128. Let u(q) = -23*q - 256. Let f(y) = 3*u(y) - 5*z(y). Let m be f(-9). Is t at most m?
True
Suppose -171*k + 177*k - 576 = 0. Let j be 16/k*(6 + 1)*-3. Which is smaller: j or -6?
-6
Let n(s) = 6*s**3 - 4*s**2 + 4*s + 11. Let w be n(-6). Let x = 1413 + w. Let m(t) = -7*t - 5. Let a be m(5). Are x and a non-equal?
False
Suppose -d - 7 = 4*b + 1, 23 = -3*b - 5*d. Which is smaller: b or -443?
-443
Let d = -2106 - -1653. Which is smaller: d or -3?
d
Let f = -1883 + 1883. Which is smaller: -3/1121 or f?
-3/1121
Suppose 4*b - 22 = -y, 5*y - 6 = 8*y. Let o be (b/(-10))/(4/(-20)). Suppose 4*k = -0*k - 12, o*j - 2*k = 132. Which is greater: 41 or j?
j
Suppose -34*z + 15280 = -74*z. Is -378 at least as big as z?
True
Let w = -1099 - -1095. Is w not equal to -267?
True
Let i = -33 + 16.3. Let j = -16 - i. Let p = 0.09 - -0.41. Which is greater: j or p?
j
Suppose -5*y + 110 - 479 = 3*k, -5*y + 575 = -5*k. Let z = -117 - k. Which is smaller: 9 or z?
z
Suppose 0 = 3*z + 29*z - 320. Let v be -1 - z*(-5)/54. Is v less than or equal to 2/19?
True
Let j = -827007 + 827012. Let f(s) = 15*s**3 + s**2 + s + 1. Let z be f(-1). Which is bigger: z or j?
j
Let w = -442 - -442. Let k = -6/13 - -121/65. Which is bigger: w or k?
k
Let q(z) = 85*z + 424. Let c be q(-5). Is -4/389 bigger than c?
True
Let b(x) = x**2 - 29*x + 1296. Let i be b(0). Let z = i + -11824/9. Which is greater: z or -18?
z
Suppose 4*x = 108 - 28. Let m = 29167/3 + -9561. Let h = -162 + m. Which is bigger: x or h?
x
Suppose -33 = -2*q + 3*k, 2*q = -q + k + 53. Let n be 0 + 0 - (-3 - -7)*-1. Let o be n/q + 2/(-3). Which is bigger: -1 or o?
o
Let c = -0.7 + -11.3. Let b = -7.3 - c. Let j = b - 5. Which is smaller: -8 or j?
-8
Suppose -4*d + 1058 = 2*y, -9*d + 2*y + 1062 = -5*d. Let r = d + -266. Are r and -5/13 non-equal?
True
Let o be (-7)/((-1995)/372) + (-92)/874. Suppose 0*a = 2*a + s - 8, -4*a + 3*s - 4 = 0. Is o < a?
True
Let g be -1 + 3 - (-68)/(-10). Suppose 5*c - 19 - 221 = 0. Suppose j = c - 53. Which is greater: j or g?
g
Let k = 93 + -97.28. Let u = 3 + k. Let f = u - 0.02. Which is greater: 0 or f?
0
Let u(h) = -84*h + 3430. Let g be u(41). Is -223/17 at most g?
False
Let f(w) be the first derivative of -w**4/2 - 5*w**3/3 + 11*w**2/2 + 2*w - 66. Let m be f(2). Which is greater: m or 5?
5
Let l(c) = -2 + 2*c - 2*c + 12*c - 5. Let q be l(6). Let u be -3 + -1 - -67 - -1. Which is smaller: u or q?
u
Let j(f) = -f**2 + 4*f + 65. Let w be j(9). Suppose -4*m - 148 = 4*y, y + 17 + w = 3*m. Is y less than -39?
False
Let t be (40/(-3))/(-2)*1836/(-72). Let i(z) = 40*z + 109. Let l be i(-7). Is l <= t?
True
Suppose 4705 - 5095 = 5*t. Which is smaller: -81 or t?
-81
Let z = -14 + 14. Let m be (15 - 48) + 29 + 0 + (-105)/(-26). Is m < z?
False
Suppose -q = -3*g + 3*q + 34, g - 4*q = 14. Suppose 2*w = s + 82, g*s - 12*s + 196 = 5*w. Which is greater: w or 38?
w
Let q = 18275 - 18294. Are -0.081 and q equal?
False
Let n be 9/6*(-32)/12 - 10. Let x be 5*-5*(-10 - n). Which is greater: -101 or x?
x
Let r be ((-37)/(-148))/((-36)/16). Are -102 and r equal?
False
Suppose 21*m = 22*m - 648. Let j = 502 - m. Is j <= -147?
False
Suppose -134 = -20*z + 26. Let f be (3080/63)/z - -5. Which is greater: 12 or f?
12
Suppose -3*m + 24 = 4*a - 2, 4*m + a - 13 = 0. Suppose 3*c - 2*r - 78 = 0, 2*r - 53 = -m*c + 3*r. Let z be 3/(c/(-60) + 4/5). Is z < 10?
True
Let v = 0.0692 - 20.8692. Let i = 0.3 + -4.1. Let d = v - i. Which is greater: d or -1?
-1
Let b be ((-2)/(-2))/(4/(-116)). Let w be (-24)/(-2)*(-102)/(-2992)*-22. Is w bigger than b?
True
Let k = -117 + 114. Let u be (-2 - (0 + k))*(-12