?
True
Suppose -133*q + 77*q = 77840. Which is smaller: q or -9734/7?
-9734/7
Let o be (-1)/(-3)*6042/152*-4. Suppose -4*t - 18 = -3*m - 0*m, 10 = 2*m - 2*t. Suppose 2*l = -3*d - 123, -l - m*d - 39 = -5*d. Do l and o have the same value?
False
Let d = -293/22 + 27/2. Suppose 5*t - 2053 + 2041 = w, -4*w - 27 = t. Is d less than t?
True
Suppose 3*u + 15 = -2*u. Let b = -11/551 - 5984/3857. Which is smaller: u or b?
u
Let t be 2 + (23 - (-3 + 4)). Let x be 2 + (-15)/t + -4. Suppose a = 5*n - 5 + 28, a + n = -7. Which is greater: x or a?
a
Suppose 2*w = k - 289, -134 = 3*w - 2*w + 3*k. Let q = -5070 - -4927. Is q bigger than w?
False
Let v = -38385/5369 + 5/767. Let y be 87/(-27) + 2/9 - -1421. Suppose 2*f + y = 1402. Are v and f unequal?
True
Let g be 2 + 4274/253 + 10 + (-1160)/110. Which is smaller: 19 or g?
g
Let t be (-246)/(-8) + ((-1)/(-4))/1. Let q = 6.35 + -6.55. Is t at most q?
False
Suppose -1279 - 3928 = -41*v + 369. Which is bigger: v or 0.1?
v
Let b = -59 - -62. Suppose 0 = -b*u - 3, c = -4*u + 5 + 14. Suppose -q - c = 6. Is q at most as big as -57/2?
True
Let t be (4/(-6))/((-2)/(-3)). Let m = -1/184 + -275/184. Let w = t - m. Which is greater: -15 or w?
w
Let s = 28340 - 28386. Are -0.9 and s nonequal?
True
Let a(z) = 2*z + 15. Let l be a(-6). Suppose 0 = 4*n + 2*r - l*r - 1105, -2*r = -4*n + 1102. Let g = 3875/14 - n. Is g > 0?
False
Let i be ((-49)/(-28))/(-7) + 1. Which is smaller: -23.7 or i?
-23.7
Let b = -9 + -34. Let c = -40 - b. Which is bigger: 25/7 or c?
25/7
Let i = 234.2 - 233.2. Which is smaller: i or -958?
-958
Suppose -6*z - 2858 + 1838 = 0. Which is smaller: -173 or z?
-173
Let n(r) = 55*r - 404. Let m be n(8). Let s be 1/4 + (-437)/(-12). Let a = s - m. Do 2 and a have the same value?
False
Let q = -36689 + 41523. Are q and 4834 equal?
True
Let z = -167 - -179. Suppose n + 5*j + 20 = 0, -2*n + j + 2*j + z = 0. Which is smaller: n or 8?
n
Suppose -r - 5*j = -25 + 9, 0 = 3*j - 12. Let t be ((-27)/(-3))/(4 + 340/(-40)). Is t greater than or equal to r?
True
Let k be (970/(-25))/2 - (-9)/(-15). Let p be (-274)/12 - (-35)/42. Is p > k?
False
Let i(f) = -27*f - 42. Let l be i(-2). Let k be 4/l - (-24)/(-18). Is -12/47 less than k?
False
Let w(r) = -9*r + 56. Let l be w(6). Suppose 3 = l*j - 13. Let z = 9103/1092 + -1/364. Which is smaller: z or j?
j
Let q = -61/275 - -1/25. Let n = -34/145 - -30/29. Which is smaller: n or q?
q
Let z be 66/110 - 23/(-45). Is 80 smaller than z?
False
Let l = -16 + 40. Let x = -3260 + 3259.7. Which is greater: l or x?
l
Suppose 0 = g + g + 16. Let l(d) = -7*d - 51. Let v be l(g). Suppose 5 = -v*k - z + 3, 4*k - 2*z = 4. Which is greater: k or 6/49?
6/49
Let p = 71 + -61. Let t = p - -89. Let z = 58 - t. Is -43 > z?
False
Let p = -0.5191 + 11.5191. Which is smaller: p or -0.119?
-0.119
Let f be 4/264 + 1/6. Let l = 29.045 - -3.955. Which is greater: f or l?
l
Suppose 1234*d - 1230*d - 4*n + 216 = 0, -3*d - 176 = 4*n. Which is bigger: -1266/23 or d?
-1266/23
Suppose -5*t - 119 = 4*d - 7, -3*t - 2*d = 66. Is -132/7 at least t?
True
Let l be ((-19345)/(-438))/(1/2). Let k = l + -793/9. Which is bigger: k or 6?
6
Let r be 8454/(-15) - ((-384)/40 - -10). Let p be -1 + (5/(-1430))/(2/r). Is -2 smaller than p?
True
Let g = 1/33 - -7/11. Let c be 90/(-105) + 308/245. Are g and c unequal?
True
Let k(r) = 2*r**2 - 8*r + 16. Let c be k(3). Let t be (-4896)/11340 - (-4)/c. Is t > -4?
True
Let f(r) = r - 12. Let x be f(0). Let o be 5/x*(-33)/(-110). Let s = -93 - -94. Which is bigger: o or s?
s
Let g = -14 - -60. Let m be g/(-7) + (-64)/(-112). Let f = m - -4. Is -3 at least f?
False
Let w = 215 - 211. Suppose 5*l = 0, 2*h - l = h. Suppose -4*a + h*a = -w. Do 12/23 and a have the same value?
False
Suppose -5*s - 4*k + 8*k = -3088, s + k - 623 = 0. Suppose -88*r - s = -83*r. Let g be (36/(-16) + 3)*r. Which is smaller: -92 or g?
g
Let p be (0 - -5)*(5 - (1 - -3)). Suppose 0 = h - 4*h - 4*y - 2, -4*y = 4*h. Suppose -h*j - p*d - 12 = 4, 5*j - d = -40. Are -7 and j nonequal?
True
Let n be 3/5 + (-288)/30 + 5. Let j(a) = -a**2 + 5*a + 1. Let u be j(3). Suppose u = -2*g - 1. Is g != n?
False
Let r = -35536331/21 + 1689450. Let j = r - -2757. Are 1 and j non-equal?
True
Let q(m) = -m - 9. Let y be q(7). Let t = y + 24. Let h be (-20)/3*(60/36 - 57/18). Are t and h nonequal?
True
Let r(o) be the third derivative of -13*o**4/24 + 16*o**3/3 + 7*o**2 - 7*o. Let j be r(5). Let a(s) = -7*s + 9. Let t be a(6). Is t less than or equal to j?
True
Let m(q) = -1525*q + 163. Let i be m(-6). Let o = -46332/5 + i. Is 48 <= o?
False
Let m = 66072/35 - 1888. Let t = -165944 - -165945. Is t greater than or equal to m?
True
Suppose -48*a - 78*a - 104*a = 1664050. Is -7236 at least a?
False
Let f = 201.26 - 109.26. Is 79 != f?
True
Let k be ((-4)/6)/((-3)/45 + 0). Suppose -9*d = -k*d. Which is bigger: d or -2/111?
d
Let x(h) = -21*h**3 - 2*h**2 + 2*h - 2. Let j be x(1). Suppose n + 8 = 4*l - 4*n, 0 = -l + 4*n + 2. Which is smaller: j or l?
j
Let k = -20351 - -16408. Is -3943 at most k?
True
Let z = 679 + -595.2. Let r = -81 + z. Let k = r - 2.765. Which is bigger: -1 or k?
k
Let b = -161 + 155. Let n be (6/(-18))/((-130)/b). Suppose -2*z = 0, -i + 2*z = i. Which is bigger: n or i?
i
Let y = -556.24 + 553.3. Is 8 at most y?
False
Let j(y) = y**2 - 20*y + 32. Let u(r) = 2*r**2 - 39*r + 65. Let p(b) = 5*j(b) - 3*u(b). Let a be (12 - 21)*(10/3 - 5). Let m be p(a). Which is bigger: m or -3?
-3
Let q be (-24)/18*((-546)/(-28) - 6). Which is smaller: q or -352/19?
-352/19
Let y = 1365/8 - 171. Let z be (12/39)/(-2) - 3152/(-208). Suppose -3*t = -z, -5*h + 0*t = 2*t - 15. Which is smaller: h or y?
y
Let i be 7 - 3/((-21)/(-3563)). Let q = -539 - i. Which is smaller: -38 or q?
-38
Suppose -520 = 4*o + 84. Let b = 1055/7 + o. Let k = -0.29 - -11.29. Are b and k equal?
False
Let v = -8 - -8.7. Let d(a) = -a**3 + a**2 - 2*a - 12. Let t be d(0). Let o be 2/t - 2/4. Which is smaller: o or v?
o
Suppose 2*j - 2*i - 192 = 0, 3*j - 2*j - 116 = -4*i. Let c = 61 - j. Let k be (-4)/(-22) - -2*(-1260)/66. Which is bigger: k or c?
k
Let m(u) = -u**3 - 7*u**2 + 6*u + 31. Let t be m(-7). Let v be 4 + (2 - t/((-44)/24)). Let p(z) = z**3 - 8*z**2 - 10*z + 4. Let s be p(9). Is s <= v?
True
Let x = 2222.75 + -2236. Which is smaller: 2 or x?
x
Let g = 942.2 - 1054. Is -1 less than or equal to g?
False
Let f = -4.8 + 84.8. Let j = -26 + f. Let t = -40 + j. Which is greater: t or 1?
t
Let l = 949 - 1351. Let g = l + 268. Which is smaller: g or -133?
g
Let m(y) = -4*y**3 + y + 6. Let l = 62 + -100. Let c = l - -36. Let x be m(c). Is 36 bigger than x?
False
Let y(d) be the third derivative of 7*d**4/12 + 59*d**3/6 + d**2 - 22. Let g be y(-4). Is g bigger than 106?
False
Let w = -3528 + 3555. Which is greater: 0.81 or w?
w
Let n = 2.90146 + 0.09854. Suppose 4*u - 7*l = -2*l + 80, l = -5*u + 100. Which is smaller: u or n?
n
Let o(y) = -y**3 - 6*y**2 - 2*y + 10. Let q be o(-2). Are q and 563 equal?
False
Let t = -0.028 - -0.088. Let n = -146 + 439/3. Which is bigger: t or n?
n
Suppose 775 = 3*o + 160. Suppose -o*v = -200*v. Is v < -3/40?
False
Suppose -4*v - b + 216 = 55, -b = -v + 39. Let z = -39 + v. Which is greater: 2 or z?
2
Suppose -30*d + 26*d = -8. Suppose t = -3*t + 4*z + 16, -5*t = -d*z - 8. Which is smaller: t or 3/46?
t
Let z = -6222 + 6221.8. Is z less than 18.06?
True
Let v(r) = -r**3 - 12*r**2 + 15*r + 28. Let l be v(-13). Suppose -64 = -3*z - z - 2*x, -l = z - 4*x. Suppose -11*j - 90 = -17*j. Is j < z?
False
Let y(v) = 25*v**3 - 1076*v**2 + 50*v - 35. Let a be y(43). Which is smaller: 9 or a?
9
Let j = -3.5 - -33. Let q = -3.9 - -4.9. Which is bigger: j or q?
j
Let d be (7098/(-15))/1 + (1 - -1 - 3). Is d greater than -474?
False
Suppose -260 = 14*m - 820. Suppose 5 = -4*c - 4*i + 145, 2*i = -4*c + 146. Is c greater than m?
False
Let s be (-958)/(-555) + 14/35 - 2. Do s and 0 have different values?
True
Let o = 12.78 - -0.12. Let x = o - 13. Let d = 11.11 + -2.11. Is d at least as big as x?
True
Let c be 4/94 - 526230/7050. Is -76 <= c?
True
Let h = 17/156 - 5/26. Let f = 0.082 + 1.728. Let m = 1.51 - f. Which is smaller: m or h?
m
Let f(o) = -2*o**2 + 18*o - 45. Let z be f(4). Let r be (-4)/3 + (-140)/156 - z. Is 2 <= r?
True
Let h(n) = -n**2 +