 9 or n?
n
Suppose -42*k = -3*k + 11*k - 5350. Is 100 at least as big as k?
False
Let u = 6153.1 - 6154. Does u = 2/1013?
False
Let j = -2023/950 + -133/50. Which is smaller: j or -5?
-5
Suppose 4*f = -4*p - 28, 5*f - 3*f - 28 = 5*p. Which is smaller: p or -4/37?
p
Let j(o) = -23*o - 2070. Let x be j(-90). Which is smaller: 2/24977 or x?
x
Suppose -2*t - 24 = -5*v, -2*t + 0*t + 12 = 4*v. Let g = -7 + v. Let k be (19/12)/(18/(-36)). Is k <= g?
True
Let t be (-2)/(-13) + (-1055)/(-325) + -3. Is 21/167 <= t?
True
Let p = 0.0537 - 339.0537. Let y = 350 + p. Is y > -2/29?
True
Let i = -12690 - -4644529/366. Which is greater: i or 1?
1
Let d = 1281.07 + -1281. Let c = 109.02 - 109. Which is bigger: c or d?
d
Let c = 0.323 + -0.35. Let v = 0.03 - c. Let n = 1.857 - v. Which is bigger: n or 0.1?
n
Let n(k) = -k**3 - 19*k**2 + 17*k - 527. Let u be n(-21). Which is smaller: u or -905?
-905
Suppose 0 = -151*j - 35423 + 14005 - 43361. Is j equal to -434?
False
Let m = -39.8 - -39.74. Which is bigger: -5/171 or m?
-5/171
Let s(k) = -5*k + 147. Let x be s(31). Let n be (x + 6 - -2)*1. Is 2/1107 bigger than n?
True
Let i(n) = 25*n + 2401. Let s be i(-98). Do s and -1/18 have different values?
True
Let l be 2 + -1 - 76 - (-85)/(-17). Is -559/7 smaller than l?
False
Let d be 5/3 + 14/42. Let v(w) = -781*w + 3954. Let p be v(5). Is d < p?
True
Let r(d) = -d**3 - 34*d**2 + 50*d - 148. Let y be r(-34). Is y at most -1848?
True
Suppose 0 = -7*j - 2*x + 23, 5*j - 16 = j - 4*x. Suppose 5*i + 706 = -q - 3*q, -j*i = 5*q + 434. Is -141 less than i?
True
Let y = 2668/28715111 - -2/6067. Which is bigger: 0 or y?
y
Let v = 117 - 920. Let p = v - -969. Is 168 equal to p?
False
Let t(d) = 830*d**3 - 2*d**2 - 3*d + 3. Let n be t(1). Let p = n - 6615/8. Which is greater: 2 or p?
2
Suppose -a = 2*u - 5, -3*u + 5 = -3*a + u. Suppose -7*s + 28 = 7. Suppose -2*m + s*x + 15 = 0, 2*x + a = -1. Are m and 32/7 unequal?
True
Let y be 2/(-13)*91/(-14). Are -122/573 and y unequal?
True
Let q be ((-10496)/(-112) - -6)*(-3)/(-6)*14. Which is bigger: q or 6?
q
Let p(q) = 11*q - 3. Let v be p(1). Suppose -3*z = -2*z - 5*o - 10, -o - v = z. Let t = -42 - z. Does t = -37?
True
Suppose 3*h + 3 = o, 3*o - 14 = 4*h - 5. Suppose h = 6*b - 10*b + 17*b. Is b less than 30/31?
True
Suppose 228 = -m + 3*p, -954 = 5*m - m + 2*p. Let r = m + 176. Suppose -5*i - 249 = 51. Which is greater: i or r?
i
Let l(x) = -8*x + 2. Let o be l(-1). Let h = -40 + o. Which is greater: h or -29?
-29
Suppose 4*y - 7 = -r, -17 = -3*y - y + r. Suppose 5*a - y*n - 710 = 0, 2*n + 710 = 5*a + n. Is a bigger than 141?
True
Let l = -5390606/513 - -10508. Let m = 810 + -810. Do l and m have the same value?
False
Suppose 2*g + 0 = -8. Let s be g - (3 + (-3 - -1)). Let j = 281 + -285. Is j <= s?
False
Let q(h) = -6*h - 1. Let a be q(-5). Let j = 13189 + -13157. Which is smaller: j or a?
a
Let m = -1546 + 1550.26. Do 0.6 and m have the same value?
False
Suppose -t = -4*h - 2*t - 40, -h + 2*t - 1 = 0. Let a(b) = -2*b - 113. Let y(d) = -3*d. Let i(c) = a(c) - 2*y(c). Let x be i(26). Is x <= h?
True
Let p(o) = o**3 - 5*o**2 - 413*o + 2066. Let g be p(5). Which is bigger: -5/578 or g?
g
Let n be (-219)/336 + (-2)/7. Let c(p) = 50*p - 251. Let a be c(5). Is a < n?
True
Let c be ((-46)/(-6))/((-5)/(-30)). Which is greater: c or 71?
71
Let o(v) = -2*v - 2. Let q(j) = 2*j + 13. Let c(w) = -w**3 + 2*w - 2. Let t be c(2). Let x be q(t). Let n be o(x). Which is smaller: 1 or n?
n
Let k = 46416/13 + -46413/13. Let q(r) = -r**2 + 1. Let m be q(-1). Which is smaller: m or k?
m
Let s = 132411/8 + -16602. Which is smaller: -51 or s?
-51
Let j = 2803/7 - 448. Which is smaller: 1/2 or j?
j
Suppose -2*p - 329 = -3*u, -15*u + 565 = -10*u + 5*p. Which is smaller: u or 102?
102
Let z = 53194417830 - 513592103320296/9655. Let t = z - -9/1931. Let m = 86 - t. Which is smaller: 0 or m?
0
Let z = 20/3 - 7. Let f(b) = -243*b + 1367. Let i be f(6). Is z at least as big as i?
True
Let p = 104.03 + -131.048. Let z = p + 58.024. Let n = z - 0.006. Which is greater: 0 or n?
n
Let z be 192/432*(-6)/(-4)*-1. Which is greater: 470/7 or z?
470/7
Suppose 5*l + 81*x = 76*x - 330, -x + 284 = -4*l. Which is smaller: l or -1490/21?
-1490/21
Suppose 5*f - 3*h - 91 = 36, 3*f + 4*h - 53 = 0. Which is greater: f or 33?
33
Let v = 72.812 + -73. Let g = -60.188 - v. Which is smaller: g or -0.2?
g
Let q be (-1035)/(-621) - (-81)/(-48). Let l = -1 - 0. Is l at most q?
True
Let f = -508 + 484.4. Let q = f + 43.6. Which is smaller: -2 or q?
-2
Let a = 541 - 433. Which is greater: a or -7?
a
Let w = -2974 - -2975. Which is greater: -5/61 or w?
w
Let r = 117 - 112. Let c(f) = -4*f + 28. Let a be c(r). Is a less than or equal to 5?
False
Let q = -9525.95 - -9526. Let c be -2 - (-13)/5 - 1. Which is greater: c or q?
q
Let j = -5/18853 + -1847179/1564799. Let q = -8956/415 - j. Are q and -21 equal?
False
Let g = 14 + 11. Let w be (7396/(-120) - -60) + (-2)/(-15). Which is greater: g or w?
g
Suppose 0 = -2*t - v, 3*t + 0 = 2*v + 7. Let y be (-29)/87*(-2 - t). Are y and 7/12 unequal?
True
Let i = -10799 - -1933018/179. Which is smaller: i or 0?
i
Suppose 0*u = -5*u - 65. Let l = -48 + 48. Suppose l = 6*w - 4 + 94. Is u != w?
True
Let p = 334687/17 + -19691. Which is smaller: -36 or p?
-36
Suppose -3*c = c + 3*z - 252, -z - 136 = -2*c. Let v(m) = m. Let g be v(4). Suppose c = -g*i - q - q, -5*i = 5*q + 85. Is i greater than -16?
False
Let p = -4703 - -10602. Do p and 5899 have different values?
False
Let z = 202/177 + -43666/38055. Is 1 equal to z?
False
Let n = -0.04835 + 33.04835. Let m = -61 - -28. Let u = m + n. Which is greater: u or -33/4?
u
Let p be (2 - 22)/(-5) + -3. Let m be ((-304)/13)/(62/(-1643)). Let a = -620 + m. Which is smaller: p or a?
a
Let h(b) = -b**3 + 5*b**2 + 10*b - 21. Let y be h(6). Let c be (-1)/3 + (-130)/78. Let g be (-5)/(525/(-4))*y/c. Do 1 and g have the same value?
False
Suppose 30*q - 23*q - 49 = 0. Suppose 3*x - 44 = q*x - g, 0 = -4*g. Which is bigger: x or -85/8?
-85/8
Let p(i) = 5*i**3 + 5*i**2 - 19*i - 10. Let q be p(7). Let k be (q/158)/(0 - (-2)/(-12)). Which is smaller: -68 or k?
k
Let a(c) = -61*c - 3. Let m be a(-1). Let n = m + -127. Let l = 59 + n. Does -11 = l?
False
Let x be (-69)/6 - -13 - (425/970 + 1). Which is smaller: x or -5?
-5
Let b be 2/1 - -3*(-31 + 818). Is 2363 equal to b?
True
Let h(u) be the first derivative of u**4/4 + 5*u**3 + 19*u**2 - 4*u + 48. Let c be h(-12). Suppose o = 3 - 30. Are o and c nonequal?
True
Let v be -4 + 4387480/175500 + -21. Is 0 less than or equal to v?
False
Let h = 15 + -15. Suppose -4*q + 13 + 11 = h. Suppose -3*b - 37 = -3*u + 44, 2*b - q = 0. Which is smaller: 29 or u?
29
Let l(o) = -2*o**2 + 11 - 3 + 8*o - 1. Suppose -19*j + 4 + 72 = 0. Let w be l(j). Are w and 7 unequal?
False
Let a = -20974 + 5054736/241. Which is bigger: a or -1?
a
Suppose -4*p - o = -209, 4*p - 5*o + 161 = 7*p. Let x = -2.3 - 30.7. Let c = -32.9 - x. Which is greater: c or p?
p
Let h be ((-161)/4784)/(9/1471951826 - 0). Let u = 5504094 + h. Let o = -1/117 + u. Which is greater: o or 2/5?
o
Let l = -0.13 - 0. Suppose -90*o = -88*o - 8. Suppose -2*s - 2*g - 3*g = 4, -o*s = 4*g + 8. Which is bigger: s or l?
l
Let d(f) = -f**3 + 5*f**2 - 6*f + 5. Let m be d(4). Suppose 6*c + 706 - 76 = 0. Let l be (-1)/((-3)/c*7). Which is bigger: l or m?
m
Let c = -0.606 - 0.114. Let u = c + 0.32. Is u <= 1/5?
True
Suppose -133 - 5702 = 15*h. Let p = h - -683. Let g be (-3 + 10/3)/(1/p). Is 97 at least as big as g?
False
Suppose -3*g = -7*g - 16. Let z be g/(-12)*9*13. Let v be (13 - -5)*2/z. Does v = 1?
False
Suppose -2*p = -p + 4. Let r = -0.62 - 0.6. Let k = r - -1.62. Is k less than p?
False
Let u(o) = -o**3 - 12*o**2 - 10*o - 21. Let j be u(-12). Let v = j + -99. Which is bigger: v or 4/39?
4/39
Suppose j = 6*j - 30. Let o be (3/(-2))/((-25)/15 + 4/(-3)). Which is bigger: o or j?
j
Let p(a) = 8 - 2 + 0 - 10*a + 2. Let u be p(-7). Suppose 2*r = -u + 22. Is -28 at most as big as r?
True
Suppose 0 = -2*h - 3*t + 40, -4*t - 20 = -h + t. Suppose 48*y - 8*y - 99 = 781. Which is bigger: y or h?
y
Suppose 0 = -255*b + 578417 - 102077. Which is greater: b or 5608/3?
5608/3
Let c = -8271 - -8271. Which is greater: c or 9/518?
9/518
Let o = -3611 - -2