alse
Let o = -32/2833 - 373796/14165. Suppose -5*r = -4*u + 151, -2 = u - 6. Which is greater: o or r?
o
Let f = -0.12 - -3.62. Let s = 270 - 285.3. Let n = 16.3 + s. Which is bigger: f or n?
f
Suppose 57*w = -56*w + 3835 + 798. Which is greater: -32 or w?
w
Suppose 70*a - 62*a = 976. Let w = 121 - a. Is -3/220 greater than or equal to w?
True
Let m be (-1)/(296/90) - 2142/(-39627). Which is smaller: -2161 or m?
-2161
Let o be (-2*42/12)/(11/121). Is 11 less than or equal to o?
False
Let o be 6/(-8) + 741/(-276) + 3. Let z = o + -19/115. Which is smaller: -1/17 or z?
z
Let s be 11/(-14) + 26/(-7) + 4. Suppose 532 = -h + n + 129, -h = -4*n + 403. Which is greater: s or h?
s
Let l = 252/583 - -6/53. Let r = -42 - -46. Suppose 2 = -3*a - 13, -2*t - 18 = r*a. Is l at least as big as t?
False
Let b(v) = v. Let c be b(4). Let w(j) = 6*j - 26. Let z be w(c). Which is smaller: z or -0.12?
z
Let a be (-99)/(-21) + 1 + (-52)/13. Let i = a - 50/21. Is i less than or equal to 99?
True
Let a = 401.4 - 402.64. Which is bigger: -0.07 or a?
-0.07
Let x = -2209.977 + 2210. Are x and -0.22 non-equal?
True
Let h = -202/363 - -67522/363. Is 185 < h?
True
Let g = 1187.729 + -1188. Let d = g - -0.471. Let l = -8 - -14. Is d smaller than l?
True
Let j = -3788 - -3365. Is j <= -423?
True
Let b = 4659 + -4635. Which is smaller: b or 0.26?
0.26
Let g(k) = 10*k + 97. Let l be g(-7). Let d be ((-3)/(9/78))/(l + -29). Is d >= 10?
True
Let v = -238 - -239. Let a be (4/3 - v)*-81. Which is smaller: a or -26?
a
Let j be (-3)/((-244650)/489272) + -6. Does j = 1?
False
Suppose 114 = 2*u + 674. Let l be ((-6)/7)/(30/u). Let x be 4 + ((-44)/l - 4). Is x bigger than -7?
True
Let i be (-178020)/(-19092) - 9*1. Are i and -3/8 nonequal?
True
Let w = 919005581/10408 + -88298. Do -1 and w have the same value?
False
Suppose 5*l + 3*r = -2249, 0 = 2*l - r + 74 + 830. Is l less than -454?
False
Suppose 0 = 5*f - 845 - 235. Suppose 215*u = -n + f*u - 2, 0 = 3*n + 2*u - 4. Let c be 0 - 4/(-10)*1. Which is smaller: c or n?
n
Suppose -5*m + 17 = -4*c, -m - 10 = 3*c - 2*m. Suppose 13 - 13 = -10*k. Suppose 3*x = -3*i - k*x - 6, i = 3*x - 6. Is c > i?
False
Suppose -1352 = -103*g + 107*g. Let w = g - -129. Let s = w + 1466/7. Is -1/6 at most as big as s?
True
Let d = 11.7 - 6.4. Let s = d + -4. Let h = -0.08 - 0.12. Which is bigger: h or s?
s
Let s be 11/(19877/5)*3/15. Is s not equal to 2?
True
Let k = -0.55 - -5.55. Let l = -33 - k. Let p = 35 + l. Is 0.5 smaller than p?
False
Suppose 25 = -5*o, 0 = -5*r - 4*o + 3237 + 278. Is r at least as big as 708?
False
Suppose 252 = -19*h - 9*h. Let j(v) = -23*v - 226. Let p be j(h). Is -18 != p?
True
Let f(j) = -70*j + 561. Let x be f(8). Which is greater: -20/223 or x?
x
Let w(p) = 16*p + 214. Let s be w(-13). Suppose -s*b - 23*b = 0. Is b at least -14/45?
True
Let a(k) = 7*k - 15. Let y be a(-6). Let p = -29 - y. Suppose -2*f + 5*i = 2*i - 69, -2*f + 79 = -5*i. Which is smaller: p or f?
f
Let a be (-29 + 23)*4/30. Let q = -1.8 + -0.2. Is q less than a?
True
Let k be (-8)/4 - 7226966/(-3686302). Let s = k + 2/14513. Which is greater: s or 1?
1
Let d = 2081 + -1091. Suppose -14*k + d = -5*k. Which is smaller: k or 111?
k
Let l = -321.1 - -273.3. Which is greater: 3/4 or l?
3/4
Let i(s) = s**2 + 10*s - 3. Let y be i(-6). Let n = 1111 + -1014. Let t = n - 97.3. Which is bigger: t or y?
t
Let q be (-40)/(-10) - (-12)/(-3). Suppose q*k - 5*k + 105 = 5*p, 0 = 2*p + 4*k - 44. Suppose -p = 37*c - 35*c. Is c at most as big as -46/5?
True
Let h = -0.259 - -82.259. Let r = -140 + h. Which is bigger: 1/3 or r?
1/3
Let l = 0.4264 - 0.4644. Which is smaller: l or 3?
l
Let v = -15/44 + 1/11. Let q = -5.515 - 0.085. Let t = 5.4 + q. Which is greater: t or v?
t
Let i = 5269 - 5233. Which is greater: i or -3?
i
Let y(c) = -c - 6. Let o be y(-5). Let t be ((-734)/(-3000) - o/(-4))/2. Is 1 less than t?
False
Let r be ((-209)/5061)/(16/2712) - (-4 - 3). Which is greater: 0 or r?
r
Let a be (-1212)/42*300/(-90). Is 95 at most as big as a?
True
Let c be ((-31)/(-186))/((-2)/(-12)). Is 24/893 smaller than c?
True
Let m = -236/41 - -556139/96596. Is m greater than or equal to -1?
True
Let b = -154004 - -153910. Let d be (1/6)/((-2)/(-6)). Which is greater: b or d?
d
Suppose -2*w - 3 - 5 = o, -5*o = -5*w - 35. Suppose -2*v + v + 150 = -3*m, 0 = -3*v + o*m + 450. Is 149 less than v?
True
Suppose -5*u - 3*j - 19 = -37, -3*j - 12 = -5*u. Suppose 2*b = -0*v + u*v + 343, -5*b + 4*v = -847. Which is smaller: 169 or b?
b
Suppose -f = v - 109, 7*v + 436 = 4*f + 3*v. Is -4 greater than or equal to f?
False
Let o be 1 + 36/4 - (5 + -1). Suppose -4*r - 3*m = -o, -2*r - 3*m = m - 8. Which is smaller: -1/56 or r?
-1/56
Let n be (-4)/36*(7 - 5 - 4). Suppose -7*u - 25 = -2*u. Let h(l) = l**3 + 3*l**2 - 6*l + 5. Let z be h(u). Which is smaller: z or n?
z
Let m = 15.2 + -7.4. Let r = m - -68.2. Let c = 76.41 - r. Which is smaller: 0.1 or c?
0.1
Let b = -1527 - -1522. Is -10.4 greater than or equal to b?
False
Let r(i) = -i**3 - 2*i**2. Let t be r(-1). Let o be (-7054)/(-2178) - 3 - 6/27. Let z = o - -184/3509. Are t and z nonequal?
True
Let z = -13646 - -532502/39. Which is bigger: 9 or z?
9
Suppose 5*z - 2*f - 8 = 38, -f - 28 = -3*z. Let s be 2/z*(-50)/(-30). Which is smaller: s or 14?
s
Let v(j) = j - 6. Let w be v(5). Let n = -204 - -189. Let c be 35/n + (-6)/(-4). Is c <= w?
False
Let s = -183 + 182.7. Which is greater: s or 271?
271
Let o be (3 - 1)*8*-1. Let f = 253 - 197. Suppose 0 = 4*q + f - 0. Is q smaller than o?
False
Let q = 11/12 - 3169/3444. Do q and -1 have the same value?
False
Let u = -0.00777 + -0.19223. Which is greater: u or 2/103?
2/103
Let m = 155582/127 - -113/254. Which is greater: m or 1227?
1227
Let f be ((136224/286)/8)/((-6)/4). Is -40 smaller than f?
True
Suppose -3*a - 4*j = 3128, 3*j = 78*a - 73*a + 5194. Is a >= -1039?
False
Let k be -27*(0 + 3)/(-9). Suppose k*q - 214 = 7*q. Suppose 5*z + q = 227. Which is greater: z or 25?
25
Let b be (-12)/((49/3)/(-7)). Suppose 3*t = 9, -a - 9 = -4*a + 5*t. Let j be a/((-16)/(-12)*(-3)/(-2)). Do j and b have the same value?
False
Let v(s) = s**2 + 23*s + 41. Let c be v(-21). Let h be c/(5/(-25)*-5)*-205. Which is bigger: 206 or h?
206
Let u be 2/(-9) + 460/(-36). Let y = -2843 + 2829. Which is greater: y or u?
u
Let u = -3.8686 - 328.1214. Let m = -332 - u. Let v = 0.1 + -1.1. Which is bigger: m or v?
m
Let y be 4/22 + (-370)/(-22). Let j(a) = -14*a**3 - 2 + 18*a**2 + 15*a**3 - y*a + 14 + 27. Let u be j(-19). Which is bigger: u or 7/25?
u
Let s be (-2274)/(-63) - (-226)/(-2373). Is -19 at most s?
True
Let h = -127.4 + 127.267. Is h <= 15?
True
Let n be (-2 + (-91)/(-14))*4/36. Does n = 1122?
False
Let f(o) = 5*o**2 - 101*o - 107. Let t be f(-1). Is -2/77493 bigger than t?
True
Let k be (-198240)/(-2480) + -80 + (-33)/(-31). Let u = -129354/199 + 650. Is k not equal to u?
True
Let j be 3 - (6/(-18) - 2/(-6)). Let a be (2 - 9/j) + 25. Let r be (-626)/(-18) + a/108. Which is bigger: r or 34?
r
Let l = -358 - -230. Let y = l + 168. Suppose 0*n = -4*n + 164. Are n and y nonequal?
True
Let t = 673556/3 - 589361624/2625. Let i = t + -6/125. Let n = -7315 + 7315.2. Is i not equal to n?
True
Let c = -1.8354 + 1.8858. Which is greater: -25 or c?
c
Suppose -2*s + 417 = 2*w + 229, 4*s + 352 = 4*w. Do w and 6 have the same value?
False
Let m = -2681 - -9857. Let b = -35993/5 + m. Is -23 at most b?
True
Suppose -265 + 259 = -6*x. Suppose p + 12 + x = 0. Let q(n) = n - 6. Let u be q(-5). Which is smaller: p or u?
p
Let o be 12/(-27) + 1 + (-147)/(-27). Suppose 3*y - 2*m - 14 = 3*m, -2*y + 1 = 5*m. Suppose -o*s = -y*s - 12. Is 3 != s?
True
Let b = 5.8506 + -5.95. Let a = b + 0.0294. Which is greater: a or 1?
1
Let o be (-20)/(-50) - (2 + (-50884)/(-2210)). Let z = o - -320/13. Is 0 > z?
True
Let k(d) = -932*d - 2842. Let m be k(-7). Which is bigger: m or 3681?
m
Suppose 5*z + 44 = -2*m + 120, m = 3*z - 50. Let n be 40*(z/(-4) + 3). Are n and -155/4 unequal?
True
Suppose -1025 - 2939 = -21*d - 856. Which is bigger: d or 144?
d
Let f = 10491/2 - 20981/4. Let g = 64 + -202. Is f less than g?
False
Suppose 0 = 34*k - 427 - 3993. Let h be (-39)/k - 26/(-20). Let f = 0.043 + 25.957. Which is bigger: h or f?
f
Let m = 156 + -155.925. Let g =