se -5*r = 4*f, -s*f + 7 = 2*r - 0*r. Does 5 = f?
True
Suppose -116*n - 95*n + 211 = 0. Do n and -4/1929 have the same value?
False
Let q(y) = -y**2 - 2*y - 3. Let x be q(-2). Let r be 1*(x + 3)/5. Let a = 14/73 - 652/4161. Is r > a?
False
Let o(p) = -p**2 - 15*p - 45. Let m be o(-8). Suppose -m*a + 142 = 21. Is 2/37 at least as big as a?
False
Let s = -3390 + 3326. Let g be (20 + -24)*31/4*2. Which is bigger: s or g?
g
Let i be 1/(-3) - (-6)/(-9). Let k be 228/(-690) + 48/240. Is i >= k?
False
Let l = 236 - 235.9296. Let v = l + -250.0704. Which is smaller: v or 2/3?
v
Suppose 0 = -186*v - 144042 + 11982. Is v > -4974/7?
True
Suppose 24*p - 8888 + 1160 = -18*p. Which is greater: p or 183?
p
Suppose -4*v + 14*d = 16*d - 4350, -4*v + 3*d = -4335. Let s = v - 34763/32. Which is bigger: s or -1?
s
Suppose 34 = m - 4*x - 32, 3*m = x + 220. Is m >= 74?
True
Let v(u) = -7420*u**2 - 10*u - 10. Let t be v(-1). Do t and -7421 have the same value?
False
Suppose 0 = -217*c + 212*c - 20. Let s(r) = 3*r**2 - 3*r. Let h be s(2). Let z be ((-552)/324 - c/h) + 1. Which is bigger: 1 or z?
1
Let d = 3 - -12. Suppose 0 = 7*x - d*x + 1128. Which is smaller: 140 or x?
140
Suppose -14 = -13*g - 1. Let m(d) = 7*d**3 - d**2 - d. Let z be m(g). Suppose 14 = -4*u + z*u - 4*b, u + 4*b + 18 = 0. Is -9/11 at most as big as u?
False
Suppose 51*x + 80 = 55*x. Suppose 0*a + x = -2*a - 5*j, -j + 23 = -5*a. Let w = -8 - a. Which is bigger: w or -4?
w
Suppose -5*v - d = -3, v - 5943*d + 5940*d + 9 = 0. Which is bigger: 19/75 or v?
19/75
Let r = -76 + 124. Let q = 106 + -110. Is r at least as big as q?
True
Suppose -34 - 254 = 12*r. Let s be -2*4/6*(-18)/r. Let o be s*36/15 - (0 - 3). Which is greater: o or 2?
2
Let s = -638.17 + 638. Let v = s + 3.87. Which is smaller: 2/15 or v?
2/15
Let z = -45037 + 1125563/25. Is z < 0.1?
True
Let c(r) = 7*r + 29. Let o(a) = -140*a - 581. Let q(k) = -119*c(k) - 6*o(k). Let g be q(-6). Which is smaller: g or -8?
-8
Let a be ((-1)/(-2))/((243/12)/9). Let w = 67.9 + -9.9. Is a less than w?
True
Let d = -0.57 - -10.97. Let y = d - 5.5. Let o = 5.2 - y. Is 0.06 >= o?
False
Suppose -6*f = 4*f - 48410. Suppose 18*b - f = -1547. Do 183 and b have different values?
False
Let y(h) = 14*h**2 - h. Let q be y(-1). Suppose -504*i + 509*i = -40. Let z(l) = l**3 + 8*l**2 - 5*l - 24. Let k be z(i). Which is smaller: k or q?
q
Let b be 1/((-11)/(-110)) + -6 + -4. Is 289.1 greater than b?
True
Let h(l) = -13*l - 1. Let y be h(-7). Let j = -106 - -111. Suppose j*n - 255 = -y. Is 33 at most as big as n?
True
Suppose -34*w = 1131 - 4089. Let p = -85 - -87. Is p greater than or equal to w?
False
Suppose -72 - 4 = 2*a. Let o be (-15)/(3/(-77)*-11). Which is smaller: a or o?
a
Let x be (-11304)/(-157)*125/(-4). Is 2 greater than or equal to x?
True
Let o = -1105.28 + 1081. Let q = 24.7 + o. Is -1/4 > q?
False
Let v = -14 + 17. Let g be 18/8 - v - -1. Let r be 2072/1568 + (-3)/4. Which is smaller: g or r?
g
Let n be (0 - -1)*(-1 - -1). Let x be (-1 + (-254)/29)/(9/(-17)). Let a = x - 166/9. Is n at least as big as a?
True
Let h be ((10/(-15) + 0)*6)/34. Let f = -0.13 + 0.059. Let n = 0.029 - f. Is n >= h?
True
Let n(m) = -366*m - 10249. Let w be n(-28). Which is smaller: w or -107/59?
-107/59
Let s be (-2 + -64 + 2)/1. Suppose 4*k = 2*c - 1 + 5, 5*k - 11 = 4*c. Let z be 16/s + (-21)/c. Is z < 5?
False
Let s = 2762/5 - 5747732/10405. Which is greater: s or -1?
s
Let n = -623008/9 - -69139. Let t = 84 + n. Let b = 47 + -44. Are t and b non-equal?
True
Let u be (-15645)/(-155) - 20/(-310). Let f be (-5)/20 + (-818)/(-8). Which is greater: f or u?
f
Let h be 0/5 + (-30448)/20. Let f be 1527 + ((-2)/(-1))/2. Let r = h + f. Which is smaller: -0.1 or r?
-0.1
Let l be 264/(-160)*1450/75. Which is smaller: l or 1?
l
Let x = -268 + 518. Let j = x - 339. Which is smaller: j or -1/3?
j
Suppose x + 2*j - 6 = 10, 0 = x - 5*j - 30. Let w = 10 - x. Let f(g) = -6*g**2 + g. Let n be f(-1). Which is bigger: w or n?
n
Let m = 321 - 323.36. Let g = m - -2.27. Is -0.9 at least as big as g?
False
Suppose 0 = 3*y + 3*d - 138, 4*y + 0*y - 211 = 5*d. Suppose -4*v - 5*b + y = 0, -5*v + 5*b + 0 = -5. Suppose -2*u = -v*u. Which is greater: -4/3 or u?
u
Let c be (-171748)/52 + -7*(-8)/(-364). Are -3302 and c equal?
False
Suppose 3*s + 1 = 4, -2*s = 5*l - 27. Let i be ((-54)/(-6))/(l/(-1)) + 1. Which is greater: -2 or i?
i
Suppose 2*q = 4*c + 104, -c + 17 - 15 = 0. Suppose 0 = 2*b - 5*b + 171. Suppose b = a - 0*a. Is q at least a?
False
Let h(d) = -2*d**2 - 166*d + 168. Let u be h(1). Do u and -15/844 have the same value?
False
Suppose 11366 = 93*q - 9094. Which is bigger: 222 or q?
222
Let v = 11753/4 + -2938. Which is smaller: 23 or v?
v
Let r(q) be the second derivative of -q**4/12 - 2*q**3 + 4*q**2 - 5*q + 3. Let p be r(-13). Which is smaller: -8 or p?
-8
Let u be 0/((-45)/(-5))*(1 - 4/8). Are u and 1/2191 equal?
False
Let h be (-54)/45*(-4450)/30. Is 174 != h?
True
Let v = -441 + 446. Suppose a + v*j - 137 = 0, -3*a + 6*j - 4*j = -326. Is 112 smaller than a?
False
Let f(s) = 15*s**2 - 23*s + 77. Suppose 0 = 3*k + 2*o - 11, -4*k + 8 = 5*o - 2. Let v be f(k). Which is smaller: 339 or v?
v
Let v(h) = -h**3 + 3*h**2. Suppose -5*o - 13 = -3*y, -3*y + 3 = 2*y + o. Let u be (20/6 + (-2)/6)*y. Let q be v(u). Is q bigger than -2/57?
True
Let f = 16 + 159. Let z = 156 - f. Is -16 at least z?
True
Let w(p) = 12*p**2 - 44*p + 60. Let m(k) = k**2 - 2*k + 1. Let d(h) = 10*m(h) - w(h). Let x be d(12). Which is greater: x or -51?
x
Suppose l - 2*w - 314 - 111 = 0, -3*l = 4*w - 1255. Let d = l - 416. Does d = 76/17?
False
Suppose 0 = -d - 3*a + 240, 2*a + 687 = -2*d + 5*d. Let f be ((-448)/190 - -2)/(d/3220). Let c = 160/57 + f. Is c greater than -2?
False
Let i = 85.5 + -86.5. Is i bigger than -5.522?
True
Let i = -136898 - -2099057036/15333. Which is bigger: i or 1?
1
Let x = -0.512 - -0.656. Let u = -0.044 + x. Is 67/2 at most u?
False
Suppose 875*c = 881*c. Does 1/93 = c?
False
Suppose 23*t = 26*t - 1284. Suppose 2*k + 148 = t. Is k greater than 140?
False
Let k = 183 + -183. Suppose k = -36*c + 10 + 26. Let y be ((-9)/(-726))/(6/8). Do y and c have the same value?
False
Let g = -43303/14 - -3092. Which is greater: g or 1/22?
1/22
Suppose 194*u - 92*u - 2754 = 0. Which is greater: 114 or u?
114
Let q = -477 + 473. Let j be ((-1308)/108 + 12)*q/(-2). Which is greater: -19 or j?
j
Suppose -23*w = -32*w - 567. Let a be 124/(-6)*(5 + -2). Is a less than w?
False
Suppose 152 = -4*o + 8*o. Let q = 32 - o. Let j = 8 - 15. Is j greater than or equal to q?
False
Suppose 1001 = -5*n - 5*u + 406, -5*n - 571 = -u. Let w = -116 - n. Is w at least -2/261?
False
Let i = 153 - 294. Let k(c) = -2*c**2 + 266*c - 2826. Let q be k(11). Is i <= q?
False
Let n be (48/18)/(18/(-27)) + 15/3. Let h = -143 + 243. Suppose 0 = o + 3*o - h. Which is smaller: n or o?
n
Let r = 16.5488 - -0.0312. Let a = r + 0.42. Let k = -15 + a. Is -2/9 greater than or equal to k?
False
Let y = -148/63 + 1/63. Suppose 3*t - 3*a = 4*t - 16, 160 = 5*t - 5*a. Suppose 14*s + t = -14. Which is smaller: s or y?
s
Let m = 109.47 - 0.47. Let n = -11 + m. Let z = n - 100. Which is smaller: -6 or z?
-6
Let g(z) = z**2 - 19*z + 44. Let i = 167 + -150. Let d be g(i). Is 7 less than d?
True
Let i = 270225 - 1343772/5. Is i smaller than 1470?
False
Suppose -7 - 233 = 5*v. Suppose 24*t + 3*w = 25*t + 67, 4*w - 118 = 2*t. Is t at most v?
False
Let f = 762077/1441665 - 156/295. Is f bigger than 0?
False
Let z(c) = 9*c**3 - c. Let u be z(1). Let y be 4/78*4/u. Let a = -31/312 - y. Do 2 and a have different values?
True
Let t = -214172/5 + 42834. Let g = 10 + 4. Which is smaller: t or g?
t
Let q = -17 - -321. Suppose 19*t = 3*t + q. Is 7 != t?
True
Let k = -1439 + 1461. Which is smaller: -1/6 or k?
-1/6
Suppose -3*w - 2*a = 15953, -4*w - 21272 = -665*a + 668*a. Is w <= -5316?
False
Suppose -319 + 79 = -a. Let h = a - 34322/143. Which is smaller: 0 or h?
h
Let b = -761 + 758. Let u = 61 + -105. Let t = u - -219/5. Which is greater: b or t?
t
Suppose 474 = -j + 5*g - 28, -3*j - 1406 = 5*g. Which is greater: -478 or j?
j
Suppose -18*s + 24*s = -72. Let m(o) = 15*o + 178. Let q be m(s). Which is greater: 43 or q?
43
Let c = -218.22 + 215. Let z = c + -137.78. Is z <= -