h is smaller: 0 or m?
0
Let v = -18503.4 + 18493. Let l be 1 + 1 + (-3)/2. Which is greater: l or v?
l
Let o = -44.926 + -0.074. Let a = o - -50. Let y = 6 - a. Is y < 0?
False
Let v = -3285.8 - -3286. Is 203/2 < v?
False
Suppose 1651 = 3*s - 2*u, -4*u + 430 = s - 153. Which is bigger: 556 or s?
556
Let u = 9256 - 9254. Do u and -19/119 have the same value?
False
Let z(o) = -o - 1. Let n be z(-9). Suppose -n*c = -4 - 12. Is c less than or equal to -4?
False
Let y = -7009 + 6939. Which is smaller: -39 or y?
y
Suppose -3*o = -4*z + 2192, o - 5*o - 2918 = -3*z. Let p be 0 - 1 - 2/(o/324). Which is bigger: p or -2/3?
p
Let t = -244 + 246. Let h be t*(4 - (-4 - 34/(-4))). Which is greater: 115 or h?
115
Let f be (((-21)/(-9))/7)/((212 - -1)*-1). Do f and -1 have the same value?
False
Let d(l) = -2*l**2 + 21*l - 10. Let q be d(8). Let u(r) = -r**2 + 2*r + 19. Let h be u(-8). Let x = 90 + h. Which is smaller: x or q?
x
Let x be (8/12)/(11/3). Let p = 5.6 + -5. Let z = 1.6 - p. Which is smaller: z or x?
x
Let i = -28685 + 28675. Let v(d) = -d**3 - 6*d**2 - 3*d - 1. Let h be v(-5). Are i and h nonequal?
True
Let r(g) = -7*g + 15. Let u be r(6). Let w = u + 35. Suppose b = w*b - 42. Which is smaller: 4 or b?
4
Let z = -57 + 156. Suppose 2*a + z = 35. Do -33 and a have different values?
True
Let o = 709/19 + -292665/7847. Which is smaller: o or 0.02?
o
Let p(o) = -62*o - 44. Let v be p(-4). Let k = -2268/11 + v. Which is greater: k or -1?
-1
Let f be (5/1680)/(3/(-569)). Let v = -4/7 - f. Is 0 at least as big as v?
True
Let z(v) = -v**2 - 10*v + 404. Let h be z(17). Let m be 10/h - 380/330. Let p be 2/3*6/(-2). Which is smaller: m or p?
p
Let q be ((-1)/4890*6)/(4 + -2). Is q at least as big as -1?
True
Suppose 0 = -5*p - 1 + 6. Let z be (1 - (-4)/(-6))/p. Let g = -4.83239 + 1.83239. Is g at least z?
False
Suppose 0*s - n = -2*s + 70, 2*n = 5*s - 174. Suppose -2*a + s + 6 = 0. Let u be (4/a)/((-12)/10). Is u < -3?
False
Let i = -11.213 - -11.113. Are i and -4788 equal?
False
Let t = -54 - -57. Suppose -4*r - 1 = t*w, 0 = w - 7*r + 2*r + 13. Let x be w*1/(-12) + -2. Is x greater than or equal to -3?
True
Let z(b) = -4*b**3 - 5*b**2 + 7*b + 2. Let o be z(-3). Suppose -o*v - 1395 - 893 = 0. Let u = -0.3 - -0.1. Is u > v?
True
Let n(r) = -r**2 + 6*r + 5. Let x be n(5). Suppose u = 6*u - x. Suppose -2*w + u*f = 3*w + 71, -2*f = -4*w - 58. Which is greater: -11 or w?
-11
Let y(g) = -18*g + 4418. Let l be y(110). Which is smaller: l or 2436?
2436
Let l = 21 + -29. Let p = -25 - l. Let c = -34/61 - -41/183. Is c smaller than p?
False
Suppose 2*w - 77 = -o, -12 = -w + 5*o + 43. Let n(z) = -z**2 + 14*z - 6. Let t be n(9). Let x = w - t. Which is bigger: -1/7 or x?
x
Let g = -5.158 + 5.458. Are -776 and g unequal?
True
Let k = 4970 + -4971. Let v = -805885/177 - -4553. Which is smaller: v or k?
k
Suppose 6*y = 7*y. Suppose y*v - 28 = -3*v + i, 2*v + 5*i = 13. Let z(s) = -2*s. Let u be z(v). Does -17 = u?
False
Let g = 32841954682/41151 + -798084. Which is smaller: 0 or g?
g
Let i be (-62)/5 + (-6)/(-15). Let w(v) = 22 + 2*v**2 - 48 + 19*v + 16 + 3*v. Let m be w(i). Which is smaller: 2 or m?
2
Let d = -428 - -4223. Do 3797 and d have the same value?
False
Let t be 572/(-1872)*(-32)/132. Let o be (-1)/(-4) - (-242)/(-8). Let g be 5/2*8/o. Which is bigger: t or g?
t
Let i = -943843/21407369211 + 1/448031. Which is bigger: i or -1?
i
Suppose 3*u + 3*h = 0, -2*u + 6*h - 4 = 10*h. Suppose -17 = u*l - j + 1, -2*l - 10 = j. Do 9 and l have the same value?
False
Let g = 5371 + -5370. Is g smaller than 2674?
True
Suppose -369 = -5*r + 381. Let v be (-9)/(27/r)*(-2 - -1). Let y = -42 + v. Which is smaller: 15/2 or y?
15/2
Let m = -6.1829 - 2.8171. Let l = -0.9 + 3.9. Is m greater than l?
False
Let c be 200/(-10500)*8/2. Is c <= 0?
True
Suppose -4*f = f - 945. Suppose 2*u - 3*k - f = 17, -4*k + 16 = 0. Which is greater: 111 or u?
111
Let i = 16 + -53. Let z = i - -41.2. Let p = 4.3 - z. Is -0.08 equal to p?
False
Let n be 441/33 + (-52)/143. Suppose n - 68 = 11*u. Which is greater: -38/9 or u?
-38/9
Let l = -1451 - -1459.9736. Let x = l - -0.0264. Is -1.5 at least x?
False
Let k = 10.302 - 10.402. Let c = 141.745 - -0.255. Is k at most c?
True
Let o be (2*(4 + -3))/(18/27). Suppose g - 3*a + 64 = 0, -o*a + a = -10. Which is smaller: g or -50?
-50
Let t = 21970 - 21967.7. Which is bigger: t or -1/113?
t
Let u = -0.037 + -0.963. Let i be (-44)/(-55)*37/(-4). Let b = i - -79/10. Which is smaller: b or u?
u
Suppose -5362*u = -5347*u + 180. Let o = -2 + 2.03. Which is smaller: u or o?
u
Let j = -7912 - -9134. Is j greater than 1222?
False
Let u be 106 + (-8)/(-4 - 0) - -1. Suppose 0 = -l - 22 + u. Let n = 262/3 - l. Do n and -37 have the same value?
False
Suppose 0 = 126*x - 40*x + 130634. Is x at most as big as -1519?
True
Let g = 319 - 288.44. Let r = 2.56 - g. Which is smaller: r or -0.3?
r
Suppose 3*o + 33 - 84 = -5*g, -g = 3*o - 39. Suppose -o + 13 = -i. Let p be (-7)/(-42) - i/(-18). Is p at most as big as -1?
False
Suppose 3*v = -1 + 22. Suppose 19 = 2*f - v*f + 4*t, 2*t - 2 = 0. Let h be ((45/24)/f)/(4/56). Which is smaller: -8 or h?
h
Suppose 22*r - 17*r = 2*w + 5, 3 = 5*w + 3*r. Which is bigger: w or -2/7213?
w
Let k = -7464 - -7461. Is k bigger than 41.5?
False
Let n(m) = -m**2 + 6*m + 12. Let k be n(6). Suppose 9*b - 6 = k. Suppose w + 2*a = -12, 3*a - 8*a = b*w + 26. Which is smaller: w or -2/9?
w
Suppose -785 = 5*o - z, -3*o = -2*z + 652 - 188. Let r = -0.0086 + 0.0086. Which is smaller: r or o?
o
Let r be 336/(-1120) + 10273/34310. Which is smaller: r or 0?
r
Let s be (0 + 1)*(-22)/(-99). Is 11 >= s?
True
Let c(u) = 3*u**2 + 9*u - 33. Let a be c(3). Let b = a - 13. Let q = 10 - 4. Which is smaller: b or q?
q
Let d = 3737 + -3737. Is 0.532 > d?
True
Let c(o) = -4*o + 1. Let g be c(0). Suppose -5*p - 3560 = 3*x, 2008 = -4*x - 3*p - 2757. Let r be (-3)/(-12) + (4 - x/(-280)). Is g less than or equal to r?
False
Let d(h) = 2*h**3 + 134*h**2 + 135*h + 371. Let y be d(-66). Suppose 2*x = -212 + 558. Is x greater than or equal to y?
True
Let h = -1.4 - -1.48. Let n = h - -38.92. Let u = -48 + n. Is 0.1 at most as big as u?
False
Let v = -24 - -24. Let f be v + (-45)/294 + (-2)/(-12). Is f less than -1?
False
Let o(r) = -55*r**3 + 3*r**2 + 6*r + 2. Let f be o(-1). Let y = f + -79. Is -1 greater than y?
True
Let l(u) = -u**3 + 8*u**2 + 2*u - 13. Let t be l(8). Suppose -2 = -t*j + 2*b - 5, j = -4*b + 13. Do j and 9/16 have different values?
True
Let s(b) = -95*b + 570. Let y be s(6). Let z = 15937/46 + -695/2. Let o = z + 124/207. Is o >= y?
False
Let o = 302 - 585/2. Let b = o + -10. Is -20 smaller than b?
True
Suppose 0 = c, -60*n - 2*c = -59*n + 1. Which is greater: n or -7.76?
n
Let k = 44 + -42. Suppose -3*h + 191 = 5*f, k*h + 55 = f - 3*h. Suppose -n - 9*n = -f. Is n greater than or equal to 13/4?
True
Let l be 5/(20/7) - 2. Let d = 14.3 + -3.2. Let j = 2.9 + d. Does l = j?
False
Suppose 0 = -20*l + 11*l + 126. Suppose 11*m = 7*m + 44. Let s = m + 4. Which is smaller: l or s?
l
Let h = -4956 + 4957. Which is greater: h or 1745?
1745
Let g(a) = -a**2 - 11*a + 29. Let h be g(-13). Suppose -6 = h*d + 4*x, -5*d + 0*d - x + 7 = 0. Which is smaller: d or 7/12?
7/12
Suppose -93*z + 12*z = 59*z - 47040. Is 330 at most z?
True
Let l = -55710/5272567 + 16/1607. Is 1 greater than or equal to l?
True
Let r(y) = -98*y**3 - 11*y**2 - 39*y - 27. Let x be r(-1). Which is smaller: x or -66?
-66
Let l = 8679/5 + -1735. Which is smaller: l or 3/7?
3/7
Let c = 125 + -75. Let r = c + -49.7. Let x = r + 0.3. Is -0.1 < x?
True
Let k be 3/(2400/(-1598)) - -2. Let g = -0.017444 + -0.082556. Which is greater: k or g?
k
Let b = -21 + 25. Let f be (b/(-6))/(60/3195). Let c = f + 46. Is 12 >= c?
True
Let c(r) = r**2 - 57*r - 1943. Let b be c(-24). Which is smaller: b or -12/541?
-12/541
Suppose 0 = 39*a + 14807 - 41405. Is a != 684?
True
Let w(z) = 32*z**2 - 195*z + 592. Let r be w(3). Is 295 at most as big as r?
True
Let i = 79 - -196. Suppose 0 = 9*f - 23 + i. Is -28 >= f?
True
Let r be 4042/(-470) - (2 + -5 + 0). Suppose -i + 5 = 0, -f - 2*f - 3*i + 3 = 0. Let q = f + -2. Which is greater: q or r?
r
Let p be 4/((-2)/(-9) - (-10976)/(-31248)). Do -0.13 and p have the same value?
False
Let s b