be ((-6)/p)/((-10)/20). Do n and -3 have different values?
True
Let u = -6058 - -6640. Is u greater than 2914/5?
False
Let i = -6/6677 - 19875/173602. Does i = -0.016?
False
Let x(g) = -g**3 - 18*g**2 - 10*g - 206. Let f be x(-20). Which is bigger: 791 or f?
f
Let l = -3 + 4. Let w be 30/10 + 5 + 2. Suppose -20 = -4*v, 20 = -5*n + 2*v - w. Does l = n?
False
Suppose -2*z + 1 = 2*f - 13, -7 = -5*z - f. Let p be (219/111 + -2)/(-11). Are p and z equal?
False
Let x = 3771 - 3771.0197. Is 3 >= x?
True
Let i = -1.4495 - 16.5505. Is i less than or equal to 0.327?
True
Let n be 55 - ((-19 - 1) + -2 + 9). Let m = 115 - 46. Is n equal to m?
False
Suppose 7 = -b + l + 2, b + 11 = -5*l. Let m be (0 - -3 - (-64)/(-21))*b. Let f = -0.2 + 0. Is f at most as big as m?
True
Let m(n) = n**2 + 61*n - 431. Let v be m(10). Which is bigger: -7 or v?
v
Let y be (15/50)/((-20130)/(-80)) + 0. Which is smaller: y or 2/7?
y
Let d be 16/(-104) - 261/(-39)*-7. Let p be ((-308)/12 - 3)*(-3)/(-2). Which is smaller: p or d?
d
Suppose -8*x - 60 = -5*h - 11*x, -h - 4*x - 5 = 0. Suppose m = h*m - 574. Which is smaller: 39 or m?
39
Suppose 323*b = 319*b - 5*x - 7061, b = -4*x - 1746. Is b at most -5326/3?
False
Let q = 75 - 70. Let k = -19 - -25.6. Let s = 14.6 - k. Which is smaller: s or q?
q
Let q = 4638 - 4637. Which is greater: -749 or q?
q
Let r = 230 + -231. Let l(a) = -16*a - 6. Let c be l(r). Which is greater: c or 8?
c
Suppose 1749 + 2081 = 61*a + 353. Which is smaller: a or -0.7?
-0.7
Suppose 2*y = -4*d + 4496, 4*y - 13 + 5659 = 5*d. Is 1134 less than d?
False
Let n = -32533 - -32594. Suppose -3*z + 136 = 2*c, 0 = -c - 2*c - z + 190. Is c <= n?
False
Let z(p) = -2*p**2 + 12*p + 44. Let f be z(-16). Let d be (-2 - -1 - -2)*264/f. Which is greater: d or -5/37?
-5/37
Let f = -6030.12 - -5888. Let c = f + 142. Which is smaller: -1/11 or c?
c
Let i be (6/18)/((-9)/(-54))*-12. Which is smaller: i or -5.5?
i
Let o = -61/3 + 2749/129. Suppose -16 = 4*a - 5*r, 2*r - 6 - 2 = 0. Which is greater: a or o?
a
Let d(u) = u**3 + 17*u**2 - 37*u - 268. Let b be d(-13). Is 6 greater than b?
False
Suppose 4*p - 5 - 19 = 0. Let w be 3/p*3*-34. Is w equal to -49?
False
Let i = -219/22 + 5825/594. Is i > -10?
True
Let j = 0.26 + -12.26. Let z be (4/(-14) - (-12)/35)/(81/(-405)). Do z and j have the same value?
False
Suppose 0 = 13*b - 11*b + 4. Let r be (b/6 - (-6720)/(-63)) + 4. Let d be 1239/(-12) + 2/8. Do d and r have the same value?
True
Suppose r + 0*r = 5*n + 6, 3*n - 1 = -4*r. Let a(f) = -6*f**2. Let b be a(n). Let x = 1250 + -1249. Which is greater: b or x?
x
Suppose -492 = -o - 2*f, f = -2*o + 2*f + 994. Suppose -9*x = -5*x - o. Let w = 145 - x. Are w and 81/4 unequal?
True
Let n(z) = -90*z**3 + z**2 - 4*z - 3. Let x be n(-1). Let v = x - 106. Let p be 2 - ((160/v)/(-5))/1. Is p > 37?
False
Let c = 3868 - 6273. Is c greater than or equal to -2405?
True
Let k = 1253 - -2287. Is 3539 <= k?
True
Let l(y) = y**2 + 1. Let s be l(2). Let o = -2/2825 - -15822/2825. Which is smaller: o or s?
s
Suppose 42 - 24 = -6*k. Let c be ((-1)/k)/(1813/(-14) - 1). Is c smaller than 0?
True
Let w be (-2 - 1)*480/720. Is -264/107 < w?
True
Suppose 6244 + 15456 = -124*b. Suppose -3*t + 3*q = 507, -860 = 5*t - 0*q - 2*q. Is t less than or equal to b?
False
Let g = -385 + 385. Let h = 3 - 7. Let c = -4 - h. Is c < g?
False
Let t be 6/(-21)*(-86)/12. Let s be (-64)/(-6)*133/3724. Let a = s - t. Which is greater: a or -3?
a
Let w = -9/142 - 2937/710. Let u(d) = -5*d - 90. Let a be u(-22). Suppose -3*t - 2*b = a, 3*t - 5*b - 28 = 5*t. Is w not equal to t?
True
Suppose -29*k + g + 5 = -25*k, -2*g - 10 = 4*k. Let c(s) = -s**3 - 5*s**2 - s - 1. Let f be ((-10)/6)/(2/6). Let n be c(f). Is n < k?
False
Let r be ((-4300)/(-430))/(2/863). Which is bigger: 4317 or r?
4317
Let b = -149.417 - -131.43. Let s = 18 + b. Let n = s - -0.087. Which is bigger: n or 2/29?
n
Let h(g) = 40*g - 90 - 42 - 125 - g**2. Let n be h(31). Let f be (-254)/(-12) - (-2)/4. Which is bigger: f or n?
n
Suppose -108 = -3222*g + 3231*g. Let x(h) = h**2 + 2*h**2 + 23*h - 11 - h**2. Let n be x(g). Which is smaller: -3/40 or n?
-3/40
Let c(g) = -g**3 - 9*g**2 + 7*g - 1. Let u be c(-9). Let s = u - -69. Suppose -x + s*x = 16. Is 4 bigger than x?
False
Let k = -24870 - -24870. Is -0.2199 less than or equal to k?
True
Suppose 0*z - 4 = -4*z, -g = 2*z - 1. Let i be g/(-2) + 3/(-9). Which is smaller: i or 1?
i
Let b be 1/(-2) + (-1743)/2*185/(-15). Is b < 10747?
False
Suppose 4*q = -3 - 1. Let l = -3809.22 - -4043.22. Is q not equal to l?
True
Let y = -0.4629 + -426.5371. Which is smaller: y or 0.01?
y
Suppose -89 = -2*z + 5*g + 466, 3*z - 865 = g. Suppose -2*u + z = 8*u. Which is smaller: u or 31?
u
Let j be (6 + (-14592)/2430)*(-125)/(-100). Which is smaller: 2 or j?
j
Let n be ((-12)/14)/(1/252). Let l = n - -215. Which is greater: -1/19 or l?
-1/19
Let r = 469/8 + -58. Let j(f) = -4*f**2 - 24*f + 22. Let p be j(-8). Let a = 44 + p. Is r >= a?
False
Let b be (0 + -3)*((-1190)/51 - -23). Let u = -92/11 + 1559/22. Let v = u - 61. Which is bigger: v or b?
v
Let f = 28.3 - 143.3. Let m = -114.88 - f. Is m at least as big as 1?
False
Let y be ((-626)/10 - -6) + (21/35 - 1). Which is smaller: 19 or y?
y
Let y be (10 + (93618/(-162) - -14))*(-6)/10. Which is smaller: 333 or y?
y
Suppose 4684*x + 136 = 4688*x. Is x not equal to -3/4?
True
Let v = -1847.4 + 1847.417. Let l be 0*(-2 + (-3)/(-2)). Is v at most as big as l?
False
Suppose 0 = -j + n + 181, -885 = -3*j - 2*j - 5*n. Let x = j + -216. Which is smaller: -36 or x?
x
Let w = 957.5 + -957.7. Is 344 < w?
False
Let d be 132/24 + (-1)/2*1. Suppose 16 = -t - d*c, 3*t + 14 = -2*c - 8. Let j be ((-4)/t)/2 - (-4)/(-3). Which is smaller: -3/20 or j?
j
Let n = -520 + 804. Let k = n + -283.7. Is k at least as big as 21/4?
False
Let g = 455 + -425. Let f be 34*(-4)/(-160) + (-18)/g. Is f <= -2/211?
False
Let o = -3740.9 + 3762. Which is smaller: -5 or o?
-5
Let s = 0.243 - -300.757. Let c = s - 297. Is c less than or equal to 2/73?
False
Suppose c - 2*c - 6 = 5*c. Which is smaller: c or 8/483?
c
Suppose 11*u = 5*u. Suppose 0 = 2*y + y. Suppose r + 2 = -y*r. Which is bigger: r or u?
u
Let f = -0.1167 - -210.2167. Let d = f - 210. Which is greater: 208 or d?
208
Suppose 0 = 6*i + 1130 + 850. Which is bigger: -659/2 or i?
-659/2
Let f(p) = -p**2 - 13*p - 15. Let y be f(-9). Let t be y/(-9)*1 + 1/3. Let m be 31/(-7) + ((-2)/t - 3). Is m less than or equal to -6?
True
Let j(l) = -l**2 - l + 47. Let z be j(-9). Suppose -191 - 2597 = 82*k. Is z at least as big as k?
True
Let q = 637 + -8321/13. Let z be ((-6)/10 + 1)*-5. Is z less than q?
False
Let z be (766/14)/((-72)/(-90)). Let j = -976/11 - -1574/77. Let w = j + z. Which is smaller: 0 or w?
0
Let d = 4798 - 4798. Which is greater: d or -1/3469?
d
Let g be (-8)/(1/8*2). Suppose -18*p + 179 + 937 = 0. Let c = p + g. Which is greater: c or 29?
c
Let n = 147 + -154.3. Let h = 3.3 + n. Let r = -3 + 3.1. Which is smaller: r or h?
h
Let c = 7.2 + -7. Let m = -191 - -1354/7. Which is smaller: m or c?
c
Let x = -16059/11 - -1461. Suppose 0*y + 2*y + 4 = -2*u, y = 3*u - 6. Which is smaller: y or x?
y
Let o = -16096 + 16109. Which is greater: o or -1356?
o
Let i = -37720.83 + 37566. Let v = 151 + i. Let u = v + -0.17. Are -1 and u nonequal?
True
Let l = 194 + -185. Suppose -7 + l = 2*r. Do 2/9 and r have the same value?
False
Let r = -778757/53 + 14695. Which is smaller: 0 or r?
0
Let d = 53.5 + 561.7. Let v = 615 - d. Which is greater: v or -85?
v
Let z = 237943/2530158130 + 1/128794. Is z at least as big as 1?
False
Let x be (-4)/(-20)*10*2/(-4). Suppose 0 = -2*b + 1 + 5. Suppose 6*d - b*d + 9 = 0. Is x < d?
False
Let r be (1062/(-236))/((-479)/813 + 2/3). Is -59 smaller than r?
True
Let d be 2/9 - (-266)/18. Suppose 0 = 15*a - 127 + 427. Let u be a/(-6 + 1) + (1 - -10). Does u = d?
True
Let k = 4985 - 4549. Is 444 at least as big as k?
True
Let o = 7454 + -7458. Is -86/27 less than or equal to o?
False
Let z(n) = -n**2 - 60*n - 243. Let k be z(-56). Is -316/17 greater than k?
True
Let l be ((-2)/(-13))/(-5 - -1). Let y = -212 - -376. Let c = y + -165. Which is bigger: c or l?
l
Let g = 708.091 - 709. Which is smaller: g or 2?
g
Let d = -120996234351/13582492 + -2/33956