 and 0.102 equal?
False
Let s = -12256 - -12255. Is -28/593 != s?
True
Suppose b = 13 + 8. Suppose -28 = b*t - 7*t. Is -1/21 > t?
True
Suppose 2*t + 15*w - 14 = 12*w, 0 = 2*t - 4*w + 14. Is -1/231 < t?
True
Let o = 0.121 - -104.879. Let r = -77 + o. Let m = 31 - r. Is m at most as big as -0.05?
False
Let t = -0.82 - 12.18. Let r = 13 + t. Let m = -0.087 - 0.113. Do r and m have the same value?
False
Let w = -69932/2299 - 427/121. Which is bigger: w or -34?
w
Let l be (0 - (11 + -5)) + (-3 - -9). Let k be (-16)/(-9) - (-6)/27. Suppose -b - k = -3*b. Which is greater: l or b?
b
Let m(z) = -z**3 + 13*z**2 - 17*z + 41. Let b be m(12). Let f(w) = 36*w + 2*w**2 - 1 - 35 + 3*w**2 - 3*w**2. Let r be f(b). Which is smaller: r or 3?
r
Suppose 4*j - 8 - 8 = 0. Let a be (9/(-4))/9 + (-29)/(-4). Let g be (-55)/77 + -2 + a. Which is greater: g or j?
g
Let k = -2596 + 2595.898. Is 2/7 bigger than k?
True
Let f = 233.73 - 234.3249. Is f not equal to 2/5?
True
Suppose -16*z - 659 = 1581. Is z less than or equal to 14?
True
Let n be ((-30)/18)/((-2)/6). Suppose 2*t + 13 = -2*r - 33, n*r + t + 119 = 0. Let j = r + 83. Do j and -0.1 have different values?
True
Let p = -63444179/53121 - 2/53121. Which is bigger: p or -1194?
-1194
Let n be ((-8)/4)/(30/45). Is -117/68 less than or equal to n?
False
Suppose -398*w + 410*w = -72. Suppose 5*n - 18 = -3*o - 59, n = -o - 11. Let f = o - w. Which is smaller: -5 or f?
-5
Let z be 42/(-9)*(-10)/(-4). Let a be 3 + 452/(-120) - (-3)/5. Let d = z - a. Which is smaller: d or -13?
-13
Let r be ((-2)/10)/((-54)/270). Let u(x) = -5*x + x + 3 + 2*x. Let d be u(r). Is d at least 1/80?
True
Let j = -0.307 + 0.114. Let v = 0.807 - j. Is v equal to -36?
False
Let i be (-7)/21 + 152/6. Suppose 15*s - 10*s - i = 0. Which is smaller: 57/13 or s?
57/13
Let y(d) = -1 - 3*d + 16 + 1. Let q be y(10). Let b = -15 - -3. Is q >= b?
False
Let c be -3*6/30*367/2. Let v = c - -110. Is v at most -1/5?
False
Let k = 378.86 - 378.9. Which is smaller: 40/21 or k?
k
Let d = 53468/3 - 17479. Let w = d - 343. Which is smaller: w or -0.95?
-0.95
Let u = 55 + -53. Let o(q) = u*q + 3 + q - 3*q + q. Let i be o(-13). Is i less than or equal to -11?
False
Let f = -5/32991 + 52224853/659820. Let m = -291/4 + f. Which is bigger: m or 6?
m
Let a = 16.7023 + -6.4023. Let s = 4 + -2. Is s greater than or equal to a?
False
Let n(u) = 20*u + 84. Let f be n(-4). Suppose -9*a = f*a + 3*a. Is a < 8/25?
True
Let l = -76/2669 + 15701/82739. Let i = -3 - -4. Which is bigger: l or i?
i
Let t = -2/1819609 - -16116276955/38211789. Let u = t - 422. Let k = 4 + -3. Is k at most u?
False
Suppose -k - 4 = -4*l + 1, -2*k + 4*l - 10 = 0. Suppose 0*v + 1760 = 20*v. Let s be v/(-10) + (-3)/(12 + 3). Do s and k have different values?
True
Suppose -3*q + 15 = 0, -7*t + 2*t - 2*q = -135. Let a = t - 26. Which is smaller: 2/253 or a?
a
Let b(j) = 1278*j + 968. Let p be b(-3). Which is smaller: p or -2867?
-2867
Let p(v) = -22*v + 232. Let u be p(8). Let k be (42/u)/(-5 - -2). Is 1 less than k?
False
Let u = 1066078/7 + -152608. Which is smaller: -312 or u?
-312
Let x = -7136/115 + 626701/1265. Let m = 433 - x. Let o(n) = -n**3 + 6*n**2 + 7*n + 1. Let y be o(7). Do y and m have different values?
True
Let s = 5209.3 - 5537. Let f = -326 - s. Which is smaller: f or -7?
-7
Let f(n) = 64*n - 1124. Let y be f(-11). Is y smaller than -1828?
False
Let w be ((-1)/(-3))/(48607/747162 - (-30)/(-465)). Is w at most as big as 3?
False
Suppose i - 2269 = -2*m, 9*m = 7*m + 3*i + 2265. Suppose -14*r + m = 13*r. Is r greater than 20?
True
Let x be (-9768)/36 - (-10)/(-6). Let p = x - -1364/5. Let o = 49 + -84. Is p > o?
True
Let w = 2 - -2.1. Let i = 1.9 + w. Let l be (-37)/45 - (-723)/1205. Which is smaller: i or l?
l
Suppose 4*z + 560 = 2*u, -4481*z + 4478*z - 5*u = 446. Is -187 greater than or equal to z?
False
Suppose -6987*q + 5984 = -7003*q. Is -379 smaller than q?
True
Let v be (-5 + -4)/(3/(-30)). Let j be (14/(-21))/((-12)/v). Let o be 2*1/(4/6). Which is greater: o or j?
j
Suppose 19*a + 10*a + 4*a = -5*a. Is 2/25621 less than a?
False
Let l(j) = -8*j**2 - 14*j + 44. Let r be l(3). Which is smaller: -85 or r?
-85
Suppose 0 = -5*b - 260 + 285. Suppose 1 = -2*m - w - 8, b*m + 16 = 4*w. Which is greater: -6 or m?
m
Let m be 4 + (4040/75 - 12) - (-4)/30. Which is smaller: m or 206?
m
Let u(f) = 2 - 134*f**2 - f**3 - 4 + 139*f**2 + 2*f. Let h be u(5). Suppose -7 = -h*c + c. Are -7 and c equal?
False
Let h(z) be the second derivative of z**4/12 - 2*z**3/3 - 3*z**2/2 + 3*z. Let u be h(10). Let k = 33 - u. Which is smaller: k or -25?
-25
Let q be -23 + 10962/(-90) + 17. Which is bigger: q or -127?
-127
Let q be (-138320)/(-1197) - 2/36. Is 116 not equal to q?
True
Let n(j) = -3*j - 1. Let v = 9 + -12. Let c be n(v). Let y(q) = q**3 - 4*q**2 - q - 12. Let z be y(5). Is c <= z?
True
Suppose 2*i - 7 = s, -2 = -3*i - s + 11. Suppose i*w + 921 = 309. Which is smaller: -151 or w?
w
Let p = -247 + 424. Let w = -97 + p. Which is smaller: w or 84?
w
Let n be ((-224)/119)/(0 - -2). Suppose 2*f + 32 = 4*x, 2*x = 4*f - 31 + 53. Is f less than or equal to n?
True
Let n(v) = v**3 + 5*v**2 - 7*v - 3. Let p be n(-6). Let k(o) = 29*o**3 - 2*o**2 - 6*o. Let t be k(-2). Let l be p/t*67 - 3/(-12). Which is greater: l or -2?
l
Let d(u) = 65*u**2 - 39*u**2 - 9*u**3 + 8*u**3 + 27*u. Let g(n) = -3*n. Let a be g(-9). Let z be d(a). Which is smaller: z or -3/5?
-3/5
Let c be (-97 - (2 + -4)) + (-8)/4. Is c greater than or equal to -102?
True
Let c = -7213 + 7230. Do c and -35 have the same value?
False
Let p be (6/(-10))/(-1) + 402/30. Let i be (-8274)/(-102) + p/(-119). Which is smaller: 82 or i?
i
Let h = -16 - -27. Suppose 5*j - h = -21. Which is bigger: j or 0.4?
0.4
Let w = 7089 + -7090. Is w at most as big as -7031?
False
Suppose 0 = -q + 4*s - 658, 204 - 2185 = 3*q - 5*s. Do -3313/5 and q have different values?
True
Let o = 104 - 1562/15. Let u = 27 + -51. Let p = u + 23. Is o less than p?
False
Let c(h) be the third derivative of -h**4/12 - 10*h**3/3 - 8*h**2. Let t be c(-16). Let m be (-4)/t*3*-1. Which is smaller: m or 2/27?
2/27
Suppose 40*t - 700869 = -9189. Is t equal to 17291?
False
Let y = 9741 + -9517. Which is smaller: y or 0.5?
0.5
Let j = 0.148 - 91.148. Let y = -91.02 - j. Let g = 0.12 + y. Which is greater: g or -1/13?
g
Let v(u) = -u - 1. Let p be v(2). Let y be p + 8 - (-4 + 4). Let r be (y - (-15)/12) + 2/(-8). Do -3 and r have the same value?
False
Let j = 8867 + -8866.275. Which is smaller: -5 or j?
-5
Let c = -264 + -2. Let d = 280 + c. Is d < 0?
False
Let l = 817076/223 - 3664. Which is bigger: l or 1?
1
Let n = -90 - -89.732. Let f = -93.681 - -93.581. Is f <= n?
False
Let b = -13743 + 13742.84. Which is greater: 85 or b?
85
Suppose 4*s - 2 = -f - f, -3*s + 14 = -f. Suppose -29*c + 1672 = 15*c. Suppose -r - s = c. Is -42 >= r?
False
Let f be 2*4/(-6)*((-19999)/(-28) + -1). Which is smaller: -948 or f?
f
Let i(g) = -12 - 13*g**2 + 2 + 13*g - 5*g**3 + 2*g**3 + 2*g**3. Let c be i(-14). Suppose c*j - 15 = -4*k - 119, -2*j + 98 = -3*k. Which is greater: k or 2/3?
2/3
Suppose l = -5*t + 19, t - 4*t + 29 = 5*l. Let p be (l + -3)*(-5 + 4). Let o be (-1)/(-4) + (-65)/120. Is o > p?
True
Let s = -131 - -395/3. Let y = -226.02 + 229. Let q = y + 0.02. Which is greater: s or q?
q
Suppose 190 = -18*m + 56*m. Let v be m/20*-2*-74. Suppose -3*l = -102 - 12. Does l = v?
False
Let h = 86 - 179. Let y = 5861 - 5861. Is h less than or equal to y?
True
Let p(i) be the third derivative of -5*i**4/24 - 17*i**3/2 - i**2 - 29*i. Let q be p(-10). Which is smaller: -11/9 or q?
-11/9
Let p = -248 - -236. Let m be p/(-27) - 169/117. Is m greater than 1/106?
False
Suppose 5*k - 29*k - 7896 = 0. Let l = -326 - k. Is l smaller than 4?
True
Let k = 72 - 127. Let n = k + 55. Which is greater: n or -14/11?
n
Let u = 11364 - 11364. Are 2195 and u non-equal?
True
Let c(r) = 267*r**2 - 4*r - 3. Let z be c(-1). Suppose 30*f = 34*f - 1076. Which is greater: z or f?
f
Let b = 222 + -218.1. Let w = -4 + b. Which is smaller: w or -11/6?
-11/6
Let s be ((-55)/(-550)*8/3898)/(2/1). Which is smaller: s or -1?
-1
Let m = -17310 + 17310.2. Which is smaller: -891 or m?
-891
Suppose 0 = 8*p - 442 + 402. Suppose p*s - 4*s - 357 = -4*f, 3*f - 2