*h + 42*k + 854, 2*h = 5*k + 320. Which is smaller: 0.1 or h?
0.1
Let s = -519/13 + 1077/26. Are s and 1/1179 non-equal?
True
Let k be (4/(-3))/((-1)/(-3)). Let l(q) = -q**2 + 12*q + 123. Let m be l(20). Let h = m + 34. Is h at least k?
True
Let x = 46/3 + -97/6. Let o = -8 - -11. Suppose -o*h = 42 - 39. Which is smaller: x or h?
h
Suppose -3*v + 9 + 1 = -4*m, -5*v + 32 = m. Let i be (v - 18/4)*(-4)/(-2). Let d be (i - 1) + (-56)/26. Which is smaller: d or -2/7?
-2/7
Suppose -4*n = 4 - 0. Let r = -0.006 + 0.141. Let c = -0.015 + r. Are n and c equal?
False
Suppose -580 = -2*f - 4*s, 3*f = 5*s + 744 + 104. Do f and 286 have different values?
False
Let i be 1935/344*(-408)/(-10). Let t(v) = -v**3 - 4*v**2 + 6*v + 23. Let x be t(-8). Is i < x?
True
Let z be (-473)/(-22) + -23 + ((-13917)/(-10))/3. Which is greater: 463 or z?
463
Let p be 3408/(-13464) + 2/(-22) - 3. Let x = -2/187 - p. Let d = 7 - 4. Which is bigger: d or x?
x
Let r be (1 - 8)/(3/(-3)). Suppose 4*a = r*a - 225. Do -1 and a have different values?
True
Let s(c) = 2*c**2 - 3*c - 2. Let q be s(3). Let a be (-24)/(-14) - (-2)/q. Let l be -8*(-69)/(-782)*(-36)/27. Which is bigger: l or a?
a
Let h(p) = p**3 - 4*p**2 - 8*p + 18. Let l be h(5). Let x be ((-96)/(-112))/(l/14). Which is bigger: -0.15 or x?
x
Let h = -0.22 + 0.31. Let z = -656.881 - 0.119. Let a = z + 656.8. Which is bigger: h or a?
h
Let m be ((-9114)/(-357))/(16978/5). Let h = 1/653 + m. Suppose -3*o - 1 = -4. Is h less than or equal to o?
True
Let t(j) = j**2 + 11*j + 4. Let o be t(-9). Let g = 13 + o. Let d = 3375/14 + -241. Is d < g?
False
Let n be (1 - 905/907)/((-2)/(-6)). Which is smaller: n or 1?
n
Let l = 10377/2266 - 158/103. Is 2 < l?
True
Suppose 2*f = 3*f + 2*t - 106, -4*f - 4*t + 404 = 0. Suppose 3*z + 3*h - 1032 = 0, 238 = z - 4*h - f. Is z <= 342?
True
Let z = 301 + -301.0978. Let c = 0.0022 - z. Let h = -18 - 34. Are c and h non-equal?
True
Let d = -936364438/1173039 + 1/55859. Let f = d - -798. Let t = 40 - 40. Do f and t have different values?
True
Let p(y) = -y**2 + 53*y - 290. Let c be p(47). Let w = -20 + 23. Suppose 2*l - 5*z - w = 0, -4*l + 0*l - 9 = -5*z. Which is bigger: c or l?
l
Let k = -3.19 + 3.1. Let a = k - 4.41. Let d = -5 - a. Is d less than or equal to 4?
True
Let m = -95 + 86. Let z be (m - -96)*3/(-18). Is z smaller than -14?
True
Suppose 0 = -c + 5*o + 12 - 32, 95 = -4*c + 5*o. Let y be ((-920)/2760)/((-3)/(-414)*2). Which is bigger: c or y?
y
Let f be (7576/(-68))/((-26)/(-8)). Let x = f - -438/13. Is 0.1 less than x?
False
Let r(f) = -483*f + 18741. Let g be r(76). Is g equal to -17967?
True
Let z(o) be the second derivative of -o**4/12 - 4*o**3/3 + 2*o**2 - 9*o. Let v be z(-7). Let q(r) = r - 4. Let d be q(12). Is v at most as big as d?
False
Let l = -105442.7 - -105441. Let t = 8 + -1. Is t at least as big as l?
True
Let v = 333 - 364. Let o be v + -2 + 2 + -5. Is o less than -45?
False
Let p be (-1005)/(-4340) + 36/(-144). Which is smaller: 1.3 or p?
p
Let s = 425 + -400.1. Let l = s + -25. Let b = -0.62 - -0.65. Which is smaller: b or l?
l
Let z be ((-128)/(-24))/((-1)/((-12)/8)). Suppose -2*x + x = -z*x. Which is smaller: 1 or x?
x
Let n be (-246)/42 + (-16)/14 - (1 + -63). Suppose 234 = 4*w - 2*q, 3*w - 6*w + 2*q = -178. Which is smaller: n or w?
n
Let n(u) = -21*u**2 - 88*u - 14. Let p be n(-4). Is 26/19 < p?
True
Let k = -10 - -14. Suppose a + 2*p - 2 = 3*a, 0 = k*a - 2*p - 4. Suppose -3*w - 133 = -3*y + 8*y, 0 = a*y - 12. Which is bigger: -50 or w?
-50
Let j = 776 - 775. Is -2480 smaller than j?
True
Suppose -13*p - 67002 = 29*p - 16182. Is -1205 > p?
True
Let q = 4803 + -5043. Is q > -1196/5?
False
Let d(o) = o**3 + 4*o**2 - 66*o + 185. Let c be d(5). Which is smaller: 710/9 or c?
710/9
Let m = -74.202 + 74. Let o = m - -38.902. Let a = o + -38. Which is bigger: 2/19 or a?
a
Suppose -2*k + 41 = 183. Suppose 0 = -5*t + 4*z - 354, -347 = 5*t + 45*z - 42*z. Is t at most k?
False
Let h = -65 + -1127. Let l = h - -1196. Let v = -1 - -7. Does v = l?
False
Let q(p) = p**3 + 11*p**2 - 7*p - 13. Let y be q(-11). Let m be ((y/14)/4)/(5 - 7). Is 0.1 greater than m?
True
Let d = 28164407/15678 - 260248/201. Let m = d - 1505/3. Is 1 less than m?
False
Let d = -92658/7 - -13380. Which is bigger: d or 143?
d
Let b(r) = -28*r + 1388. Let k be b(65). Is k equal to -434?
False
Suppose -5*d + 88 = 4*g, -4*d - d + 2*g + 106 = 0. Suppose 0 = -d*w - 31 - 29. Suppose -2*t = -7*t - 3*q - 31, 3*q + 6 = 0. Which is smaller: t or w?
t
Let t = -684 + 2320. Suppose 0 = -w + t - 8076. Let d be (w/(-195))/(-8) + 4/1. Which is smaller: -1 or d?
-1
Let x be ((-3850)/18511900)/((-14)/(-12)). Is x bigger than 0?
False
Let v be (456/(-32))/((-3)/8). Suppose -n = -4*j + 4*n - v, 3*j - 2*n + 32 = 0. Let b(k) = -k + 11. Let l be b(22). Which is bigger: j or l?
l
Suppose -1929*i + 1889*i = -480. Let u be 4/6 + (-127)/(-12). Is i smaller than u?
False
Let i be (0/3)/(5 + -5 + 2). Let l(a) = 4*a**2 + 3*a + 1. Let w(h) = h**2 + h + 1. Let j(v) = l(v) - 5*w(v). Let u be j(i). Does u = -14?
False
Let g = -23719 + 23697. Is -275 at least as big as g?
False
Suppose -5*n + 134 = -2*h - 45, -123 = -3*n - 4*h. Suppose 0 = -n*r + 21*r - 912. Is r at most as big as -56?
True
Let f(h) = -h**3 + 32*h**2 + 8*h - 102. Let p be f(32). Suppose -g = -p + 182. Is g <= 0.4?
True
Suppose 25 = 5*h + 6*g, 0 = 15*h - 11*h - g + 9. Let z = 4116/113867 - 10/247. Is h at least z?
False
Let y be 9 + 11 - (-294)/(-14). Is -5/272 greater than y?
True
Let d(m) = m**3 + 9*m**2. Let k be d(-9). Let y = -1323261/256 + 5169. Is k <= y?
True
Let f = -5/13 - -43/78. Let t(u) = 10*u - 67. Let d be t(7). Suppose -3*p + 2*x - x - 5 = 0, 0 = d*p - 5*x + 13. Which is smaller: p or f?
p
Let q be ((-3)/(-4))/((-2)/8). Let f = q + 1. Let g = -11.566 - -7.566. Is g greater than or equal to f?
False
Suppose z + 2*g - 14065 = -4705, 4*z + g - 37489 = 0. Which is smaller: z or -1?
-1
Let s be 5/(-10)*2*2. Let t(n) be the second derivative of n**3/2 + 25*n**2/2 - 19*n. Let w be t(-14). Which is smaller: w or s?
w
Let a = -249.97 + -169.45. Let f = a + 419. Which is smaller: f or 4?
f
Let t = -91336753/1897 - -48148. Which is smaller: -1 or t?
-1
Let o be (1/(-3))/((-3)/27). Let k(u) = -u - 1. Let q(j) = 5*j**2 - 6*j + 1. Let t(b) = 5*k(b) - q(b). Let p be t(o). Which is bigger: -47 or p?
-47
Let j = -245 + 452. Suppose 0*v - 9*v = -j. Suppose v*n - 308 = 9*n. Is n at most 24?
True
Let c = 963 + -1446. Is -484 at least c?
False
Suppose 3*f = -2*f + 20. Let q be -10*((-27)/(-6) + -5). Suppose -5*c + 6*c + 18 = 3*h, -2*h = 5*c + q. Does h = f?
False
Suppose 3136 = 45*d + 11*d. Which is smaller: d or 16?
16
Let m(f) = 5*f**2 + 169*f - 267. Let p be m(-37). Are p and 326 equal?
False
Suppose 13 - 45 = -4*d. Suppose p = -15*k + 18*k - 4, 46 = 2*p + 3*k. Which is smaller: p or d?
d
Let n = 3807.2 - 3807. Which is greater: 6/313 or n?
n
Let b be 230/64*2*4/20. Let v = 1619/1104 - b. Let s = -43 + 44. Which is smaller: s or v?
v
Let k be (-353925)/(-14850) - (11/6 - (2 - 1)). Which is smaller: 297/13 or k?
297/13
Suppose -4*w + 34 = 258. Suppose -171*q - 5163 = 4242. Which is bigger: w or q?
q
Suppose 138*c = 31*c - 47*c + 1694. Which is bigger: c or -10/51?
c
Let c(m) = -m**3 + 9*m**2 - 8*m - 3. Let s be c(8). Let a(d) = -d**3 - 14*d**2 - 23*d + 22. Let q be a(-12). Suppose -n + 10 = -4*b + n, q = -3*b - n. Is b > s?
False
Let p = 147 + -131.9. Let d = 15 - p. Which is smaller: d or -34?
-34
Let z be 2/9 + (-66625)/142875. Which is bigger: z or 1?
1
Suppose 14*k + 137 = -17. Let f be 6/48*(-4 + k). Which is smaller: -1 or f?
f
Let y = -10 + 9. Let j = -1/181 + 2549/2715. Which is bigger: j or y?
j
Suppose -28*x = -32*x + 1340. Let k = 114 - x. Is k equal to -220?
False
Let v be (-424)/(-1197) - ((-12 - -18) + 119/(-21)). Is 0 >= v?
False
Let s be 2 + 1672/4 + 5. Suppose 5*n - 4*g - g = s, 0 = 2*n - g - 167. Does n = 81?
False
Let w(o) = -4371*o - 645. Let s be w(3). Are s and -13758 equal?
True
Suppose -3011 - 1290 = 23*m. Let g = 205 + m. Which is greater: g or 24?
24
Suppose 0 = -4*y - 3*z + 31, -6*y + 2*y = z - 21. Let w = -77 + 721/9. Is w not equal to y?
True
Let m = 0 - 0. Suppose m = -0*q + q - 4. Suppose 0 = -q*r - 2*f + 54, r - 3*f - 27 = f. Is r equal to 15