ch is smaller: z or 103?
z
Suppose 4*v - 26 = -3*u, 3*v = -4*u + v + 18. Let t = -122 - -143. Let n be (1/14)/(t/(-84))*-6. Which is greater: u or n?
u
Let d = -0.23 - -1.53. Let j = 1.4 - d. Are j and 1/2 equal?
False
Let f = 3486 - 3486.1. Do f and 281 have the same value?
False
Suppose -16 - 62 = -3*s. Suppose 3*t = s - 263. Let r = t + 79. Which is smaller: 12/11 or r?
r
Let q = 260 + -441. Let g = q + 194. Which is greater: g or -5?
g
Let t = -7.6907 + -1.3593. Is t at most as big as -7?
True
Let v = 364.293 - 3.293. Are v and -2 equal?
False
Suppose 0 = -5*j - 2 + 7. Let b be 18 + 274 - (-1 + 3). Let l = b + -1161/4. Is l at most j?
True
Suppose 0 = 3*q + 4*x - 1096, -53*x = -50*x + 15. Let s = q - 373. Let u = -3136 + 736958/235. Which is bigger: s or u?
u
Let y = -24716/15 + 8262/5. Which is smaller: y or 7?
y
Let l(a) = -a**3 + 13*a**2 + 17*a - 27. Let d be l(14). Suppose -d*i - 4 = -16*i. Suppose -i = h + 3*h. Is -1/46 at least h?
True
Let i = 6568/25001 + -2/1087. Suppose -4*d = -1 - 7. Suppose -f + 4 = -4*l, -d*f = -2*l - 2 - 0. Which is smaller: f or i?
f
Let m(s) = -4*s - 124. Let w be m(-25). Let b be w/27*(6/8)/(-3). Which is smaller: b or -42?
-42
Let h be 4347/12 + -2 - (-12)/(-48). Let o = h - 360. Is o > -7/10?
True
Suppose 19*f - 9*f = 30. Suppose -f = 2*t + o, -5*t - 3*o + 8*o = -15. Let a = -223 + 2907/13. Which is greater: a or t?
a
Suppose -2607*u = -2593*u - 18312. Do 1306 and u have the same value?
False
Let q = 3434 - 2914. Are q and 520 equal?
True
Let s(h) = 11*h**2 + 3*h + 9. Let i be s(4). Let u = i + -84. Are u and 113 non-equal?
False
Let n(i) be the third derivative of 31*i**4/24 + 79*i**3 - 257*i**2. Let m be n(-15). Is m at least 132/17?
True
Let k = -813299/1649 - -973/97. Let q = 28193 - 28676. Let d = k - q. Which is bigger: d or -1?
d
Let p be (3 - -22)*11/55. Which is smaller: p or 180/37?
180/37
Let p = 167 + -147. Suppose -27*y = -p*y + 385. Suppose 3*t - 4*i = -169, 3*t + 3*i = 38 - 200. Is t greater than y?
False
Let c = 85 + -356. Let s be 3774/(-14) + (3297/(-147) - -22). Which is bigger: s or c?
s
Let t(c) = 397*c + 5083. Let w be t(-15). Is 0.1 greater than w?
True
Let x be -504 + 45/(9 - 0). Which is greater: x or -495?
-495
Let t = 57757/30 - 1925. Suppose w = -2, -w + 2 - 4 = -3*h. Which is smaller: t or h?
h
Let h be ((-18)/(-12))/((-9)/1632). Let u = 270 + h. Which is smaller: u or -12/5?
-12/5
Suppose -3*h + 14 = -d - 7, 4*h + 11 = -3*d. Let p be d/15 - (-66)/10. Which is smaller: p or 29?
p
Let r = -41822527/1027 + 40723. Is 0 less than r?
False
Let y = -4490 - -291881/65. Let i = 3/130 + y. Let g = 29/124 + 1/62. Which is smaller: i or g?
g
Let c(x) = -x**3 + 2*x**2 + 7*x + 6. Let u be c(4). Suppose d - u = 1, -4*d - 20 = q. Which is greater: -33 or q?
q
Let b(i) = -9 + 7*i**3 - 24*i - 18*i + 45*i + i**2. Let o(k) = k**3 + k**2 - k. Let v(d) = -b(d) + 6*o(d). Let z be v(3). Does -3/35 = z?
False
Let p(g) = 10*g. Let n be p(-4). Suppose 4*k = -5*i + 100, i - k - 20 = 2*k. Let q = -60 + i. Is q less than n?
False
Let w(h) = h**3 - 55*h**2 - 27*h + 32. Let i be w(55). Is i greater than or equal to -1453?
True
Let k be (-4)/14 + 9 + 2220/28. Let m be (-66)/(-2*(-12)/(-32)). Is m at most k?
True
Suppose 0 = 72*z - 62*z + 5*q + 30, -4*z - 4*q = 24. Is -12/359 < z?
True
Let d be -1*(-91)/(-1106) + 0/6. Which is greater: d or 0?
0
Let h be (8 + 44/(-6))/((-10)/(-15)). Which is bigger: h or -1/771?
h
Let v = -1707 + 1675.84. Let x = 31 + v. Let y = x - 0.04. Which is bigger: y or -3/4?
y
Let c be (-438084)/(-2752) + (-6)/32. Which is smaller: 148 or c?
148
Let j(p) = p**3 - 9*p**2 - 17*p + 11. Let t be j(-2). Let l be (6/(-100))/1*8. Is l <= t?
True
Let k(t) be the third derivative of -3/2*t**3 + 0*t + 20*t**2 - 1/12*t**4 + 0. Let x be k(-3). Is 4 greater than x?
True
Let p(i) = 2*i**2 - 8*i - 20. Let s be p(6). Suppose 0 = -2*c + s*h - 10, 6*h = 5*c + 2*h + 7. Do c and -25 have the same value?
False
Let d be -18 + (-26940)/(-1540) - 2. Which is bigger: -3 or d?
d
Let w = -14.197 - -13.7. Let q = -0.47 - w. Which is smaller: q or -2/9?
-2/9
Let c(u) = -33*u + 6*u**2 - 35*u + 32 + u**3 + 62*u. Let w be c(-8). Which is bigger: w or 0?
0
Let o be (-128690)/139555 - 228/(-247). Which is greater: o or 1?
1
Let z = -3349 + 4804. Are 1455 and z non-equal?
False
Let a = 631/40 - 135/8. Let g be 189/(-175) - (-6)/75. Which is bigger: a or g?
g
Let g = -3650 - -3652. Let t be 2/7 + (-208)/(-455). Is t at most g?
True
Let b be 5/((-35)/468)*(-59 - 9780/(-180)). Which is smaller: b or 326?
b
Suppose -6 = -10*t + 9*t. Let r(b) = 34*b - 199. Let x be r(t). Which is bigger: 16 or x?
16
Let p = 4/24357 - 3824357/1875489. Let q = p - -24/11. Are 0.05 and q unequal?
True
Let s = 26776/3861 - 188/27. Let r = -67 - -67. Which is bigger: s or r?
r
Suppose -1108 + 208 = -90*l. Suppose 3*u - 2 = 2*u. Which is greater: u or l?
l
Let v = -3583/23940 - 2/5985. Which is smaller: v or 12?
v
Suppose m + 11 = -b - 4*m, 0 = 3*b + 4*m. Suppose -16 = -b*u + 4*a, u - a - 24 = 4*a. Let w be (7 + -6 + -3)*u/(-4). Which is smaller: -14 or w?
-14
Let j = 304208540/623 - 488296. Is 1 greater than j?
True
Suppose -5*f = 3*t - 299, -44 = -f - 2*t + 20. Let c = -55 + f. Suppose u + k = -c, -5*k + 10 = -u + 37. Is u equal to 3?
False
Let x be -1*(-3867)/1*(-30)/(-18). Let s be (4/x)/(-3 + 39/15). Is 1 < s?
False
Let p(r) = 4*r + 10. Let t be p(-2). Let d be (-24)/(0 - t)*(-2)/(-2). Let l be ((-2)/(-6))/((-4)/d) - -1. Is 2 less than l?
False
Let g be (-1)/((-3)/(-84)) - 4. Let b(o) = 17*o - 6. Let c be b(21). Suppose -c + 120 = 7*v. Which is greater: g or v?
g
Let p = -22 - 120. Let i = 138.97 + p. Let u = -3 - i. Is u at most as big as -0.04?
False
Let x = 113615 - 113641. Suppose 4*f - 3*f = -23. Is x at least as big as f?
False
Let h(y) = y**3 - 35*y**2 - 34*y - 136. Let b be h(36). Is -850/13 equal to b?
False
Let i be ((-1)/(-4))/((-5)/(-100))*1. Suppose -5*o = i*o + 20. Let m be o*1*1 + 136/(-34). Is m greater than -6?
False
Let j = -1293.201 + -8.799. Is -4 < j?
False
Let h = 2695.42 + -2616. Let f = h - 79. Let g = f + 1.58. Is 0.1 smaller than g?
True
Let l = 4.45 + -67.45. Let c = l - -62.9. Is -80 less than or equal to c?
True
Let y = 0.7453 - 24.7573. Let z = y + 24.1. Which is greater: z or -1/2?
z
Suppose 46260 = 95*a - 101*a. Let j be 48/(-80) + (-2283)/a*2. Is 0 less than j?
False
Let u(n) = -2*n + 7. Let m = -2 - -9. Let i be u(m). Let v(x) = x**2 - 7*x - 85. Let t be v(13). Is i < t?
False
Let h(s) = -s**3 + 4*s**2 - 9*s - 4. Let m be h(4). Let y = 68 + m. Let t be 18/(-14) - (-8)/y. Which is greater: t or -6/23?
-6/23
Let y = -6 + 22. Let b(d) = 2*d + 106. Let j be b(-49). Suppose j*z - 238 = -126. Which is bigger: y or z?
y
Let u = -32291/43 - -751. Suppose -4*d - 4 = 0, -3*s + 2*d = 6*d + 49. Let x = s + 14. Is u < x?
False
Suppose 15*o = 17*o - 112. Let a = o + -27. Let c = 37 - a. Is c greater than or equal to 10?
False
Let y be (-8)/(-36) - 145340/198. Let m = y + 733. Let p be 186/36 + (-2)/12 - 7. Which is smaller: m or p?
p
Let o = 46363/20 + -2318. Which is smaller: 67 or o?
o
Suppose 11 = 4*o - 5*w, -3*o + 22 = -4*w + 13. Which is greater: 4/459 or o?
4/459
Let f(z) = -z**2 + 6*z - 4. Let j be f(-5). Let b = j - -32. Let m be b/(-21) + -1 - (-690)/(-14). Is -49 less than m?
False
Suppose t + 1 = -1. Let s be (-3745)/5719 - (-116)/4988. Which is smaller: s or t?
t
Let x(i) = 108*i + 17. Let p be x(-1). Which is smaller: -127 or p?
-127
Let r = -0.361 - 0.079. Let u = 0.44 + r. Let m = u - 0.6. Which is bigger: 0 or m?
0
Let c(v) = v**2 + 13*v + 2. Let l be c(-15). Which is smaller: l or 46?
l
Suppose 4*v = -4*l - 0*v - 52, -v = 2*l + 29. Let u be 806/l - 42/(-112). Which is bigger: -51 or u?
u
Let f = 4690 - 4690.2. Is 1600 at most f?
False
Let n be 4*(-1 - 1)*-1. Let d(j) = n - 3*j - 5 + 1 - 2. Let q be d(2). Are q and -4 equal?
True
Let j = -3/13807 + 2002033/82842. Let k = 54 - 29. Which is smaller: j or k?
j
Let s be 0/1*1/2 + 4. Suppose 0*g - 4*o - 34 = -2*g, 4*o - 128 = -s*g. Are g and 133/5 nonequal?
True
Suppose 92 = 5*n - 23. Suppose 9*d - n = -5. Suppose -b - 3*i = -0*b - 14, i - 8 = -d*b. Which is bigger: b or -20?
b
Let l = 23 + -23.2. Let h be (-43)/2*(1 - -1). Let g = h - -128/3. Is g smaller