 v = -36 - -37.7. Let j = v + 14.3. Which is bigger: j or k?
j
Let c be ((12 + -2)/(-20))/((-3)/(-6)). Which is smaller: 30/137 or c?
c
Suppose 17*k = -120*k + 3680368. Which is smaller: k or 26863?
26863
Suppose 5*y = -2*f - 12245, -2449 = y - 334*f + 329*f. Which is smaller: -2447 or y?
y
Let y be 1 + (-3 - (-90 - (0 - 2))). Suppose 2*s = -3*h - 145, h - 55 = 2*s + y. Let u = s + 54. Is u less than or equal to -15?
True
Suppose 5*j = q + 3610, 0 = 26*j - 27*j + q + 718. Is 723 less than or equal to j?
True
Let d = -664 + 634. Let x be 1/5 + 166/d - -5. Are -0.4 and x equal?
False
Let k(r) = 7. Let v(w) be the first derivative of -w**2/2 - w + 12. Let y(z) = k(z) + 4*v(z). Let s be y(1). Is s less than 1?
True
Let k = -442 - -437. Suppose -w = 2*d + 2, w + 4 = -6*d + 3*d. Is w > k?
True
Let p be (-3)/(-39527)*(-3665)/55. Let x = p - -1/841. Which is smaller: 0 or x?
x
Suppose 7 - 13 = -2*k. Suppose -9 - 18 = -2*j + p, 62 = 5*j + k*p. Suppose -3*x + j = -d, 2*d - 2*x = -4 - 6. Is d greater than -2/59?
False
Let b(a) = a**3 - 7*a**2 + 5*a + 21. Let j be b(3). Let g(o) = o - 1. Let q be g(5). Let s be q - 5 - (-33)/31. Which is smaller: s or j?
j
Let k = 235.9852 - -0.0148. Let x = -235.9 + k. Does 120 = x?
False
Let m(o) = 4*o**3 - 4*o**2 - 6*o - 16. Let q(r) = 5*r**3 - 3*r**2 - 4*r - 15. Let x(n) = 6*m(n) - 5*q(n). Let w be x(-7). Is -42/5 < w?
True
Let v = -43/70 - -3/14. Let r(m) = m**3 - 346*m**2 + 601*m - 88471. Let t be r(345). Which is bigger: t or v?
v
Let x be ((-1)/(-4))/((-27)/180) + (-6639)/(-4194). Which is smaller: 0 or x?
x
Let y(r) = 3*r**3 + r**2 - 2*r + 4. Let z be y(-2). Let g = z - -19. Is 65/11 greater than g?
False
Let w = 69 - 61.4. Let f = 0 - 1.4. Let z = f - w. Is 1 at least z?
True
Let s = 34 - 19. Let w be -1 + s/(-6) - (-2)/4. Let a(q) = -q - 4. Let i be a(w). Are -1/6 and i unequal?
True
Let t = 3324 - 3372. Which is smaller: t or -33?
t
Let k = 602.064461 + -0.004461. Let h = k - 607. Let y = 5 + h. Which is smaller: 4 or y?
y
Let h be (1 - 5 - 6)*(-3)/(-6). Which is greater: h or -122/29?
-122/29
Suppose 5*q + 2028 - 272 = 3*y, 5*y - 2865 = -4*q. Is 0.2 at least as big as y?
False
Let g be (-14)/(490/6783) + 1/(-5). Let w = g + 229. Which is bigger: 33 or w?
w
Let j = 21/20 + -1069/980. Let l be 85/(-99) - (-18)/81. Let o = -25/22 - l. Which is greater: o or j?
j
Suppose -u = -5*u + 112. Suppose -u - 17 = -5*n. Let a be ((2/(-3))/2)/((-60)/n). Which is bigger: 0 or a?
a
Let f(l) = -4*l + 52. Let n(v) = -v - 1. Let a(s) = f(s) - 5*n(s). Let x be a(13). Do x and 69 have the same value?
False
Suppose 4*h + 2*y - 110 = -26, 5*y = h - 21. Suppose 2*i - 23 = -h*i. Which is bigger: 8/9 or i?
i
Let m(a) = -2*a**2 - 21*a - 27. Let s be m(-8). Suppose s = 2*n + 13. Is 1/74 > n?
True
Let a(s) be the second derivative of s**4/6 - 7*s**3/6 + 2*s**2 + 67*s. Let o be a(3). Let t be 3/(-169)*2/3. Does t = o?
False
Let x be -3 + (-522)/(-45) + (-4)/(-10). Let a(v) = -v**2 - 20*v - 21. Let o be a(x). Is o equal to 1?
False
Let d be ((-8)/434)/((-18)/(-21)). Let j(y) = 5*y**2 + y - 56. Let v be j(6). Let n = 908/7 - v. Do d and n have the same value?
False
Let z(y) = -y**2 - 9*y - 3. Let w be z(-8). Suppose 0 = -5*j + 25, w*u - 2*j + j = 740. Let c = u + -150. Is 4 > c?
True
Let o = 39 - 37. Let i = o + 3. Let y be (-1 + i)*(-11)/143. Which is greater: y or 2?
2
Let f(i) = -24*i + 60. Let w be f(2). Suppose 5*s = -5*v + 25, 5*v - 9*v - 2*s = -w. Which is bigger: -1/379 or v?
v
Let k = -4918 - -25081/5. Which is smaller: k or 99?
k
Let m(z) = 541*z - 585. Let k be m(-6). Do k and -3832 have the same value?
False
Let o = 0 - -78. Let d be 2/((12/(-948))/((-1)/2)). Which is smaller: o or d?
o
Let a = 1187 - 70032/59. Which is smaller: a or 2/7?
a
Let z be 60 + (-3620)/60 + (11 - (1 - 2)). Which is greater: z or -15?
z
Let a be (-206940)/(-15920) + 0 + -13. Which is greater: a or -1?
a
Let p be (-52)/(-5) + 2 - (-32)/(-80). Suppose c = 13 - 8, -3*n + 3*c - p = 0. Let r = -1/129 - 380/903. Is r smaller than n?
True
Let g be (-5)/20 - (68 + -69). Which is smaller: -0.0667 or g?
-0.0667
Let s = 608 - 606. Is s > 114?
False
Let g = -4 + -2. Let c = -1 + g. Let w be (-2924)/714 + (-62)/(-651). Are w and c nonequal?
True
Let u = 78 + -82. Let n be (3*(-3)/4)/(u/(-32)). Which is bigger: -19 or n?
n
Let v be 1497/5 + (-6)/15. Suppose -b = 4*g - 272, -b = -3*g - 2*g - v. Let r be b/(-70) - (-4)/1. Which is greater: 1 or r?
1
Let u be (0 - (-508)/(-3))/(820/492). Is -102 at least as big as u?
False
Suppose 0 = 3*a + 21, a - 607 = -5*r - 54. Let y = 363 + -252. Which is smaller: y or r?
y
Suppose 0*n + 6 = -n. Let g be 16/(2 + 0) - (2 - 0). Let m be (-10)/2 - ((-192)/36 + g). Which is smaller: n or m?
n
Let i be (-1)/(-2)*2/6. Let s(g) = -4*g**2 + 15*g + 36. Let c be s(12). Let z = -360 - c. Which is smaller: z or i?
z
Let h = -1057 + 1053. Let u = 1.2 - 0.3. Which is smaller: h or u?
h
Let u = -36 - -296. Let s = -290 + u. Which is bigger: -1/4 or s?
-1/4
Let z = -13234 + 13235. Let n = -22 - -12. Which is greater: z or n?
z
Suppose -576*w = -568*w - 16. Suppose -i - w*l - 153 = 0, 12*i + 2*l = 16*i + 602. Which is bigger: i or -457/3?
i
Let m be ((-2960)/5180)/((-2)/(0 + 14)). Is m not equal to -2162?
True
Let h = -0.01787 - 0.98213. Is -6/2857 bigger than h?
True
Let j = 1/3268 + 127447/16340. Let g(w) = w**3 - 9*w**2 - 8*w - 12. Let l be g(10). Is j != l?
True
Let g = 268246805 + -66793619287/249. Let f = -662 - g. Is f less than or equal to 0?
False
Suppose 95*v + 8*v - 24*v = -26781. Is -321 less than v?
False
Let j be (-11)/(187/218076) + -18. Is j less than or equal to -12846?
True
Suppose 0 = 18*v - 142 + 16. Suppose v*i - 900 = -3*i. Is 89 smaller than i?
True
Let u be -289*(1/3)/((-221)/78 - 1). Is 26 greater than or equal to u?
True
Let v be 45/10 + 3/(-2). Suppose 7*j - 226 = 12*j - 4*o, -v*j + o - 130 = 0. Does -40 = j?
False
Let k = -640 + 739. Suppose 3*z - l - 146 = 0, l = -23*z + 21*z + k. Which is smaller: -0.5 or z?
-0.5
Suppose 2*k - 1142 = -c, -k + 361 = 4*c - 231. Which is smaller: 0.2 or k?
0.2
Suppose 0 = 4*d + 3*g - 15 - 8, 0 = d - g - 4. Let w be 48 + 0*d/15. Is 49 bigger than w?
True
Suppose 8*g + g - 1230 = c, -4*g = 2*c + 2592. Which is bigger: c or -1283?
-1283
Let h be 120/(-419)*(-824)/(-2060). Which is bigger: -1 or h?
h
Let y be ((-1015)/(-609))/((-10)/6)*(0 + 0). Is y smaller than -3/10504?
False
Suppose 77 = -0*v - 5*v + 2*b, 5*b = v + 20. Let x = 287 + v. Which is smaller: x or 0.1?
0.1
Let w be (-1)/71*(0 + 1). Suppose -34*u - 62*u + 76*u + 20 = 0. Which is smaller: w or u?
w
Let l(q) = -733 + 356 + 341 + 9*q. Let u be l(4). Are u and -4/33 equal?
False
Let l = 5 + -8. Let b be 22/(-88)*24/(-2). Suppose -71*t = -72*t - b. Are t and l nonequal?
False
Let c be (-234)/(-4)*80/60. Suppose -4*a + 2*z = c, 4*a - 3*a + z = -21. Let l(f) = -12*f + 3. Let p be l(2). Which is smaller: a or p?
p
Let c = -873049/190 - -4595. Is c <= 1?
True
Let a(d) = 54*d**2 + 72*d + 50. Let y be a(11). Are y and 7376 unequal?
False
Let s(l) = l**2 - 11*l - 1. Let k be (3 - 1)*(-5)/(10/(-11)). Let d be s(k). Let h be 4/18 + 11/(-171). Which is bigger: d or h?
h
Suppose 6*z = 7*z - 20. Suppose c - 56 + 45 = 0. Suppose 5*p - 116 = -c. Are z and p nonequal?
True
Suppose 1018 = 4*x - 282. Suppose 5*g = 5*r - x, 4*g = -r + 2*g + 80. Suppose 4*d + r = -26. Are d and -24 nonequal?
False
Let j = 108436039/1745 - 62141. Let x = 4156/193695 + j. Which is smaller: 1 or x?
x
Suppose -2*w + 7*w + 325 = 0. Let o = w + 64. Which is greater: o or 3/25?
3/25
Suppose -4*h - 59 = j, -123*j - 358 = -118*j - h. Which is smaller: j or -29?
j
Let o be (-1)/(-3)*3*(-294)/2. Let c = 55 + o. Are -91 and c equal?
False
Let l = 315.3 + 272.5. Let u = 588 - l. Is u at least as big as 29.9?
False
Let s(u) = 3*u - 49 - 2*u - 3*u + 7*u. Let i be s(10). Is i less than 1/455?
False
Let l be ((-1)/(-1))/((-143)/(-55)). Suppose -2*k = -11*k + 153. Suppose -5*u - k = -12. Which is smaller: l or u?
u
Let u be (-12 - -1)/44 - 27/(-4). Are -22 and u nonequal?
True
Let i = -135 + 220. Let d = -79 + i. Let m = 1 - d. Are -4 and m nonequal?
True
Suppose -147*r + 151*r + 3*q = -5, 5*q + 11 = -4*r. Which is greater: r or -22/1205?
r
Suppose -5*x + 5 = t - 3*x, 2*t = -x + 19.