ose 0 = f*u - 22*u + 1. Which is greater: 2/37 or u?
u
Let q be ((-680640)/(-18))/10 - 1. Let l = q - 3749. Which is greater: l or 32?
32
Let f(h) = 5*h**2 - 27*h + 74. Let d be f(5). Suppose 0 = -2*s - 2*p + 2, 3*p = 2*s - p - 26. Suppose s*w + 3*w = d. Which is smaller: w or 1/2?
1/2
Let s = -152829511/132 + 762451069/924. Let c = 332630 + s. Let x = c - -50/11. Do x and 0 have the same value?
False
Let o(v) = 16*v + 109. Suppose 5*c - 40 = 10*c - 5*x, x = -2*c - 10. Let w be o(c). Which is smaller: w or 83/7?
83/7
Suppose 5*q - 7690 = 8*b - 3*b, -q + 1544 = -4*b. Is q < 1538?
True
Let d(l) = 2*l**2 + 6*l - 29. Suppose -10*o = -3*w - 5*o + 7, 2*w - o + 7 = 0. Let i be d(w). Is 10 less than i?
False
Let p = 110567 + -1041983409/9424. Which is greater: p or 0?
0
Let t be (5/35)/((-10)/6). Suppose -6 = 29*n - 60*n - 37. Does n = t?
False
Let f(i) = -i**3 + 4*i**2 + 40*i - 43. Let q be f(1). Is q != -7/1646?
True
Suppose 303*x = 295*x + 1776. Let d = x + -332. Is d greater than or equal to -111?
True
Let i be ((-5852)/285)/(-28)*(-6 - -1)/((-2)/(-2)). Suppose -5 + 20 = -5*v. Which is greater: i or v?
v
Suppose 4*k + 5 = 17. Let p be 1*((-2)/(-2 + k) + -5). Let l be 13 + -1 + p/(-7). Which is greater: l or 11?
l
Suppose -21*v = p - 16*v + 63, 0 = -4*p + 3*v - 367. Is -53 at most p?
False
Let t be ((-69)/(-18))/((-48)/144). Let g(r) = -r**3 + 15*r**2 - 15*r + 16. Let y be g(14). Suppose y + 20 = -2*m. Which is bigger: t or m?
m
Suppose -2*z = 0, -k + 27*z = 22*z - 111. Which is bigger: k or 112?
112
Let b be (12/13)/((-138)/(-1196)). Which is greater: 19 or b?
19
Suppose 100*f - 41076 = 154324. Is f > 1954?
False
Let s = 98 - 164. Let z = 53 + s. Let n = -2 + 1. Which is smaller: n or z?
z
Let h be (84/63)/((-13)/3). Let t = -13.5 + 12.7. Do t and h have different values?
True
Suppose 23 = -m + 26. Let c = -1075/33 - -98/3. Is c equal to m?
False
Let m be (-8 - -1) + -2 + 3. Let o = 33/124 - -2071/372. Let k = o + m. Which is bigger: k or -3?
k
Let t be 16/((-69)/15 + 5). Suppose t*g + 5 = 45*g. Which is smaller: -1/17 or g?
-1/17
Let j = -12284.05 - -12913. Let q = j - 629. Let b = -0.2 + 2.2. Do b and q have different values?
True
Let q be (-4062 - -4)/((-3)/(((-105)/14)/5)). Which is smaller: q or -2030?
-2030
Let m be 128/43 - 36/12. Let a(l) = -66 + 4*l - 18*l + 11*l. Let r be a(-22). Is m at least as big as r?
False
Suppose 0 = -8*n + 9*n + 4*j - 28, -5*n + 5*j = -240. Which is smaller: -10 or n?
-10
Suppose 3*j - 7 = -5*m + 7*m, 5*j = 15. Let u be 5 + (-1143)/(-36) - 2/(-8). Which is greater: u or m?
u
Let r = 0.12454 - 428.12454. Which is smaller: 11 or r?
r
Let x(v) = -v**3 - 7*v**2 + 3*v - 8. Let h be x(-8). Let m be (h/(-3))/((-14)/(-63)). Is -48 at least m?
True
Let o = -97999/2073869 + 28/589. Which is smaller: o or -1?
-1
Let a = 66.9 + -67. Let d = -19.66 - -20. Let s = -0.34 + d. Which is smaller: s or a?
a
Let q be ((-5727)/690 + 24/3)*(-10)/(-7416). Is q at least as big as 1?
False
Let r = -764965961/5461 + 140078. Which is smaller: r or 0?
r
Let r = -13700 - -13696. Are r and 111 non-equal?
True
Let f be (-12 - -19) + -1 + (-12574)/(-8) + 1. Which is bigger: f or 1579?
1579
Let l = -144 + 161. Suppose -107 = l*y - 22. Let i be (-1)/((-15)/(-6) + -2). Which is smaller: i or y?
y
Suppose 16*f - 1892 = 20*f. Let x = f - -369. Is -105 != x?
True
Let g = 575 - 475. Let f = g - 113. Which is smaller: -1 or f?
f
Suppose -4*d = 4*x, 4*x = 5*x + 3*d. Suppose x = 50*l - 56*l + 6. Is -1/586 greater than or equal to l?
False
Suppose 287*x - 11*x = 69710 + 6190. Which is smaller: x or 268?
268
Suppose -2*h - 85 = i, h - 3*i + 71 - 46 = 0. Which is greater: h or 30?
30
Suppose 4*j = 5*i - 339, 0*j = 3*j + 4*i + 293. Let l = j - -11. Is l greater than -80?
False
Suppose -2*g = -5*y - 9704 - 5420, g = 5*y + 7567. Which is smaller: g or 7556?
7556
Let a = -132 + 133.46. Let k = -6.14 + a. Let b = -4.8 - k. Is -1 at most as big as b?
True
Let v be ((-10)/8)/((-445)/356). Which is smaller: -4/231 or v?
-4/231
Let p = -486 - 94. Let y = p + 580.03. Which is smaller: y or -4?
-4
Let l(z) = -z**2 - 7*z + 86. Let q be l(6). Let b be 3*(-11*q)/(-8). Which is smaller: 171/5 or b?
b
Let x = -1905.47 - -1881. Is 2/7 smaller than x?
False
Let u = -16664 + 16673. Suppose -90 = -3*z - 0*z. Suppose -h = 2*h - z. Which is smaller: u or h?
u
Let f = -4.425 - -33.393. Let w = f - -0.032. Let y = 29 - w. Is y at least as big as -10?
True
Let p = 13.22 + -7.7. Let u = p + -5.1. Let f = 0.52 - u. Is 0.1 > f?
False
Let l be 693/660 - (15/(-4))/(-3). Let z = 3.773 - 34.793. Let n = 31 + z. Is l != n?
True
Let k be 131/7 - 16/(-56). Let g = k + -19. Suppose -2*t = 4*n - 6*t - 8, g = -4*t - 8. Which is bigger: 4/5 or n?
4/5
Let g = -1260 + 1280. Which is smaller: -0.02 or g?
-0.02
Let d(g) = -4*g**3 - 3*g**2 + 24*g + 8. Let j be d(-6). Let t = j + -621. Which is smaller: -1/1237 or t?
t
Suppose -75*o + 66*o + 81 = 0. Let p be (2 - 0)*(7 - o) + 36. Suppose 2*r = w - 34, 4*r + 282 = 5*w + 118. Is p < w?
False
Let l(o) = 6*o**2 - 2*o - 3. Let z be l(-4). Suppose -4*j + z = -2*h - 9*j, -4*h + 2*j - 142 = 0. Let t be -9 - (90/(-15) - -39 - 5). Which is smaller: t or h?
h
Let l = 340 - -375. Suppose 4*u + 9*u + l = 0. Let o = u - -54. Is o <= -13/10?
False
Let y = -446 + 461. Suppose 0 = 5*r + y - 135. Which is bigger: 29 or r?
29
Suppose h + 0 = -5*z + 9, 5*z = h - 39. Let w be 205/3 + h/(-18) - 2. Is 0 at least w?
False
Suppose 3*m = s - 4, -4*s + 3*s + 5*m = -6. Let p = 11 + s. Let f(d) = -d**3 + 11*d**2 + 13*d - 16. Let r be f(p). Which is bigger: r or 3?
3
Let p be (-493)/(-1701) - (-4)/(-14). Let f(i) = -2*i**2 + 5*i + 6. Let d be f(-1). Is d equal to p?
False
Let m = 391 - 351. Suppose -m - 20 = -6*s. Is s smaller than 10?
False
Let k = -921/68 + 226/17. Are -7.9 and k equal?
False
Suppose 24*y = 19*y - l + 85, 3*l = -2*y + 47. Let m = 76 - 110. Let f = m + 50. Is f != y?
False
Let x = 0.3891 - 0.6076. Which is greater: -0.2 or x?
-0.2
Let z = 8 - 22. Let n be 168*795/477*(-9)/165. Is n <= z?
True
Let v(p) = p**3 - 6*p**2 + 4*p + 5. Let y be v(5). Let u be (-39)/((-653562)/(-83714)) - (-3 - (-2)/(-1)). Which is smaller: u or y?
y
Let b be (2 - -3*(-30)/35)/(200/140). Which is bigger: b or 1.2?
1.2
Let l = -365 - -374. Suppose 0*f - 2*f = -10. Suppose w - 1 = -f*a + 4*a, -l = 3*w. Is a smaller than 4?
False
Let p = 171789/688 + -4103/16. Let q = p + 6223/215. Are 22 and q non-equal?
True
Let o be -119 - -5 - 4/1. Let x = -202 - o. Which is smaller: x or -4?
x
Suppose -18*d = -49 - 33 - 44. Let c(m) be the third derivative of m**6/120 - 7*m**5/60 - m**3/3 + m**2. Let r be c(d). Is r less than -5/4?
True
Let o be (1422/24)/((-1)/(-112)*7). Which is bigger: 949 or o?
949
Suppose 3*k = 30*l - 33*l + 11139, -5*l + k + 18535 = 0. Is l not equal to 3710?
True
Let k = -131 + 61. Let d be 230/k + (-4)/(-14). Let f = 806/153 + -116/17. Which is greater: f or d?
f
Let p = 43 + -29. Suppose -p*x + 10*x + 76 = 0. Is 24 <= x?
False
Let h = 747.822 + -749. Let c = h - -0.338. Which is smaller: 0 or c?
c
Let i(k) = 2591*k + 3051. Let d be i(0). Is -2 not equal to d?
True
Let b be (-1)/(-1)*(-4)/10. Let a be -10*(-8)/60*(-12)/(-8). Suppose -185 = 3*s + a*l, l - 81 - 54 = 2*s. Is s less than or equal to b?
True
Suppose -2*l = 2, 3*c = -2*l - 56 - 60. Let t(n) = -n**2 - 43*n - 134. Let b be t(c). Which is smaller: 51 or b?
51
Let v = -3610 - -3616. Are -41 and v unequal?
True
Let s = 224 + -483. Let p = s + 339. Which is bigger: p or 81?
81
Let n be (-4077)/108 - (-1)/(-4). Let h be ((6/n)/(-1))/(15/(-45)). Which is greater: h or -1?
h
Let t be 5 + (12*(-64)/(-88))/((-3)/2). Which is bigger: t or -44?
t
Let y be ((-5)/(-22))/((-80)/32 + 9). Is -1 smaller than y?
True
Let m be ((-8)/(-16))/(0 - 7/7). Is -35 equal to m?
False
Let m be 0/(-2) - (-1 - -1). Let g be m*2/3*15/10. Suppose 2*v + 6 + 26 = g. Is v bigger than -19?
True
Let y = -187 - -191. Let n = -34 - -32. Does y = n?
False
Let k = 261.7 - 249. Let y = -13 + k. Suppose 0*l = -14*l + 28. Which is greater: l or y?
l
Let i = 10.6 - 29.6. Let x = -48 - -140/3. Let y = x - -11/6. Are y and i equal?
False
Let a be 2598/(-13) - (400/(-104) + 4). Let h = a - -196. Does -4 = h?
True
Let o(p) = -3*p + 35. Let y be o(18). Let l = 24 +