*q, 3*h - 3*q - 78 = 0. Suppose 0 = -h*p - 425 - 95. Which is smaller: p or -23?
-23
Suppose 0*q - 14 = -7*q. Suppose -33 = q*o - 35. Let u be o/(-2)*(-20)/(-25). Which is smaller: -5/8 or u?
-5/8
Suppose 2*h = -h - 171. Let o(j) = 20*j - 126. Let z be o(16). Let w be (-76)/h*(-3)/z. Which is greater: 1 or w?
1
Let y = -1.999 - 0.001. Let k = 0 - y. Which is greater: -15 or k?
k
Let r = 41/596 - 2209/1788. Suppose 0 = -3*u + 7*u + 8. Are r and u non-equal?
True
Let v = -38 - -43. Let u be (10/(-6))/v*-6. Let m be 168/(-35)*10/(-21). Is u bigger than m?
False
Let p(g) = 4*g**2 + 25*g + 29. Let u be p(-5). Is u less than or equal to -5/32?
False
Let y be (69/15 - 4)*10 - 3. Suppose 0 = 5*v + 15, v - y*v + 69 = -5*u. Is -14 > u?
True
Let g = 231 + -234. Let a be 81/(-63) - (2 + g). Do 80 and a have the same value?
False
Suppose 3*g + 8*g = -0*g. Suppose g = -40*f + 35*f + 250. Is 49 at most f?
True
Suppose -11*m = 4*m + 75. Let x be (4/408*m)/(2/(-244)). Let n = 28/17 - x. Which is bigger: -4 or n?
-4
Let v(p) = -100*p + 99. Let i be v(-3). Which is smaller: 395 or i?
395
Let z = -2 - -5. Let f = 0.155 + -0.231. Let t = 0.024 - f. Is z greater than t?
True
Suppose -c = -3*c + z + 1, c = z - 1. Suppose 4*m + 66 = -3*x, -c*x - 22 = m - 3. Let l be 0/(10/m*3). Which is greater: -16 or l?
l
Suppose -5*c = -3*g + 6, 2*c = 5*g + 4*c - 41. Suppose -g + 5 = 2*q. Let h be 45/(-210)*(-6)/(-27). Is h at most as big as q?
False
Let z(f) = f**2 + 22*f - 69. Let y be z(-30). Are y and 2069/12 non-equal?
True
Suppose 287 = v - 469. Let z(b) = -4 + v*b**2 + 3 - 754*b**2. Let u be z(1). Is 1/86 less than u?
True
Let z = -4508/5 + 2979778/3305. Do 0 and z have the same value?
False
Suppose 6*y - 13*y + 3017 = 0. Let m = -3883/9 + y. Suppose v = 4*v. Is v at least m?
True
Let w = -4313 + 4312.8. Is -436 equal to w?
False
Let d = -22498 - -179963/8. Let r(u) = -u. Let w = 8 + -6. Let y be r(w). Is d less than y?
True
Suppose -49*p = -4*a - 54*p - 284, -p + 62 = -a. Is a greater than 16?
False
Let u = -6724 - -6349. Which is smaller: u or 1?
u
Let v = -5713 + 5905.52. Let t = v + -193. Let w = 1.2 + -0.2. Is t bigger than w?
False
Let r be (13/260)/(6/(-1125)). Is r less than or equal to -9?
True
Let c be ((-2 - -2)/(-3))/2. Let b = 2/96373 + 95499/42115001. Which is smaller: b or c?
c
Let a = -83 - -120. Suppose -27 = -8*i + a. Let h = -9 + i. Are -1 and h equal?
True
Let t = -390.8 + 356. Let q = t - -35.8. Let y = -1.6 - -1.32. Is q < y?
False
Let x = -299 + 302. Suppose 4*j - x*l - 9 = 0, 2*j - l - 2 = 1. Let h be 2/(-10)*(1 - -2). Which is smaller: h or j?
h
Let s(f) = f**3 + 6*f**2 + 2*f - 9. Let r be s(-3). Let q be r/18 - (20/18)/1. Is 0.05 smaller than q?
False
Suppose 3*u + 252 = 12*u. Suppose 6*w + u = -22*w. Let m = -59/45 + 6/5. Which is smaller: w or m?
w
Let j(m) = -10*m + 28. Let n(t) = -t. Let u(s) = -j(s) + 2*n(s). Let i be u(6). Let c be (-45)/i - (1 + (-5)/4). Which is greater: -4 or c?
c
Let f be ((-261)/(-754))/((-3)/(1*36)) + 3. Is 0 at most as big as f?
False
Let c be (3/12)/((-2)/(-64)). Let k be (-283)/c - 12/(-32). Suppose -42*p = -47*p - 165. Which is greater: k or p?
p
Let m = -2.3791 + -0.5869. Which is smaller: 0 or m?
m
Let c(x) = x**2 - 2*x + 1. Let b(r) = 6*r**2 + 16*r + 108. Let t(l) = -b(l) + 5*c(l). Let g be t(-25). Is -76 smaller than g?
False
Suppose 57*n + 5 - 13 = 106. Is 278 equal to n?
False
Let d(x) = -81*x**2 - 3*x - 44. Let k be d(-4). Is -1329 at least as big as k?
False
Let q = -57931 + 57943.9. Let a = 0.1 - 0.1. Is q < a?
False
Let v be ((6 - 3) + 5/(-2))*-2. Let b be (v - -6) + (16 - -249). Which is smaller: -0.1 or b?
-0.1
Let y = 1398 + -1397. Let z = -62.09 - -62. Which is greater: z or y?
y
Let b = -3722 + 3736. Which is greater: -19 or b?
b
Let s be -1 + ((-11401)/9 - -1). Let c = 5406 + -6674. Let g = s - c. Which is bigger: 1 or g?
g
Let x = 7843 + -7846. Do x and 485 have different values?
True
Let w = 83 + -89. Let i(u) = -u**3 - u**2 - u. Let q(d) = -7*d**3 - 10*d**2 + 6*d + 3. Let y(g) = 6*i(g) - q(g). Let z be y(w). Is z > -3?
False
Let s = 171757/157 + -1094. Let k = 1104/785 + s. Is 1 > k?
False
Let q(h) = 7*h - 3. Let b be 8/(-6)*15/(-10). Let s be q(b). Suppose -s + 15 = -x. Which is smaller: x or -32/7?
-32/7
Let s(i) = -5*i**2 + i - 4. Let d(m) = 4*m**2 - 2*m + 5. Let f(h) = -4*d(h) - 3*s(h). Let u be f(3). Let w be 0*(-1)/u*1/2. Is w at least as big as 1/19?
False
Let u = -22/3693 + -65221/3693. Is u at most -1/103?
True
Suppose 31*t = 19*t. Let a be (t + 66)*-3*(-1)/(-4). Which is smaller: -50 or a?
-50
Let k(d) = -6 - d**2 + 2 + 2*d**2 - 2*d**2 - 14*d. Let a be k(-7). Let r = -46 + a. Does -2/33 = r?
False
Let u be 6/(-4)*(-2)/(-6)*0/29. Which is smaller: u or -43/49?
-43/49
Let j = 162/47 + -1040/329. Which is smaller: -1205 or j?
-1205
Let k be (-1*1)/(-5 + (-272)/(-56)). Suppose -11*i - k + 18 = 0. Let u = -0.2 - -0.1. Do i and u have the same value?
False
Let t = -779 - -977. Which is smaller: t or 190?
190
Let r = 29 - 28. Let a = 13 + 76. Which is smaller: a or r?
r
Suppose 9*d + 593 + 289 = 0. Let a = -85 - d. Suppose -16 = a*l - 9*l. Is -0.06 greater than or equal to l?
True
Let g(x) = -x**2 + 33*x + 154. Let m(u) = 2*u**2 - 98*u - 458. Let w(y) = -8*g(y) - 3*m(y). Let q be w(-18). Is 249 < q?
True
Let l(s) be the third derivative of s**5/60 + s**4/8 + 29*s**3/6 - 51*s**2. Let z be l(-6). Is z < 48?
True
Suppose 113*x + 19335 = -18294. Let p be (-2666)/8 + (-5)/(-20). Are x and p equal?
True
Suppose 0 = 37*j + 60*j + 110370 - 432410. Is 3320 > j?
False
Suppose -5*y - 5421 = r, y + 569 = -r - 516. Let i = 1130 + y. Let x = -0.3 + -0.7. Which is smaller: x or i?
x
Let p be (2 + -1)/9 + 205734/(-918). Are -240 and p equal?
False
Let u = 2199 - 1050. Suppose -1923 = 12*f + u. Is f equal to -257?
False
Suppose 536 = 38*r - 34*r. Let m = -154 + r. Let d = -3 + -18. Is m <= d?
False
Suppose 0 = -4*a + 5*o + 25, 2*a + 5*o = 2*o - 15. Suppose -9*g + 14*g - 70 = a. Let q = -1 - -15. Is q less than g?
False
Let y = -704904 + 12703603/18. Let o = 852 - y. Let c = -60 + 61. Which is smaller: o or c?
o
Let z(l) = -l**3 + l**2 + 2*l - 3. Let i be z(-3). Let y = 11 - i. Let a = 14 + y. Which is bigger: -4 or a?
a
Let q = -91.939 - -92. Let j be 1 + -2 + (4 - 2). Which is bigger: q or j?
j
Suppose -105981*j = -106005*j + 32880. Which is smaller: 1375 or j?
j
Let m = -0.2 - -0.4. Suppose -83 - 140 = -4*f + 5*k, -3*k = -15. Are f and m equal?
False
Let d(x) = -3*x - 6. Let y be d(-7). Suppose -27*u = -u + 78. Let v be (u - (-36)/y) + (-31)/(-35). Is 2/17 != v?
True
Suppose 31*n - 44842 + 11518 - 23623 = 0. Which is bigger: n or 1846?
1846
Let u be (4374/(-7))/(-13 + 11 - (-53)/28). Is u at most as big as 0.1?
False
Let q be 4/3*(-2)/(124/12 - 13). Which is bigger: q or -1/18653?
q
Suppose 35 = 8*q - 29. Suppose -q*u + 3*j = -12*u + 19, -3*u - 5*j + 28 = 0. Which is bigger: -68 or u?
u
Suppose 3*z = 3*o + 8799, 0 = -2*o + 5*z - 0*z - 5866. Let r = -838837/286 - o. Is r bigger than 0?
True
Suppose -v + 2*s + 82 + 361 = 0, -4*v + 1800 = -s. Let n = v + -4962/11. Which is greater: 0.18 or n?
0.18
Let s = 0.5658 - 0.4658. Let x = -205.44 + -4.56. Which is greater: x or s?
s
Let w be (-26)/(-65) - (2 + (-133)/105). Is -128 smaller than w?
True
Suppose -7*d + 11 = -17. Suppose -3*r + 2 + 3 = g, -g - 9 = -d*r. Let c be -2 + (g - 94/100)*-1. Is c greater than -1?
True
Let w be 362/(-12) + 60/(-72). Let g = 34 + w. Suppose -6*i + 4*i - 2 = 0. Is i at most as big as g?
True
Let f be (5/2)/(241/1928). Are 26 and f equal?
False
Suppose 4*g - 153 = -4*t + 63, -3*t + 162 = -5*g. Let f be 6 + (35 - 13 - (1 - 26)). Is t at least f?
True
Let a = 12.38 - 11.001. Is a bigger than 0?
True
Suppose -100*r + 4*u = -98*r + 6, 5*u = 40. Do 40 and r have different values?
True
Let b = -12.8 - -93.8. Let c = 82 - b. Which is smaller: -2/13 or c?
-2/13
Let f = -69559 + 69517.033. Let r = -0.033 + f. Let w = r - -25. Do w and 0 have the same value?
False
Let k = 4185.71 + -4187. Do 14 and k have different values?
True
Let t = 4513/139 - 20/1529. Which is smaller: t or 32?
32
Let n = 694 + -688. Suppose 5*p + 4*b = 130, -n*b + 3 = -p - b. Which is smaller: 21 or p?
21
Let p be (-7 + -1)*((-3)/(-5) - 1)*75. Which is greater: 241 or p