reater: c or r?
r
Let m be 20/(-80) + (-26)/(-8). Suppose -4*l - 181 = -j - 0*l, -4*j + 705 = m*l. Is j greater than 176?
True
Suppose -5*k + k = 12. Let n be 4 + 0/1 + k. Let c be (15/10)/(n/42). Which is greater: 62 or c?
c
Let k be ((-46)/(-74) - 0)/(252/(-181111)). Let l = -1787/4 - k. Which is smaller: l or 2?
l
Let i be ((-12)/14)/((-13462)/742). Which is smaller: i or -8?
-8
Let z = -253 - -269. Let s be (-8)/z - (0 + (-51)/6). Which is bigger: 33/4 or s?
33/4
Let f be 2 + (16324/35 - -7). Which is greater: 475 or f?
f
Let h = -0.192 - 1.308. Let u = 0.5 + h. Which is smaller: u or 10.7?
u
Let r be (300/(-10))/(-6) - 5. Let b be (-4 + 14/6 + 2)*r. Which is smaller: -277 or b?
-277
Let c = -192114/5 + 38024. Does -400 = c?
False
Suppose 3*s + 2963 = 5*y, -y = -5*s - 5*y - 4926. Which is bigger: s or -969?
-969
Suppose -30 = -326*y + 321*y. Let a be 1/((-12)/18)*(-4)/y. Do 7/22 and a have different values?
True
Let t(l) be the first derivative of 2*l**2 + 79*l - 45. Let u = -68 + 45. Let g be t(u). Is -12 <= g?
False
Let t be -14*(-4)/14*5. Let x(v) = -v**2 - 11*v - 18. Let k be x(-8). Suppose 5*d - 2*r - 15 = 0, -d - t = -k*d + r. Which is greater: d or 3?
d
Let h = 105 - 124. Let o be (-10 - 4)*3/(-2). Let a be (24/16)/(o/4). Is h greater than or equal to a?
False
Let g(y) = -3*y**3 + 52*y**2 + 34*y - 30. Let x be g(17). Which is smaller: x or 835?
835
Let f be -16 + (-4316)/195 - 14/(-105). Let y = 2 - 1. Let n be (-37)/(-2)*-2 - y. Is f smaller than n?
False
Suppose -10*b + 22 = -8. Suppose -16*l + l = -b*l. Which is smaller: -8/47 or l?
-8/47
Let g = 60 - 74.1. Let q = 14.5 + g. Is 3 at most q?
False
Let a(c) = -c + 31. Let g be a(11). Suppose 4*k = -5*u + 16, -2*u = -u - 5*k + g. Which is smaller: 7/41 or u?
u
Let w = -6695 - -6697. Let l be 31/(-10) - (-8)/2. Which is smaller: l or w?
l
Let k(n) = n**3 + 11*n**2 + 17*n. Let v be k(-9). Let o be 20/50*(-2 - v/(-2)). Is 2 not equal to o?
True
Let s = -5.44 + 361.44. Let c = s + -356.3. Let p = -975/8 + 122. Is p at most as big as c?
False
Let u be (-3531)/(-44)*(-8)/(-120). Is 6 < u?
False
Suppose -5*h + 239 + 816 = 0. Suppose 5*a - 205 = -5*g, -h = -5*g + 4*a - 7*a. Let c be ((-66)/4)/((-18)/48). Is c >= g?
True
Suppose -a + 4 = -3*k, -4*a + 16 = 3*k + k. Suppose -4*d + 10 - 34 = 0. Let n be (d/(-1245))/(5/(-25)). Which is bigger: n or k?
k
Let n = -2.804 - 2024.196. Let y = -2025.963 - n. Let z = 0.037 - y. Which is smaller: z or 0.06?
z
Let h = 0.09085 + -0.04985. Let v = 0.6 + -0.4. Which is smaller: v or h?
h
Let j = 1.3 + -0.3. Let k = 42313/16 - 2643. Let z = 507/304 - k. Which is greater: z or j?
j
Let b = 41.4 + -225.4. Let g = -182 - b. Which is smaller: -7 or g?
-7
Let x(y) = -125*y**2 + 25*y + 61. Let k be x(-2). Which is smaller: k or -1/2?
k
Suppose p = 5*p - 1680. Let m = -608 + p. Let k = m - -1310/7. Are -2 and k nonequal?
True
Let a = -125.2 + 126.2. Does -6.26 = a?
False
Let c = 4416 + -3981. Is 437 smaller than c?
False
Let v be (-62)/1*(-10)/20. Suppose -3*m = -5*x + 94, m = -9*x + 7*x + v. Which is smaller: x or 20?
x
Suppose 0 = 5*f + 4*p + 521, 4 = 4*p - 0*p. Let r be ((-12)/(-14))/3*f/(-15). Which is smaller: -0.07 or r?
-0.07
Let u be (30/25*1)/((-1)/(-25)). Let h be 256/(-640)*2/u. Does h = 6/11?
False
Suppose 4 = 4*a, -s - 3*s + 5*a = -7799. Is s at most 1955?
True
Let z be (-333)/(-189) - (-6)/(-14). Is 71 <= z?
False
Let u(o) = -2*o**3 + 10*o**2 + 26*o + 347. Let c be u(-16). Which is smaller: 10684 or c?
c
Let c = 2/181 - 1454/543. Let x = 1095 - 25191/23. Is c <= x?
True
Suppose 3*j = 5 - 5. Let w = 450/13 - 364024/10517. Which is smaller: w or j?
j
Let b be (-2)/(-10) + (-1774535)/8326175. Let v = b - 2/2329. Suppose -2 = 138*y - 136*y. Is y at least as big as v?
False
Suppose 3*p + 2*p = -3*r - 42, -39 = 3*r + 4*p. Let m(z) = z**3 + 10*z**2 + 7*z - 4. Let a be m(r). Is 28 >= a?
True
Let f be ((-80)/14 + 5)*(-14)/2. Suppose -3*k + 535 = -f*u - 344, 4*u = -k - 710. Let a = u + 306. Which is smaller: a or 128?
128
Suppose -1032 = -16*z + 20*z. Suppose 39*r + 4626 = 21*r. Which is smaller: z or r?
z
Suppose 0 = -3*j - 12, 2*p + j - 3*j - 44 = 0. Does p = 78?
False
Suppose 3*j + 28 - 1 = 0. Suppose -h = -5*b + 9, -5*b + 27 = 4*h - 4*b. Suppose -2*c - h*s - 35 = -s, -2*c - 23 = s. Is j >= c?
True
Let y = -594 + 975. Let x = y - 387. Let u = -0.2 + -7.8. Which is smaller: x or u?
u
Let c = 0.15012 + 318.84988. Which is greater: 1.7 or c?
c
Let n be ((-4)/189)/((-1)/(-6198)) + 2. Let g = -1162/9 - n. Let j = 2/9 + g. Is 10 bigger than j?
True
Let g(m) = -88*m - 13. Let a be ((-2)/(-4) - (-11)/66)*-15. Let y be g(a). Let p be ((-34)/y)/((-3)/(18/(-14))). Is p smaller than 0?
True
Let q be 5593/699 + (-18)/(-225) + (-3636)/450. Is 1 greater than q?
True
Suppose -4*q + 4*x = -60, -5*x - 47 = -3*q - 0*x. Let u be (-4)/q + (440/(-14))/(-5). Let y be (u/40)/3 + 0. Is -1 equal to y?
False
Suppose -4*v - 264 - 27 = -5*l, 0 = 3*l - v - 169. Let f be l/(-2)*60/(-50). Which is greater: 63/2 or f?
f
Let u = -6285052/13 + 483695. Let g = u - 229. Do 1 and g have different values?
True
Let i = -94 + 93.836. Let j = i + -2.236. Let c = 4 - 3.9. Is c bigger than j?
True
Let k = -196 - -199. Let o be 17/k*51/(-17). Suppose -14 - 18 = 2*d. Which is bigger: d or o?
d
Let h = 701.90844 - -0.09156. Is h >= 1/11?
True
Let g be 2/4*-2 - 7*-1. Let m be 538/12 - (1/g)/(-1). Suppose 0*l + m = -5*l. Are -12 and l nonequal?
True
Let h = 0.128 - 0.858. Let b = h - -0.713. Let f = b + 16.017. Which is bigger: f or -0.1?
f
Let t be (-9 + (-356)/(-40))/(6/(-58485)) + 3. Are t and 978 non-equal?
True
Suppose 3*m + 5 = -z - 5, z + 20 = -5*m. Suppose -t + 0*y - y + 109 = 0, y = -z*t + 557. Let a = -66 + t. Is a at least as big as 46?
True
Let t(r) = -132*r - 11979. Let p be t(-91). Let x = 9 + 22. Which is smaller: p or x?
x
Let i(m) = -m**3 + 4*m**2 - 1 - 2*m**2 + 50*m - 45*m + 6. Suppose -4 = -3*s - 10. Let l be i(s). Is 12 < l?
False
Let r be (-28)/(-48)*-14 - (-2)/12. Let n be 18/22 - 7*r/308. Which is smaller: -4/143 or n?
-4/143
Let d = -412 - -430.2. Let n = d + -18.7. Which is smaller: 6 or n?
n
Let r = -2721/7 - -27297/70. Which is greater: 0.1 or r?
r
Let f = -579.5 - -579.7. Is 1954 greater than f?
True
Suppose 16*j - 4109 = -1101. Let w = 456 - 267. Which is bigger: w or j?
w
Suppose -5*g - 7*u + 362 = 0, 0 = 3*g - 43*u + 41*u - 180. Which is smaller: -69 or g?
-69
Let f be 620/(-775) + (334/93)/(1935/431). Which is greater: f or -1?
f
Suppose 2*z + 8 = -4*s, -10 = 5*z - 3*s - 29. Suppose -3*u = z*o + 71, -2*u + 3 = 4*o + 37. Let a be -1 + -1 + 2 + -28. Is a >= u?
False
Let f = -9/5 + 73/35. Let x be (12 - (-4 + 1 + 6))*21. Let m = -188 + x. Which is bigger: m or f?
m
Suppose 1447 = 36*a - 7085. Let x = a + -253. Which is greater: x or -2?
-2
Let v = 1330009/367 - 3624. Suppose -q - 13*w = -8*w - 61, w = 12. Which is greater: q or v?
q
Let m = 2.4 + -2. Let f = m - 0.5. Suppose -212 = 170*n + 6928. Is f <= n?
False
Let l be 315/140*(1 + 2/6). Suppose -l*w + 7*s = 3*s - 17, 11 = 5*w + 2*s. Is 9 at most as big as w?
False
Suppose 5*o - 319 = 4*k, 5*k - o = 3*o - 392. Let w be k/(-1 - 0) - (-1 - -3). Which is smaller: w or 76?
w
Suppose -5*t + 5*a + 41730 = 0, 18*t + 2*a - 41751 = 13*t. Is 8350 < t?
False
Let k be ((-10)/(-2))/((-2)/2). Suppose 0 = 8*g + 64 - 184. Let b be (-26)/(-8)*(70/g - 6). Which is smaller: b or k?
k
Suppose -5*b + 17271 = -3*f, 17*f = 4*b + 20*f - 13779. Which is bigger: 3453 or b?
3453
Let t = 1753 - 1778. Is -43 equal to t?
False
Suppose 20*n = 335 - 75. Is n at most as big as 3?
False
Let w = 32 - 23. Let x = -3 - w. Let b = 14 + x. Which is greater: -2 or b?
b
Let t = -16 + 17. Let n be (-3)/12*1 + (-481)/(-4). Let j = n - 111. Which is smaller: j or t?
t
Let p(t) = -235*t**2 - t - 2. Suppose 5*k = 5*b, -5 = 12*b - 11*b + 4*k. Let r be p(b). Is r at least as big as -236?
True
Let h(u) = -381*u**2 - 211*u - 2. Let y be h(6). Do y and -14984 have the same value?
True
Suppose 2*n - 2*d - 1994 = -3430, -2*d = 4*n + 2860. Which is greater: n or -720?
n
Let x = -272.25 + -42.75. Which is smaller: -8 or x?
x
Let y be -1 + 2 + (-1 - 0). Let g = -3761/4020 + 3/1340. Which is smaller: y or g?
g
Let k(g) = 5*g - 166. Let n be k(39). Suppose f - 5*r - 310 = -n, 4