/18 + 3606. Which is smaller: h or z?
h
Let c be (-2 + -1)*(-14)/75. Let l = 41/150 + c. Let m = -324 - -325. Is m at most as big as l?
False
Let y(r) be the first derivative of r**4/4 - 8*r**3/3 + 7*r**2/2 + 2*r - 13. Let p be y(7). Suppose p*b + 6 = 4. Which is smaller: 14/9 or b?
b
Suppose 31*g - 4206 - 630 = 0. Does g = 148?
False
Let p = 277 - 279. Let w be 2/p*9/(153/(-7)). Which is smaller: w or 0?
0
Let c be (-1088)/72 + 4/1. Suppose -4*r - 11 = z, 5*z + 52 = -5*r - 3. Is z <= c?
False
Suppose d - 38 = -d. Let s(h) = -h**2 + 16. Let g be s(0). Let a = d - g. Is 15/4 bigger than a?
True
Let t(f) = -f**3 + f**2 + 7*f - 9. Let d be t(3). Let g be d/33 + 0 - 53/11. Let a = -18 - g. Is a greater than or equal to -13?
True
Let d = 29.0282 + -0.0282. Let k = d - 29. Let u = 17.74 - -0.26. Which is greater: u or k?
u
Let p be 2/(-16) - ((-34)/((-8976)/(-20889)) + 32). Let u(b) = -10*b + 4. Let d be u(-4). Are d and p non-equal?
True
Let k = -2/21983 + -923164/1340963. Which is smaller: k or -2?
-2
Suppose 4*m = 5*u - 190, 0 = m - 2191*u + 2188*u + 51. Let a be 2/3 + (-950)/21. Which is greater: m or a?
a
Let s = 17 + -17. Let c = -2291 - -2286. Is c at least s?
False
Let q be ((-50)/20)/((-1)/2). Let u be (27/q)/(42/20) + -4. Is 0 <= u?
False
Suppose 0 = -5*l + 2*k + 10, 2*l = -4*k + k + 23. Suppose 5*j + 0*g + 24 = 4*g, l*g = 4. Let b be 116/(-24) - 2/(-6). Is j at most b?
False
Let r = -784 - -657. Which is smaller: -880/7 or r?
r
Let n = 11283 + -10998. Is n less than 286?
True
Let c be ((-150198)/33380)/3 - (-90)/60. Let f = -1502089/91795 - c. Which is smaller: f or -15?
f
Let z = 186673/3196 + -2980/51. Which is smaller: 1 or z?
z
Let p = 680 + -676. Let j be (15780/120)/((-2)/p). Is j smaller than -263?
False
Let r(u) = u**2 + 7*u - 183. Let d be r(-18). Suppose -d*k + 14*k = 21. Suppose 4*w = 5*b + 93, -5*b + 3*w - 151 = -55. Is k at least b?
True
Let k = 54.86 + -57.86. Is k at least as big as 812?
False
Let s(w) = w - 12. Let x be s(14). Suppose -k + 48 = -3*t, 2*k - 2*t - 88 = x*t. Which is smaller: k or 33?
33
Let s = 855.3 - 909. Let i = s - -54. Let z = -2.996 - 0.004. Is z greater than i?
False
Let l = -28958 - -34615. Which is greater: 5658 or l?
5658
Let i be -8 - ((-30)/(-50) + (-245645)/28575). Which is greater: 1 or i?
1
Suppose 0 = 27*s + 47 + 331. Let i be 303/21 + 1 + 20/s. Which is smaller: 18 or i?
i
Suppose -2*n = -i - 3, 3*n - 4*i = -6*i - 6. Suppose n = -14*u - 409 + 129. Is u equal to -20?
True
Let o = -0.059 + 1.164. Let y = -0.105 + o. Which is smaller: 342 or y?
y
Let s = -14284 - -14283. Are 2/25517 and s non-equal?
True
Suppose -2*w = 18*w - w. Suppose -20*j + 21*j + 13 = w. Which is smaller: j or -58/5?
j
Let i be (-579)/(-4524) + (-90)/585. Which is bigger: i or 1?
1
Let u = 17 - 9. Suppose 0 = 3*w + 63 - 69. Suppose -a + u = -w. Which is smaller: a or 7?
7
Let v = 1791 + -4268. Let m = v - -32159/13. Suppose -2*l = -p - 423 + 429, -3*l + 5*p = 2. Which is smaller: l or m?
l
Let i be -4 - (-1 + 3 - (-2031579)/(-7317)). Let a = i - 815/3. Is a greater than or equal to 0?
False
Suppose 3*r + 5*n + 2 + 19 = 0, -5*r - n - 35 = 0. Let k be (375/(-54) - r)/(3/(-4)). Let p = 1 + -1. Is k at most p?
True
Let x = -250/9 - -28. Let z = 69 - 73. Let b be -2 - (-1 - (-3 - z))/1. Is x not equal to b?
True
Let k be -5 - (-5 - (-16)/(-312)). Suppose g + g = 0. Suppose g = n - 5*n. Which is smaller: k or n?
n
Let p = -1262 + 1251. Let v be ((-14)/5)/((-16)/(-5) + -3). Does p = v?
False
Let l = 65 + -35. Let w = -39 + l. Let y(j) = -j**3 - 7*j**2 + 19*j + 4. Let d be y(w). Is -6 >= d?
False
Let c = 4311.97 + -4312. Is -106 less than or equal to c?
True
Let k = -2 + 3. Let b = 19904714/109 + -182612. Which is bigger: b or k?
k
Let y(c) = c**2 - 20*c + 25. Let s be y(19). Suppose k + 9 = s. Let i be (k - -2)*(-20)/1990. Is 0.1 > i?
True
Let d = -2203 - -1353. Let g = d - -849. Is -21/13 less than g?
True
Let x be (5/4)/((48/(-44))/(-4)). Let j = x - 47/60. Is j > -0.1?
True
Let q = 0.142 + -0.095. Let d = q - 1.047. Which is smaller: d or 3/5?
d
Let p be (3/(-2))/((-12)/(-8)). Let z be ((-8)/(-152))/(p/(-6)). Let q be 49/(-28) + 3 - (-1)/(-4). Is q at most z?
False
Suppose -68*c = 47*c + 19*c - 26*c. Which is smaller: c or -12/1103?
-12/1103
Suppose -3*a + d = -d + 4843, 10 = 2*d. Let u be -4 + (0 + (-6)/2418)*a. Is 0 less than u?
False
Let y be 1/(440/154 + -3). Which is smaller: 797 or y?
y
Let g be (-35)/((-1925)/(-242))*(-3 + 2)*-5. Let j = 55 - 88. Let p = -57 - j. Which is smaller: p or g?
p
Let k = 8.2 - 10. Let c be (320/444 - (-80)/(-1480))/(4/(-3)). Which is bigger: k or c?
c
Let l = -5818107/710 + 16389/2. Is -1 != l?
True
Let p be (8/10)/((-84)/124110). Let n = 1012 + p. Are -171 and n equal?
False
Let c = -12236 + 10641. Do c and -1596 have the same value?
False
Let m = -36345 + 30867. Which is smaller: m or -5482?
-5482
Let z(f) = -8*f - 14. Let b = -199 - -203. Let o be z(b). Is o at least 1/4?
False
Suppose -2*c - 2*c = c. Suppose -o = -3*f - 12, -4*o - 2*f = -c*o + 8. Which is bigger: 15 or o?
15
Suppose 7*g - 150 = 5*g. Suppose c + 4*c = g. Let p be 4/(-2) + c*-3. Is p > -46?
False
Suppose 5*d - 5*l = -0*l + 575, -3*d - 3*l + 345 = 0. Let k = d + -117. Is k smaller than -10?
False
Let u = -1123/18 - -548/9. Which is smaller: u or 24/23?
u
Suppose 6*p = -195 + 189. Let f = -249/17 + 42047/2873. Is p <= f?
True
Suppose -c + 5 = 5*i, 5*i - 215*c + 214*c + 5 = 0. Do i and 20/59 have the same value?
False
Suppose -29*o - 948 = -977. Is -3/6863 > o?
False
Suppose -52*q + 40*q = -1512. Is q less than or equal to 150?
True
Let x = -266761/14100 - -3/1175. Let m = -529/36 - x. Suppose -2*d - 22 = -5*q - 3*d, 4*q - 5*d - 35 = 0. Which is bigger: m or q?
q
Let r be 768805/(-65) + ((-45)/(-39))/(-5). Is r greater than or equal to -11828?
True
Suppose -26*o + 23*o + 2*c - 23 = 0, -4*o + 3*c = 30. Let h be 2/(-12)*(4550/518 + o). Is -1 at most as big as h?
True
Suppose 51*z - 13 - 38 = 0. Let h(j) = -j + 1. Let k be h(5). Let w be (k/(-12))/((-4)/3). Which is smaller: w or z?
w
Let t(h) = 4*h**2 - 23*h - 1762. Let i be t(-28). Which is greater: i or 2021?
2021
Let w(m) = -25*m - 597. Let g be w(-6). Is g != 0.13?
True
Let c be (-6)/4*(-42)/(-9). Let u = 7 + c. Let w be (423/(-36) - -11)*16/(-18). Is u at least w?
False
Let c = -3711 + 3726. Is c greater than or equal to 87?
False
Let g = 23818 + -23447. Are g and 10 equal?
False
Let f be 4/26 + (-1)/130*-88718. Which is smaller: 683 or f?
f
Let w(v) = -v**3 + v**2 + v + 1. Let t be w(0). Let x = -531.156 + 1.156. Let d = x + 529.97. Is t greater than d?
True
Let h = -148.0403 + -0.0597. Let i = h + 148. Is i < 46?
True
Let c(d) = 2*d**2 + 20*d - 15. Let o be c(-13). Suppose 114*i = 123*i - o. Let m = -11 - -18. Is m greater than or equal to i?
True
Let k = -7.8 + 7.747. Let y = -36.053 - k. Which is smaller: y or -1/2?
y
Suppose -104*f - 135 = -99*f. Which is smaller: -12/11 or f?
f
Let s = 760 + -313119/412. Let f = s - -95/3296. Let k = -29 + 30. Is k greater than or equal to f?
True
Let i be ((-128)/(-10))/((-4)/(-10)). Suppose -38*o = -i*o - 1356. Is 226 bigger than o?
False
Let w(d) = d**2 + 30*d - 140. Let f be w(-34). Let g be 6/f - 1071/(-850). Which is greater: -1 or g?
g
Let f be ((-9017)/4)/(((-41)/492)/(-1*1)). Is f smaller than -27050?
True
Let h be (2 - 2)*(-2)/(-4). Let b be (-1 - (-968)/20)*8/3. Let f = -127 + b. Is h bigger than f?
True
Suppose 0 = 4*l - 3*t + 101, 3*l - 26*t + 22*t + 81 = 0. Which is smaller: l or -28?
-28
Suppose 3*j = -60 + 33. Let n(i) = -5*i - 48. Let c be n(j). Which is bigger: c or -17/7?
-17/7
Let p be (-112)/616 + (-4940)/55. Is -54 not equal to p?
True
Suppose 0 - 14 = o. Let b be 429/162 + (-343)/(-42) + -8. Let h = -70/27 + b. Is h greater than o?
True
Let k(u) = u**2 + 19*u - 24. Let b be k(-20). Let v(c) = c**2 + 4*c + 1. Let y be v(b). Is y smaller than 2/835?
False
Let b = -290 + -6767. Is -7057 at least as big as b?
True
Let v = 57 - -72. Suppose -62 = -u - v. Which is smaller: -68 or u?
-68
Let q be ((-12385)/(-3100) + -4)/(3 + 0/(-2)). Is -1/3 > q?
False
Let y = 64553 + -64557.6787. Let c = -0.0213 + y. Which is smaller: c or 0?
c
Let h = 1509/2 + -2775/4. Suppose -5*m + 325 - 48 = -4*l, -3*l + 265 = 4*m. Which is g