p**3 - 17*p**2 - 70*p + 18. Let q be f(-9). Are q and 42/169 equal?
False
Suppose 5*s = t - 39241 + 11889, 0 = -3*s - 2*t - 16432. Is -5472 equal to s?
True
Let h = -5.962 - -0.062. Let u = h + 6. Is -27 <= u?
True
Let r = -5.6016 + 5.7016. Let y = -7 + -10. Is r bigger than y?
True
Let t = 14 + -13. Let h(g) = -9*g + 4. Let s be h(t). Is s smaller than -1?
True
Suppose 0 = -5*a - 2*h - 1127 - 487, 3*a - 2*h = -978. Let r be (-3213)/a - 1/(-12). Which is bigger: 4 or r?
r
Let f = 250 + -269. Let h(l) = 48*l - 1. Let v be h(1). Let c = 29 - v. Is c greater than f?
True
Suppose 3*j - 5*s - 6498 = 0, -17*s + 16*s = -4*j + 8630. Which is smaller: j or 2155?
2155
Let u = 194 + -194. Suppose 3*g + 0*g - 4*o - 19 = u, 0 = -4*g - o. Is 663 at least g?
True
Let j be ((-8)/(-620))/(6/120). Let k = -925/341 + j. Suppose -101*b + 9 = -104*b. Which is bigger: b or k?
k
Let l = 238 - 163. Let d = 77 - l. Suppose -b + 47 = -2*k, -k + d*b + 0*b = 22. Is -21 less than or equal to k?
False
Let t be (-1)/8 - 248/64 - -8. Let u be (-42)/t*70/1435. Which is smaller: u or -1?
-1
Suppose -108 = -169*v + 172*v. Suppose 205 + 183 = 4*j - 4*g, -3*j + 288 = -2*g. Suppose -3*m - j = 11. Which is greater: v or m?
m
Let f be (2 + -1310)*(10 + 57/(-6)). Which is greater: f or 2?
2
Suppose 13*f + 2 = 28. Suppose 2*y - 46 = -3*z, y - 49 = -3*z + f*y. Suppose -l + 10 = -z. Which is bigger: l or 28?
28
Let n be ((-69)/(-25760))/((-1008)/(-60)). Is n <= -1?
False
Let p = 20.853 + -20.8. Let a = 126 - 125.9. Which is smaller: p or a?
p
Let r(j) = -j**3 - 4*j**2 + j - 2. Let c be r(-3). Let g = 4 - c. Suppose -g*z + 24*z = -6. Which is greater: z or 7/19?
7/19
Let m(u) = -u**2 + 3*u + 6. Let t be m(4). Let j be (t - (-15)/(-10))*6. Which is smaller: 2 or j?
2
Let i = 1303/4050 - 13/50. Let x(a) = 28*a + 2099. Let r be x(-75). Which is greater: r or i?
i
Suppose 0 = 12*w + 2838 - 618. Let u = w + 122. Is u less than or equal to -321/5?
False
Let q = 494 + -285. Let u = q + -208.9. Which is bigger: 2/5 or u?
2/5
Let z = -13/41 - -763/2665. Which is bigger: z or -0.008?
-0.008
Suppose -o - 2*j - 101 = 0, -4*o - 5*j = -0*j + 401. Let t = -1057/11 - o. Which is smaller: t or 3?
t
Let g = 370 + -370. Let r = 260 - 269. Is g greater than r?
True
Let l = -1.2 + 0.2. Suppose -1110*y - 985 = -2*p - 1115*y, 4*y - 976 = -2*p. Which is smaller: p or l?
l
Suppose -6 + 1 = g, l - g = -8. Suppose 28*q = 26*q - 484. Let c be (0 - 3)*(q/6)/(-11). Which is smaller: l or c?
l
Let f = -17967/2533 + 103/447. Let v = f - -41/6. Suppose -4*h + 17 = -4*c - 7, h = 2*c + 11. Is h less than or equal to v?
False
Let v = -19248/112867 + 2/1913. Let s = 18087 + -18086. Do v and s have the same value?
False
Suppose 4*o - 4 = 4*a, -155*a - 3 = -152*a + 3*o. Which is smaller: 1/4659 or a?
a
Let o be 6/(-22) + 5496/20757. Let a = -3919/18241 - o. Which is bigger: 0 or a?
0
Suppose r - 10*y = -11*y + 26, 2*r = 3*y + 77. Which is smaller: r or 65?
r
Let y = 0.09963 + -0.21963. Does 86/13 = y?
False
Let z be ((-244)/(-12))/((-258)/9) + (-3)/(-3). Which is smaller: z or 1?
z
Let i be (4*(-606)/12)/(-2). Let k = -146 + i. Is -41 smaller than k?
False
Let t be ((-3)/(-14) - (-2)/7)/((-2)/12). Which is greater: 4.55 or t?
4.55
Let p = -3 - -2. Suppose -4*m = r + 2*r - 172, -2*m + 86 = 4*r. Let k = m - 194/5. Is k smaller than p?
False
Let y = 72.045 + 1.255. Let c = 14.3 - y. Is 0.5 greater than or equal to c?
True
Let r = 4198 - 4198.5. Which is smaller: r or 1/15?
r
Let u = -22 + 24. Suppose 0 = q + 2*b + 6, q = 6*q - 3*b - 35. Suppose q*t = u*t. Which is smaller: 7/3 or t?
t
Let k = -545862/323 + 1690. Are 0 and k nonequal?
True
Suppose 93 = g + 5*n, -3*g + 109*n + 159 = 104*n. Which is bigger: g or 23?
g
Let i be ((-43)/(-15))/((-1)/1). Suppose -538*y = 963*y + 3002. Which is greater: y or i?
y
Let c(s) = -s**3 + 10*s**2 - 7*s - 12. Let j be c(9). Suppose 2 = 2*l + 2*w, l - 4 = j*l - 4*w. Let t = -1223/1064 - -1/152. Do l and t have the same value?
False
Suppose 18*z = 521 + 253. Is 15 < z?
True
Let v(n) = 3*n**3 + n. Let l be v(1). Suppose 2*p = p - 2*g, 5*p = l*g - 14. Let m be (-285)/216 + 1/(-8). Which is smaller: m or p?
p
Let t be (3 + 199)*548/8. Which is bigger: t or 13836?
t
Let w = -53.38 - -58.286. Let z = w + 0.094. Let i = 7 - 4. Is z not equal to i?
True
Let i = 385 + -242. Suppose -h = 4*t - 185, -h + i = 2*t + 52. Suppose 5*j + v - t = 0, -j - 4*j + 5*v + 35 = 0. Which is greater: 11 or j?
11
Let q(b) = -12*b - 23. Let f be 5/(-3)*(-189)/105. Let n be q(f). Is n less than -62?
False
Suppose -y - 5*c + 7*c - 27 = 0, 0 = y - 4*c + 25. Let h(q) = -q**2 - 37*q - 189. Let g be h(y). Is g != 41?
True
Let d = -75 - -75. Suppose d = x + 27 - 7. Let m = x + 20. Is m equal to 0?
True
Let w = -1.25 - 83.75. Let h = 154768/7 + -22110. Which is smaller: h or w?
w
Let u be -4*(-1)/(4*4/16). Let z be (u - 3) + 738/44 - -1. Let b = z - 37/2. Which is smaller: b or -1?
-1
Let q(r) = 10*r**2 - 9*r - 5. Let k be q(2). Let h = k - 281. Does -264 = h?
True
Let g(r) = -2*r**2 - 5*r + 9. Let h be g(-4). Let a = h - 9. Suppose -3*p = -0*p + 5*o + 61, -4*p - o - 53 = 0. Is p >= a?
True
Suppose 826 = -8*m + 842. Let i be (m*-659)/((-84)/(-42)). Is i greater than or equal to -659?
True
Suppose -14*w - 72 = -12*w. Let p = w + 32. Let z be (14/(-4) - p)/2. Which is greater: z or 32?
32
Let b(i) = -115*i - 239. Let a be b(-17). Is 1716 at most as big as a?
True
Let o = -1/57580 - -36709/100765. Let b = 1511/560 + o. Which is smaller: b or 3?
3
Let d be 124/126 - 3/3. Suppose 2*f = 4*g + 26, 3*f - 5*g - 16 = 17. Which is smaller: f or d?
d
Let v = -29 - -43. Let d = -0.2458 + 3.2458. Let t = v + d. Which is bigger: t or -1?
t
Suppose 11*v + 2860 - 6528 = -22797. Which is bigger: -1740 or v?
v
Let m = -4248 + 4256.3. Let y = -224.7 + 236. Let d = y - m. Is d bigger than -2?
True
Suppose -105 = -y - 825. Let f = 910 + y. Which is greater: f or 189?
f
Let u = 19 + -20.61. Let r = -0.81 + -0.25. Let s = r - u. Is s greater than or equal to -1?
True
Let v = 387598/75 - 5168. Is v != 1/24?
True
Suppose -69*x - 107392 - 236252 = 15*x. Do -4091 and x have the same value?
True
Suppose -130 = -7*c - 6*c. Let g(w) = 2*w + 1. Let u be g(2). Suppose -u*l = -2*l - 30. Is l < c?
False
Let i be (0 + -4)*14069/(-44). Suppose -1271*g + 8 = -i*g. Let h be 3 + -2 - 538/542. Which is bigger: g or h?
h
Let m = 28838/111507 - 2/3597. Let s = -32 + -22. Let h = 164/3 + s. Is m less than h?
True
Suppose 1949*z = 1906*z + 86. Does 1.694 = z?
False
Let n(h) = h + 2. Let d be n(-8). Let r = -5 - d. Let s = 2.8 - -14.2. Does s = r?
False
Let y be ((-108)/(-16) - 6)*-9612. Let j = 50557/7 + y. Is j > 13?
True
Let p(s) = 93*s. Let r be p(0). Suppose r = -t + 2*t - 3*t. Which is smaller: -230 or t?
-230
Let q(p) = 36*p**3 - 14*p**2 - 33*p - 27. Let f(h) = 9*h**3 - 3*h**2 - 8*h - 7. Let m(g) = 9*f(g) - 2*q(g). Let r be m(-3). Is -225 at least r?
True
Let j be (3 + 0)/(-2*12/(-200)). Let k be 30/j*5 - 5. Which is smaller: 42/17 or k?
k
Let y(r) = 73*r - 658. Let u be y(9). Let p be (-60)/(-14)*(-18)/30. Let z = 3 + p. Is z smaller than u?
False
Suppose 2*x - 24 = -2*p - 32, 0 = -5*x - 20. Which is smaller: p or 42?
p
Let z = -5576 + 5576.021. Is 41/4 at most z?
False
Let l = -881 - -456. Let k = l + 424. Is 15 greater than k?
True
Let m(q) = -2*q**2 - 12*q - 9. Let t be m(-5). Let r = 203/1430 - 24/65. Is r at least as big as t?
False
Let u = 0.1381 - 38.3681. Let f = -0.77 + u. Let p = f - -38.78. Which is greater: -0.2 or p?
-0.2
Let a be 6/(-10)*20/(-24)*26. Are 21 and a equal?
False
Suppose 480 = 15*b + 17*b. Let z(h) = -45*h + 334. Let g be z(b). Are -341 and g nonequal?
False
Suppose -2*t + 5746 - 5521 = 3*t. Let c = -1.2 + 1. Which is smaller: c or t?
c
Let i = 66.64 + -70.74. Is -0.026 greater than or equal to i?
True
Let w = 1.1 - -15.9. Let f = w - 10. Let y be (4/36)/((-14)/(-63)) + 14/(-20). Are y and f non-equal?
True
Let y(o) = 9793*o - 39176. Let i be y(4). Let n be 199/(-40) + 4/(-10). Which is smaller: i or n?
n
Suppose -m = -5, 0*z + 3*z + 2619 = 3*m. Let d = -497 - z. Let w = d - 1123/3. Which is greater: -3 or w?
-3
Suppose -8*f = -4*f + 5*m + 558, 5*f - 2*m + 714 = 0. Let k be (-4)/(-3) - (f/6 - 2). Which is smaller: k or 16?
16
Let z be (4