ppose -o + 2 = -b, 0 = -2*b + 5*o - 0*o - 19. Do h and b have the same value?
False
Let q be (-96)/(-285)*(-11)/132. Which is bigger: 1 or q?
1
Suppose 0 = d - 5*r + 411, -5*d - 662*r + 670*r = 2157. Which is bigger: -444 or d?
d
Let u be 1/(-3)*(1 + -4). Let t be (-3)/7 - (-41)/((-13489)/(-470)). Is t greater than or equal to u?
True
Let q be (2/(-4)*-4)/(10/(-145)). Let b be 623/(-21) - 28/42. Which is bigger: b or q?
q
Let o be (3600/(-70))/((-1)/7). Suppose 1036 = -13*m + o. Is -54 bigger than m?
False
Let p be (-7)/(315/144432) + 1 + 6/(-15). Is p less than or equal to -3209?
True
Let w be ((2 - 3) + 5)*(1 - 0). Let p be (-3 - 7593/(-2532))/(2/w). Which is greater: p or -1?
p
Let o = 4.061 + -5.061. Which is smaller: -192.82 or o?
-192.82
Let q = 203 + 173. Let s = q - 455. Which is bigger: s or -78?
-78
Suppose -4*b = -5*v - 25, 3*v - b = b - 13. Let o = 2/3165 - 6344/22155. Which is greater: v or o?
o
Let u(q) = 37*q - 67. Let h be u(2). Let d be (h + (-3482)/498)/((-4)/(-3)). Are d and 1 non-equal?
True
Suppose 5*g - 3*s = -2*s - 14, 0 = 4*g + 4*s + 16. Let d be 5 + 84/(-18) + 1/g. Suppose -5*f + 8*f + 78 = d. Is f less than -25?
True
Let x = -136.65 - -120.65. Do x and 97 have different values?
True
Let t = -299 + 415. Let g = 116 - t. Which is greater: g or -3/148?
g
Let c(p) = -24*p**3 - 6*p**2 + 33*p + 149. Let i be c(-6). Is i greater than 4920?
False
Let k(v) = -2*v**2 - 6*v + 12. Let x be k(-4). Suppose 0 = 5*m + 3*l - 165, x*m + 5*l = 2*l + 135. Is -2 equal to m?
False
Suppose -v - i + 5*i = 283, i = 5. Let a = v + 162. Is -101 equal to a?
True
Suppose -5*z = -c + 2562, 51*z - 10182 = -4*c + 49*z. Is c at most as big as 2545?
False
Let l = -168.022 - -168. Let q = l + -0.248. Is q smaller than -2/13?
True
Let f(c) = -22*c**3 + 4*c**2 + 5*c + 1. Let q be f(-1). Suppose -8 = 2*j - q. Which is smaller: 3 or j?
3
Let d(h) = -h - 5. Let r be d(24). Let v = -26 - r. Let p be (-3 - 0) + (-40)/36*v. Is p at most -6?
True
Let j(x) = 223*x - 1995. Let f be j(9). Which is smaller: 419/38 or f?
419/38
Let h = 442 + -532. Is 1 at least h?
True
Let j(n) = 11*n - 103. Let r be j(-13). Let t = r - -29. Does t = -217?
True
Let n = 3160 - 3162.753. Let r = -2.81 - n. Which is bigger: r or 1?
1
Let s = -13482 - -13482.5. Which is smaller: s or 25.65?
s
Let j = 0.067 - 0.01. Let s = j - 0.057. Which is smaller: s or 0.2?
s
Let k = 6.624 - 6.081. Is -0.08 equal to k?
False
Let j be (-47345)/(-340) - ((-1)/4)/(-1). Let k = j + -140. Is 2/487 < k?
False
Let s = 8.6735 + -8.18. Let k = -0.0065 - s. Is 3/13 less than k?
False
Let c = -1136 + 777. Let l = 583 + c. Let q be 64/112 + 6/l*2. Is q less than or equal to 2?
True
Let k be 440/2*(-10)/(-20). Let w be 0 - k - (-4)/48*0. Is -108 at most as big as w?
False
Let h(s) = 22*s + 22. Suppose 23 = -2*r - r - 4*v, 0 = r + 3*v + 6. Let c be h(r). Let w be (-2 - c/40)/(4/10). Which is bigger: w or 21/4?
w
Let a = 0.036 + 0.784. Let k = a + 62.18. Let s = 62.9 - k. Is s bigger than 1/5?
False
Let m be (207/(-15) - -3)*5. Let j = -10265 - -10266. Which is bigger: j or m?
j
Suppose -2*n + 5 = 5*v, 3*n - 3*v = -18 - 27. Let u be 20/(-6) + 3 - n/20. Let j be (1 - -1)/(-2)*-3. Is j bigger than u?
True
Let t = -16.433 + -0.367. Let s = t - -16.8. Is s at least -0.399?
True
Let m = -18343 + 9483337/517. Which is greater: 0 or m?
m
Let f(q) = 20*q + 16. Let d be f(-4). Let t be 2 - d/(-36) - (-131)/(-90). Let b = t + 7/5. Which is smaller: b or -2/3?
-2/3
Let q(w) = w. Let k(y) = 4*y - 60. Let g(m) = -k(m) + 2*q(m). Let r be g(-11). Which is bigger: r or 81?
r
Let f(c) = -3*c - 47. Let o(l) = 9*l + 16. Let a be o(-4). Let s be f(a). Suppose -8*g - 25 = -s*g. Is 29/5 greater than or equal to g?
True
Let s(g) = -14*g**3 + 5*g**2 - 27*g - 28. Let b be s(-7). Let v be 2598/b - (21/6)/7. Which is smaller: v or 0?
v
Suppose -104 = 991*n - 1004*n. Which is smaller: n or 144?
n
Let n(w) = -2*w + 9. Let m be n(6). Let y be (-75)/(-50)*1/m. Which is smaller: y or -2?
-2
Let p be (-1590)/468*3*30. Let j = p + 306. Which is greater: 1 or j?
1
Suppose -50 = -5*h + 3*g, 4*h + 0*h + 2*g - 40 = 0. Suppose -h*d - 144 = -19*d. Suppose d = -10*k + 16. Is k at most -5/13?
False
Let y(j) = -12*j + 3. Let w be y(2). Suppose 0 = i - 7, 2*q - 5*i = -7*i - 36. Is q greater than w?
False
Let u be 4957/6765 + 28/21 + -2. Let y = 3/451 + u. Suppose 4*r = -4*a + 20, -5*a = -r - 0 - 1. Is a less than y?
False
Let d be (1204/86)/((-3)/53). Is d greater than -246?
False
Let l(f) = -20*f + 62. Let u be l(16). Let q be 8/84 + 2 + u/(-84). Are 6 and q unequal?
True
Let p = -7/104 + 6091/104. Suppose -424*a = -421*a. Is p less than a?
False
Let h = -165.4 + 25.4. Let c = 56 + h. Let z = c + 82. Which is greater: z or 5?
5
Let f = -1026 + 3013/3. Let v be (-183)/9 + (-2)/3. Which is smaller: f or v?
f
Let m = -165651 - -629308144/3799. Which is smaller: m or 1?
m
Suppose -3*o - 291*a - 33 = -294*a, 3*o = 4*a - 39. Which is bigger: o or -702/109?
o
Let v = -1364 - -634. Let i = v - -730.1. Is 1/5 bigger than i?
True
Let a(k) = -k**3 - k**2 - 8*k - 41. Let x be a(-3). Which is smaller: 12/4705 or x?
12/4705
Let u = -0.19375 - -0.30375. Let y = -7 + 5. Is y greater than u?
False
Suppose 5*r = 4*i + 67, -4*r = -i - r - 22. Suppose 6*y + 20 = 18*y - 14*y. Which is smaller: i or y?
i
Let v(h) = 16*h - 2. Let w be v(1). Let l be (-36)/(-21) - (-4)/w. Suppose 0 = -i + l*q + 2, 0 = -0*i - 4*i + 5*q + 2. Which is smaller: i or 1?
i
Let n(g) = 27*g**2 + 14 - 20*g**2 - 5*g + 4*g + g**3. Let d be n(-8). Is d greater than -40?
False
Suppose 5*t + 4*v - 3395 = 0, -84*v + 81*v + 679 = t. Which is greater: t or 678?
t
Let b = -16878/5 + 3375. Which is smaller: b or -37/5?
-37/5
Let v = 445 + -445. Suppose v = 19*g - 27 - 315. Which is smaller: g or 21?
g
Let z = -70 - -70. Suppose -8*b = -12*b + 12. Let t be b/30*-6 - -1. Is t less than or equal to z?
False
Suppose 0*g - 10 = -12*g + 14. Which is bigger: g or 58?
58
Let z(j) = -j**2 - 35*j + 115. Let n be z(-38). Let y = -1 + 17. Let p = y + -16.28. Which is bigger: p or n?
n
Let w = 1049 - 1061.53. Let r = w - -13.2. Let u = 0.57 - r. Is u at most -0.3?
False
Let i(a) = -2*a**2 - 29*a + 370. Let o be i(8). Which is smaller: -29 or o?
-29
Let j = 8218/5 - 1670. Let h(y) = -2*y**2 - y + 2. Let r be h(-4). Is j bigger than r?
False
Let t be 2/(-1)*(-39)/2. Let j be (-50)/(-20)*8/(-10)*(-1)/(-2). Let q be j*t - 0/2. Which is bigger: q or -40?
q
Let y = 2848/15 - 577/3. Suppose -1086*f - 403 - 683 = 0. Is y < f?
True
Suppose -2*n + 2*z - 4 - 4 = 0, 0 = -2*n + z - 4. Suppose -4*k = -4*r + 15 - 3, n = k + 5*r + 3. Is -5 smaller than k?
True
Let i be 84125/(-220) + -10 + 893/76. Which is smaller: -381 or i?
-381
Suppose 5*o - 1241 + 1251 = 0. Let x be 2/o - (-10)/735*99. Is x greater than or equal to 0?
True
Let o = -10.556 - -10. Let g = 56.756 + o. Let d = -56 + g. Which is bigger: d or 18?
18
Let z be 18/(4/4) - 3. Suppose r = -3*g - 2*r - 21, -z = 3*g + 5*r. Let a be g/(-24) - 1*(-1)/4. Do -0.6 and a have the same value?
False
Let p = 0.328 - 0.248. Let h = 836/8575 - 6/343. Is h less than p?
False
Suppose 15*k = 13*k + 138. Suppose 60*r = k*r + 9. Which is smaller: -2/183 or r?
r
Let r(h) = h**3 - 13*h**2 + 44*h - 1. Let i be r(5). Suppose 18*w - i*w = -4. Is 25/6 less than w?
False
Suppose 3*z = 24, -4*s - 25*z - 1580 = -21*z. Which is smaller: s or -2816/7?
s
Suppose 3*a - 2*v = 6, 69*a - 66*a + 3*v = -9. Does a = -45/103?
False
Let o(c) = c**3 + 5*c**2 + 4*c. Let m be o(-3). Let f be 3/((-190)/65 + 3). Let z = m - f. Is -33 equal to z?
True
Suppose 6 = -3*x + 3*d, 16 - 24 = 4*d. Let t be (x/(-6))/(11/(-8 + -2500)). Which is bigger: 1 or t?
1
Let n be (-3)/64 - 0*2/10. Let w = 845/7104 + n. Which is smaller: w or 1?
w
Let r be -4 + ((-20)/30)/((-10)/15). Do r and -62/41 have the same value?
False
Let v(x) = x**2 - 36*x - 71. Let f be v(-2). Let s = 2.13 - -6.94. Let o = 0.07 - s. Which is smaller: f or o?
o
Suppose 3*t - 3*k + 90 = 0, 59 = -2*t + 5*k - 2*k. Let h = 153/5 + t. Let y = -5050 - -5049. Which is smaller: h or y?
y
Let n = 7932 - 7896. Is n at least 4/41?
True
Suppose -3*l + 1395 = 3*y, 3*y = -2*l + 491 + 433. Is l greater than 476?
False
Let d(t) = -3*t - 55. Let l be d(-18). Suppose -x - 4*x = -x. Let