k < 0.19?
True
Suppose 0 = -13882*f + 13891*f - 27. Is f != 15?
True
Let w = -513 + 513. Is w less than 1/252?
True
Suppose -23*f + 22*f = 1. Let o be ((-1 - 324)/5)/(0 - f). Let z = o + 65. Is -9 at least z?
False
Let w be 622/1221 + (6/11)/(-17 - -16). Which is bigger: -2.7 or w?
w
Suppose -3*t = -9, 3 = -m - m + 3*t. Suppose 2*y - 2*f = -4, 4*y + 3*f - 21 = 2*y. Let p = m + y. Is -2/7 greater than or equal to p?
False
Let q = -2366.9 + 2600. Let b = q - 233. Which is smaller: b or 433?
b
Let b = 1760.84 + -41.84. Does b = 0.1?
False
Let i = 3412.058 + -3412. Is i > 0?
True
Let j be -3 - -1 - (-7 + 6). Let h be j - -1*(-18)/(-3). Suppose 7 = 3*s - 3*d - h, -4*s + 2*d + 16 = 0. Which is smaller: 2 or s?
2
Let b = 1421/171 + -27/19. Let a = b + -32/9. Let y(i) = 523*i - 11504. Let h be y(22). Do h and a have different values?
True
Let r = -181.848 + -0.152. Let t = -270 - r. Let q = t + 89. Do q and 22 have the same value?
False
Let g(t) = t**2 - 202*t + 6294. Let y be g(161). Which is smaller: y or -340?
-340
Let w = -13186 - -13280. Is 98 bigger than w?
True
Let d = 29 - 29.48. Let h = 0.66 + d. Let v = -0.02 + h. Is 1 != v?
True
Suppose 0 = 2*r + r + 1380. Let u = r + -268. Let h be 1*-2 - u/360*1. Which is bigger: 0 or h?
h
Let f = 134 - 198. Let i = f - -111. Let l = i + -46.9. Is 21 != l?
True
Let m = -232 - -243. Suppose -x - m = -12. Is 2/67 <= x?
True
Let h be (-1006)/3521*(-1631)/(-13). Which is smaller: -37 or h?
-37
Suppose 3*h = 4 + 62. Suppose -4989 = 19*w - 5350. Does w = h?
False
Let x(d) = 3*d - 2. Let f(q) = 25*q - 71. Let n(s) = -f(s) + 5*x(s). Let p be n(6). Which is smaller: p or -7/123?
-7/123
Let w be (-12)/(-9)*180/(-8). Let l be w/(-9) - (-6)/(-18). Let n = 3 - l. Is 2/17 less than n?
False
Let s = 30638 + -30593. Which is bigger: s or -409?
s
Let c = -6634553105681544/5344836962569 - 364400/57073081. Let z = c + -16704/1319. Let b = 1254 + z. Which is greater: b or 0?
b
Let k be ((-10)/(-24)*9)/((-270)/(-75960)). Are 1053 and k equal?
False
Let a = -3276 - -16382/5. Is 7574/11 bigger than a?
True
Let p be (-6260)/(-7) - 12/(-15)*(-470)/(-658). Is p less than 896?
True
Let s = 0 + 0. Suppose -740 = a - 6*a. Let w be a/24 + 4*(-2)/12. Is w equal to s?
False
Let n = 5163 + -5163. Is n less than or equal to 0.0659?
True
Let c be (-1068)/96 + 11 + (2 - 2214/1360). Is c less than 0.03?
False
Suppose -3*d - 2*t + 1674 = 0, 5*t = 3*d - 1382 - 313. Let k be 17*-6*(-1 - (-351)/(-78)). Is k > d?
True
Let y be (-9)/(-21)*(-139502)/627. Let w = y - -673/7. Which is greater: 2 or w?
2
Suppose 38 = 3*z - 16. Let u be 4/6*(-729)/z. Suppose 4*x + 84 = 4*q, -5*q = -x + 1 - 2. Which is smaller: x or u?
u
Let c be (11875/142 - 1)*12. Let l = c - 195123978/196741. Let r = l - -4/163. Which is greater: r or -1?
r
Suppose 143938 + 48962 = 12*a. Which is bigger: a or 16074?
a
Let u be 117/78*(-1 - (254/(-66) - -3)). Which is greater: -0.1 or u?
-0.1
Let y(x) = x**2 + 26*x - 856. Let f be y(19). Let z be 1*(2 - (-90)/(-44)). Which is smaller: f or z?
f
Let u(n) = -2*n**2 + 16. Let j be u(0). Let r(v) = -v - 59. Let o be r(j). Which is greater: -72 or o?
-72
Suppose 14*r - 5766 = 1276. Suppose -3*u + 2*g + r = -0*g, 3*u - 517 = -5*g. Which is bigger: u or 168?
u
Let s be (10/(2*-1))/(10/(-4)). Suppose -499 = -3*r + s*p, 0*r - 4*p = 2*r - 354. Are r and 169 equal?
True
Let a = -30 + 29.97. Let u = 0.16 - a. Let j = u - 0.29. Is j bigger than 0.4?
False
Let i = -8 - 2. Suppose 4*w - 17 = g, -w - 4*g + 17 = -0*g. Suppose -w*b = -4*t - 47, 0*t - 2*b + 14 = -t. Are i and t nonequal?
True
Let v be (-1 + 276348/276346)*546/78. Which is smaller: v or -1?
-1
Let u be 1005/(-67) + (-204)/(-14). Is -138 > u?
False
Let k = -182 - -380. Is 197 at most k?
True
Let n be ((-986)/496 - -2)/((-399)/532). Which is smaller: n or 4/51?
n
Suppose 0 = -g + 5 + 4. Let l = 4 + g. Let o be (-1520)/1216*56/(-6). Which is smaller: o or l?
o
Let j(y) be the second derivative of -y**4/4 - 23*y**3/6 - 7*y**2/2 - 222*y. Let o be j(-7). Which is smaller: 12 or o?
o
Let a be 3/((-6)/16) - 0. Let f be 2/((-64)/31) - 84/(-112). Let b = f + -233/32. Which is smaller: b or a?
a
Let w = -8967 + 8386. Is w equal to -584?
False
Let q be (1305/(-29))/(26/(-4)). Which is smaller: q or -4/11?
-4/11
Suppose 5*o + 2990 = 4*l + 902, 5*l - 2623 = 3*o. Let x = 540 - l. Is x at most as big as 16?
True
Let x = -9918 + 10317.9. Let d = 400 - x. Which is smaller: 8.2 or d?
d
Let t = 12200 - 14284. Which is smaller: t or -2083?
t
Suppose -6*x + 101 = 77. Let i be (-35)/21*x - (-2)/3. Which is bigger: -29 or i?
i
Let d(v) = 103*v**2 - 17*v + 37. Let y be d(2). Which is smaller: 419 or y?
y
Let c = 3151/47 + -67. Let p = -986 - -989. Which is greater: p or c?
p
Let d be 64/6 + (-2)/6. Suppose 0 = -218*x + 221*x. Suppose 4*c - 7*y = 68, -2*c - 5*y + 7*y + 28 = x. Which is smaller: d or c?
c
Let a(i) be the second derivative of -i**5/30 - 23*i**4/24 + 2*i**3 + 12*i**2 + 20*i. Let q(u) be the first derivative of a(u). Let y be q(-12). Is y < 2/115?
True
Let a = 4.52 + -1.52. Suppose -2*l = -4*l - 38. Let g = l + 93/5. Are a and g nonequal?
True
Let x = -5 + 7. Let n(p) = -16*p**2 - 18*p**x - 7 + 33*p**2 - 6*p. Let h be n(-5). Which is bigger: h or -4/5?
-4/5
Suppose -2 = -5*y + 3*w, 0*y + 4*w = y - 14. Let k be 1/(7/y + 4). Suppose 0 = -4*t + 3*b - 28, -3 - 9 = 5*t + k*b. Which is bigger: -1 or t?
-1
Suppose 0 = -z, 42*g - 40*g + 3*z = 8. Suppose v = 5*w + 3*v - 18, -4*w - 2*v + 14 = 0. Suppose f - w - g = 0. Which is greater: f or 6?
f
Suppose -60 - 9 = 3*c. Let x = c + 24. Let u be (-315)/294*x*2. Which is bigger: u or -1?
-1
Let n = 244.75 - -0.25. Let f = -245.2 + n. Is f less than -10/11?
False
Suppose -i - 5*w = -139, 0 = -5*i - 5*w + 648 + 47. Is i smaller than 1804/13?
False
Let u = 35 + -196/5. Suppose 305 = -c + 2*v, 3*v - 618 = 2*c + v. Let y = -318 - c. Which is smaller: y or u?
y
Let h be ((2 + -10)/(-48))/((-4)/(-6)). Which is greater: h or 3501?
3501
Let z = -6357 - -6356.9. Which is bigger: z or -0.264?
z
Let j = 8409 + -9286. Which is smaller: j or -2629/3?
j
Let u = 0.22355 - 7.22355. Which is smaller: 25.4 or u?
u
Let b(j) be the third derivative of -j**6/120 + j**5/4 + j**4/12 + 89*j**3/6 - 54*j**2 + j. Let z be b(17). Is -455 at most z?
True
Let j = 9975.9 - 9976. Let k = 41.3 - 42. Which is smaller: j or k?
k
Let q = 67 - 63. Suppose 3 = -3*s, -2*t - 6 = -q*s - 12. Which is bigger: 3/209 or t?
t
Suppose d = -r - 3*d + 497, -5*r = -2*d - 2419. Suppose 487*g - r*g - 108 = 0. Which is smaller: 55 or g?
g
Let z = 15950 + -16550.48. Let r = -598 - z. Which is smaller: r or 2?
2
Let b = -5597 - -5597.02. Which is greater: -0.047 or b?
b
Let t = 4441 - 4430. Is 147 > t?
True
Let i be (284/(-3550))/((-1)/2965). Which is smaller: i or 236?
236
Suppose 12 = -2*u - 2*u, -3*r = -4*u + 2589. Let w = -868 - r. Let x be -2 + 4 + 29/(-12). Which is greater: x or w?
x
Let a be (2 + 18/(-5))/(24258/(-195)). Is -17 at least as big as a?
False
Suppose 3*u = 3, -3*a - u - 35 = -7*a. Let k be ((-4)/(-36)*a)/((-1)/(-20)). Are 19 and k unequal?
True
Suppose -5*q + 936 = 5*d - 294, 5*d - 4*q = 1194. Let h = d - 4117/17. Are h and 1 unequal?
True
Let s be (58/(-8) + 6 + -1)*-32. Suppose 0 = -75*v + s*v + 390. Is 129 greater than or equal to v?
False
Let t = 266.1 - 295. Let c = 98.1 - t. Let p = -182 + c. Which is smaller: -1 or p?
p
Let l = -0.00974 + 1092.00974. Which is bigger: 1/3 or l?
l
Let m = -90/11 - -1148/143. Suppose 277*b - 289*b = 60. Let r(a) = a**2 - 10*a - 74. Let j be r(b). Is m greater than j?
False
Let y(u) = -u**2 + 10*u + 24. Let s be y(-3). Let r be -1 - (-6)/s - (-8)/8. Is 0.1 greater than r?
True
Let g = -21 + 45. Let n = 4081 - 3915.1. Let b = n - 166. Which is smaller: b or g?
b
Let m = 31/114 + -2/19. Let w = -17465 + 17464. Which is bigger: w or m?
m
Let r(g) = g**3 + 6*g**2 - 6*g + 1. Let y be -4 + 8/1 - 0. Let v be (-3)/(-4) + ((-31)/y - 0). Let l be r(v). Is l > -1?
False
Let p = -49.0371 - -0.0371. Let o = p - -50. Is -13.6 greater than o?
False
Suppose -2*r = -0*r. Suppose -2*o + 38 = 28. Let f be (-1)/o*((-5)/(-10) - -2). Which is bigger: r or f?
r
Let o = 19712027/641 - 30752. Which is smaller: 2/3 or o?
o
Let i be (19/76)/(3/(-12)). Let w be (-4 + 2)*i + -42. Is -4