values?
False
Let r = -497 + 567. Suppose -r = 3*n - 4*b, 10*b = n + 7*b + 30. Suppose -51 = 3*c - 0. Is c less than or equal to n?
False
Let i = 81 + -84. Let p be 2/(i*8/(-60)). Suppose 3*m - 4*a = 67, p*m - 3*a - 36 - 72 = 0. Is 18 greater than or equal to m?
False
Suppose -54 = -2*j + 8*j. Let n be (j + 8)*(-4 + 1 + 4). Which is smaller: 4/91 or n?
n
Let k = -4/3973 + 471/4414003. Which is smaller: k or -1?
-1
Let t = 1801 + -2192. Do -390 and t have the same value?
False
Let g(p) = p**2 + 11*p + 3. Let w be g(-7). Let f = 20 + w. Let a be (4*f/40)/((-1)/(-27)). Which is smaller: -14 or a?
-14
Suppose 0 = -4*s - q + 17, 2*q + 23 - 5 = 5*s. Let h be ((-14)/(-2))/((-259)/63 + s). Which is greater: -64 or h?
h
Suppose 4*u + 4*q - 64 = 0, 3*u = 2*q + 20 + 13. Suppose 211 = -u*p - 75. Let f = -20 - p. Which is greater: f or 1?
f
Let o be (-73947)/1413 + (4/(-6))/(-2). Is -851/16 less than or equal to o?
True
Let o = 3 - 3.05. Let i = 161.5507 + -159.4507. Do i and o have the same value?
False
Let i(r) = -r**3 + 4*r**2 + 4*r - 8. Suppose 8 = -44*p + 46*p. Let l be i(p). Is 10 at most l?
False
Let c(y) = 2*y - 16 + y**2 + 16. Let k be c(-2). Let u = -414414/19 + 21811. Which is smaller: u or k?
u
Let q be (-55)/19 - -3 - ((-1150500)/(-27816))/25. Does -1 = q?
False
Let c = 6653.5 + -6663. Which is bigger: -3/5 or c?
-3/5
Let t = -3170 + 1676. Let o be 4/(-9) + (-640)/t. Which is smaller: 1 or o?
o
Let y = -0.141 + 91.141. Let c = y + -116. Which is bigger: 0.1 or c?
0.1
Let w = 41 + -57. Suppose 4*z + 5*q + 36 = 0, -292*q = z - 297*q + 34. Are z and w unequal?
True
Let x(p) = -p**2 - 19*p - 45. Let y be x(-4). Let b(t) = -2 - 19*t + y + 0 + 21*t. Let q be b(-17). Is -20 less than q?
False
Suppose -4*l + 3 = -3*l. Suppose -5 = 2*s - 2*c + 13, -l*s - 2*c - 17 = 0. Let p be 32/(-308) - 2/s. Do -2/7 and p have the same value?
False
Let z(p) = p + 83. Let v be z(-26). Let y be ((-279)/12)/(v/380). Which is smaller: y or -153?
y
Suppose 0 = -3*w + 51 + 54. Let x be (-1)/2*2*-48*20/30. Which is greater: x or w?
w
Let z = -13299 + 18013. Are z and 4714 non-equal?
False
Let l = 4/211 + -46225/844. Suppose 4584*s + 262 = -2*z + 4574*s, -4*z - 5*s = 299. Is z at most as big as l?
True
Suppose 3*x + 80 = -5*o, -4*x - o + 40 = 141. Let a = x - -31. Is 49/8 >= a?
True
Let u = -224/153 - -74/17. Let o = -1786 - -517. Let c = o - -1272. Is c <= u?
False
Let p be (-6 - (-155)/50)*168569428/38. Let h = p - -12863907. Let g = h + 602. Is g <= 0?
False
Let d(t) = -5*t**3 + 8*t**2 - t + 6. Let q be d(-6). Let n = 7387/10 - -18649/30. Let a = q - n. Is 19 at least as big as a?
False
Let n(z) = z**2 + 7*z - 40. Let x(u) = u**2 + 8*u - 40. Let k(p) = 4*n(p) - 3*x(p). Let s be k(11). Which is greater: 2 or s?
s
Let q(y) = -y**3 - 21*y**2 + 23*y + 24. Suppose -24 = 2*r + 20. Let v be q(r). Suppose v*g - 186 = 2*a, 4*a + 417 = -0*g - 5*g. Which is smaller: a or -97?
a
Let g(d) be the third derivative of 37*d**5/10 + d**4/24 + d**3/6 - 14*d**2. Let i be g(1). Let q = -5823/26 + i. Which is greater: 1 or q?
1
Let r = 4904 + -4880. Is r at most as big as 347/14?
True
Let z be (-51)/12 + 4 - (-23)/(-4). Let b be (0 - 2) + 34/z. Suppose 16 - 9 = -n. Which is bigger: b or n?
n
Let z = 134.743 - 135. Let s = z + 0.157. Let i = 21 + -31. Which is smaller: i or s?
i
Let j = 148 + -151. Let h be (285/25)/j - -4. Let x = -0.3 + 1.3. Does h = x?
False
Let i = 24958396301/4134 + -6037348. Let z = i - -1/318. Which is smaller: -1 or z?
-1
Let y = -10249 + 16832. Are 6585 and y nonequal?
True
Let l be -14 + (6 - -6362) - 8. Do l and 6345 have the same value?
False
Let j = -501.6 - -496.566. Let r = 0.966 - j. Let c = 1049/14 - 75. Which is greater: r or c?
r
Let a = 469 + -459. Suppose -10 + a = -16*q. Is q bigger than -89?
True
Let z(n) = 2*n. Let y(o) = 3*o + 4. Let r be y(-1). Let b(w) = -28*w - 45. Let f(t) = r*b(t) + 3*z(t). Let j be f(-6). Is 87 bigger than j?
False
Let p(t) = -40*t + 6*t**2 - 5*t**2 - 13 + 38*t. Let i be p(9). Let f = 45 - i. Is -4 at most as big as f?
False
Let b be ((-42)/(-7))/(-3) + 350/174. Let f = -119/261 + b. Let r = 185/2 - 93. Is r smaller than f?
True
Let u = -166/9 + 4159/225. Let n = -251 - -254. Suppose -t + 4 = -2*o, -o - 5*t = -6 - n. Is u at most o?
False
Suppose -3*k + 5*x = -339, 4*x + 171 + 171 = 3*k. Which is bigger: 125 or k?
125
Let i be (13/(-35880)*-56)/(-1). Is -1 greater than or equal to i?
False
Let t = -208 + 211. Suppose 0 = 2*i - 3*l - 266, -686 = -5*i + t*l - 6*l. Is i equal to 135?
False
Let m be (3/(-4))/(113/(-560) + 34/170). Is 0.2 < m?
True
Let a = -21151/138 + 460/3. Which is smaller: -9/8 or a?
-9/8
Let a = -376193/18333 - -554/27. Let n(j) = j**2 + 31*j + 131. Let w be n(-5). Which is smaller: w or a?
a
Let q be (-4)/(-26) + 636/(-78). Let f = 3206 - 3213. Which is bigger: f or q?
f
Let x be (-5 + -4 + 4 + 1)*-1. Is 100/21 at least as big as x?
True
Let p = 60 - -1188. Suppose 16*n - p = -10*n. Is 48 bigger than n?
False
Suppose 2*m - 2*n - 22 = 6, -m - 5*n = -2. Let t be ((-8)/56)/(m/21). Let j be 1*3 + 2 + -4. Do j and t have the same value?
False
Suppose 2*h - 12 = 2*j, 11*h - 3*j - 17 = 9*h. Is h at most -15/2027?
False
Let u = -241766/2825 - -2157/25. Do u and 2 have the same value?
False
Let s be (1048/(-2))/(10 + 2 - 851/74). Is s bigger than -1051?
True
Let i be (-1 - 39/15)/((-18)/240). Suppose 2*p = -0*p + 80. Let k = p - i. Which is smaller: k or -7?
k
Let p be -28 + (-3 - -1) + 3. Suppose 3*i + h = -h - 377, 2*i - h + 256 = 0. Let g = i + 100. Is g at least p?
True
Let n = 4/13153 + -140987023/52612. Do n and -2679 have different values?
True
Let i(s) = -5*s**3 + 27*s**2 + 56*s - 18. Let g be i(7). Is -242/13 greater than or equal to g?
False
Let x(j) = 22*j**2 - 1341*j - 60. Let a be x(61). Is 462.4 > a?
True
Let j = 8.748 + -8.548. Which is smaller: j or -1497?
-1497
Suppose 7*b - 4147 = -6*b. Let y = -341 + b. Is y less than or equal to -83/4?
True
Suppose 3*f = 191 - 182. Suppose 0 = 4*c + 2*y - 42 + 206, -f*c + 2*y = 109. Let i = c + 10. Is i > -29?
False
Let h be 1*((-263)/(-4) - 12/16). Is 513/8 less than or equal to h?
True
Let k be (-2 + 1 + -1)/((-72)/224*13). Which is greater: 0 or k?
k
Let u = -300.86 - -304. Let n = u + -1.14. Do 1.3 and n have the same value?
False
Suppose -4*j - 69 = -77. Let a be (13980/(-2322) - -6)/j. Which is bigger: a or -1?
a
Let n be (-5)/4*4/(-14). Let a be (-36)/(-20) + 2/10. Suppose 22 = a*h - 4*w, 3 = 4*h - 6*h - w. Which is bigger: n or h?
h
Let p be 219/24 - 1/8. Let a be -5 + (1 - 1) + p. Let c(u) = -8*u + 26. Let q be c(a). Is 0 greater than or equal to q?
True
Let s be (-6627)/(-4)*1 + 305/1220. Is s smaller than 1658?
True
Let d = 12232 - 12232. Is d < 22/1137?
True
Let b = 7 - 38. Let o = b - -31. Let j = 1.4 - 1.3. Is j at least as big as o?
True
Suppose 3*q + 19 = 4*j, j + 11 = 2*j - 2*q. Suppose -2*t = 72 - 76. Let x be (-59)/(-177) + (t/(-6) - 0). Is j less than x?
False
Let b = 13779 - 13522. Which is smaller: b or -1?
-1
Let c be (-19)/(57/(-72)) - -31954. Is 31978 > c?
False
Suppose 9 - 13 = 4*z. Let w be 2613/(-18)*-1 - 8/48. Do z and w have different values?
True
Let h = 62 + -58. Suppose -h*f + 182 = 3*f. Suppose 28 = p + f. Which is greater: 1 or p?
p
Let j = -6952.861 + 6918.2. Let w = j - -34.1. Is 1 < w?
False
Let k = 5713 + -3867. Which is smaller: k or -1?
-1
Let g(b) = 739*b + 38427. Let r be g(-52). Let o = -2/14905 - -59794/1296735. Let n = -86/5655 + o. Which is smaller: n or r?
r
Let v be 2 + 60/6 - 5 - 1233460/176200. Is v greater than or equal to -1?
True
Let g = 1306.37 - 1319. Let k = -2.23 - g. Is -1 less than k?
True
Suppose c = 3*c - 3*j - 30053, -105148 = -7*c + 3*j. Do 15019 and c have different values?
False
Let c be 2 + 149 + -3 + -4. Let v = c + -162. Suppose -14 = 2*q - 5*k, 2*k - 3*k = q + 21. Which is smaller: v or q?
v
Let s = -25927 + 31393. Which is smaller: s or 5465?
5465
Suppose -2*t = -y - 12, 2*y + 6*t - 4*t = 6. Suppose -l - 34 = 6. Let a be l/14 - ((-8)/2 - -2). Is a != y?
True
Let x(c) be the second derivative of -c**4/12 + c**3/2 - c**2 + 10*c. Let z be x(11). Let p be -2 + -1 - z/26. Are p and -1 nonequal?
True
Let h = -38 + 38.41. Let x = -619705 - -619711. Which is smaller: x or h?
h
Let j = -2015/776 - -264/