525. Let k be 7*(-19)/((-1463)/(-110)) - -11. Which is smaller: l or k?
l
Let y = 653.665 + -654. Let x = 1.665 - y. Are -60 and x non-equal?
True
Let n = 92/255 + -14281/40290. Is n at most -11?
False
Let m be (-4)/7*(0 + -309 + 8). Which is greater: m or 167?
m
Suppose 2*u + 320 = 2*t, -11*t - u + 660 = -7*t. Suppose 5*c - 5 = -5*j, -4*j + c + 1 = -3. Is t >= j?
True
Let v = 93 - 88. Suppose -2*t - 2*f + 6 = -3*t, -v*t + 5*f = 10. Is t greater than 3?
False
Let o = -6 + 40. Suppose 2*x = o - 126. Let r = x - -46. Which is smaller: r or 1?
r
Suppose 1152*q = 1137*q - 300. Let c(d) = -d**3 + 8*d**2 - d - 8. Let k be c(8). Are k and q nonequal?
True
Let k be 190/8 - 1/(-4). Suppose 0 = -14*j - 2256 + 8696. Let t = j - 437. Is t >= k?
False
Let k = -0.379 - -0.579. Is k <= -127?
False
Let o be (44/(-150))/(24/40). Let i = o - -1384/3015. Which is smaller: 0 or i?
i
Let v(w) = w**2 + w - 2. Let z be v(3). Let g be ((-99)/(-9))/(-24 + 25). Do z and g have the same value?
False
Suppose 261*t = l + 262*t - 2812, -3*l + 5*t + 8428 = 0. Is l < 2811?
False
Let j = -0.12 + -3.88. Let n be 0/(1 + -6 + 4). Let w be 1 + ((-3)/4 + n)/3. Which is bigger: j or w?
w
Suppose 3*f - 20839 - 10895 = 0. Let c = 6399692/605 - f. Which is smaller: c or -1?
-1
Let g = -0.8 + 1. Let a(x) = x**2 - 15*x. Let y be a(18). Let q be (0 - 4/22)/(52 - y). Which is smaller: g or q?
q
Let q be 7/((-7)/6) + 352. Let k = -278 + q. Is k equal to 68?
True
Suppose -12032329 - 560311 = 512*l. Is l at least as big as -24595?
True
Let f be (-1)/(-4)*(-8 - (-444)/37). Which is smaller: f or -6/55?
-6/55
Let v = -0.05305 - 0.14695. Are v and 0.1854 nonequal?
True
Let f = 122 + -122. Suppose f = 7*g + 22 - 15. Is g at least 7/19?
False
Let q(j) = -j**2 + 7*j - 27. Suppose 0 = -3*y - 4*d + 1, -4*y + 2*d = -16 - 0. Let s be q(y). Which is smaller: s or 8?
s
Let g be ((-10)/(-3) - 3)/(56/(-40)). Let r = g - 86/21. Which is smaller: r or -3?
r
Suppose 13*q + 2000 = 9*q - n, -16 = 4*n. Let k = q + 501. Is k bigger than -53?
True
Let y = -3834 + 6263. Is y not equal to 2429?
False
Suppose -2247*q + 2245*q = 56. Which is bigger: 4 or q?
4
Suppose 0 = -7*k - 1451 - 446. Let b = 4605/17 + k. Let c = 196/1955 + b. Which is greater: 1 or c?
1
Let a = -329 + 332. Suppose -a*q + 24 = -7*q. Is -4 greater than or equal to q?
True
Let u = -0.0303 + 0.091. Let d = -0.0607 + u. Let i = -0.1 - -0.3. Which is smaller: d or i?
d
Let h = 4362 - 30446/7. Which is smaller: h or 28?
h
Let x be (-12410)/272 - 15/40. Suppose 7*g + 109 = -2*t + 2*g, 136 = -3*t - 2*g. Which is greater: t or x?
t
Let r(z) = z**3 - z**2 - z + 2. Let l be r(-2). Let t = -1670 - -1115. Let b = 552 + t. Which is smaller: b or l?
l
Let i be 22/(-2783)*(0 + 1). Let t = i - -257/506. Is t > -2/193?
True
Let r = -658 + -925. Is r bigger than -1/2?
False
Let c = -39 + 41. Let k be (12/(-10))/((-1)/((-5)/2)). Let m be k + (-620)/(-264) - c/11. Which is greater: -0.1 or m?
-0.1
Suppose -2*c - 24 = -116. Let p = 45 - c. Let n be ((-5)/((-25)/(-15)))/p. Does n = 0.03?
False
Let p = -11476 + 11477.2. Is -240 bigger than p?
False
Suppose -20 = 5*l - j - 60, -j = 4*l - 32. Let w(y) = -y**3 + 3*y + y + y - 3*y + l*y**2 - 6. Let r be w(8). Which is smaller: r or 11?
r
Let t = 42670144/50577 + -5/16859. Which is smaller: t or 844?
t
Let q be (5253/(-31527))/(6/(-72)) + -2. Let n = -28046/38533 - q. Is n greater than 0?
False
Suppose 0 = j + 1, -5*j + 19 - 2 = -2*u. Let a be 8/44 - ((-211)/u - -3). Let b = 20 + a. Is -7 greater than or equal to b?
False
Let t = -30.69 + 30.39. Let l be 0 + 1 - (-716)/(-708). Is t < l?
True
Suppose -30*s - 19 = -49. Let n = 6 + -9. Let o be (11/(-4) - n) + 2. Is s less than o?
True
Suppose -11*s + 48*s = -45*s - 16974. Are -198 and s unequal?
True
Let s be ((-2)/(-4))/((-25 - -10 - -13)*1). Are s and 1.532 equal?
False
Let i = -0.2598 + -38.2702. Let b = i - -40.3. Is b bigger than 0.1?
True
Let j = 76286 + -839710/11. Let t = j + 103/2. Suppose -3*a + 4 = -7*a. Is a greater than t?
False
Let t = -6826 - -6819. Which is bigger: 16 or t?
16
Let w = 144.222 - 144.18. Is w less than or equal to 81?
True
Let a = 272 - 300. Let m be 2947/(-28) + a/4. Are -112 and m equal?
False
Let m(c) = -c**3 + 3*c**2 + 14*c + 21. Let q be m(6). Let g be -7 - q*(-56)/(-12). Do g and 7 have the same value?
True
Let t = 884937 + -884995. Let i = 16777 - 84169/5. Is t < i?
True
Let o be (-4)/(-6) + (-1680)/2574. Let k = 17076 - 51226/3. Which is greater: k or o?
k
Let o = -41570 - -33869. Is -2 at least as big as o?
True
Let c = 9716 - 10112. Which is bigger: c or -373?
-373
Let p = -2.32 - -1.21. Let z = p + 1.09. Do z and -2/7 have the same value?
False
Let j = -1.42 - 0.58. Let v = 1.402 - 3.402. Is j equal to v?
True
Suppose -53*v + 58*v = 250. Let f be (-1 + -4)/(v/(-60)). Let j be (-16)/f - -1 - 6/(-9). Is -12/11 at most as big as j?
True
Let v = 89 + -621/7. Let h = -0.0371 + -27.0629. Let f = -11.1 - h. Is v not equal to f?
True
Suppose -3*a - 10 = -76. Suppose 3*l = -3*q + 94 - 13, 2*q + 5*l - 63 = 0. Which is smaller: q or a?
a
Let u(h) = -h**2 - 6*h - 22. Let g be u(-9). Let c = g - -77. Let q be (c - 30) + (1 - (-74)/10). Is q <= 7?
True
Let g = -369 + 176. Let d = 343 + g. Let w = -149.9 + d. Which is smaller: 7 or w?
w
Let q be (-197)/(18/((-5382)/(-13))). Is q at least as big as -4532?
True
Let t(i) = -i. Let g be t(-2). Suppose 0*q - 176 = -g*q + 4*l, q - 5*l - 94 = 0. Let h(z) = z**2 - 130*z + 2005. Let a be h(17). Do q and a have the same value?
True
Let k be (-4)/(-3)*3 + -423. Let v = k + 2088/5. Let t = v + 13/5. Which is bigger: 0 or t?
t
Let k = -2.5577 - -2.6577. Is k < 391?
True
Let y = 1.559 - -0.441. Let f = 2.1 - 1.8. Let t = -1.3 + f. Is y smaller than t?
False
Let q be (-565)/(-10)*-2*41/171. Let a = -241/9 - q. Let v = -354/323 - a. Do -1 and v have the same value?
False
Suppose 5*z + 1737 = 2*t - 2822, t - 2281 = 4*z. Is 1 equal to t?
False
Let g = 308 - 309. Let k = -2366 + 541813/229. Which is smaller: g or k?
g
Let r be (4978620/(-100))/17*(-2)/6. Which is smaller: r or 976?
976
Let u = -3095/5192 - -45/88. Let j = 3300171/1229560 + 3/4168. Let m = u + j. Which is greater: 4 or m?
4
Let t be 10/55 - 38393/77. Let w be (-35)/10*(-143 - -1). Let d = t + w. Which is bigger: 0 or d?
0
Let q be (-185562)/(-2223)*(-2 - -3). Which is smaller: 83 or q?
83
Let s(w) = w**3 + 8*w**2 + 4*w - 12. Let m be s(-7). Suppose -3*l - 21 = 4*t, -7*t + m = -4*t. Let h be (1 - 5)/((-10)/(-25)). Are h and l non-equal?
True
Suppose 25 = 5*d, -d + 11 - 22 = -2*o. Which is greater: o or -2256?
o
Let s be ((-72)/33 + 2)/(400/(-880))*10. Which is smaller: 127/48 or s?
127/48
Suppose 4*f + 3*s - 230 = 0, f + f - s - 110 = 0. Suppose 4*c = w + 4*w + 206, -c - 1 = 0. Let y be w/f + 3/(-4). Is -1 smaller than y?
False
Suppose 3*h = -2*o - 2414, -61*h - 2394 = 2*o - 63*h. Is o at least as big as -1202?
True
Let y = -2/3221 - -473495/12884. Let l = 37 - y. Let r(s) = -s**3 - 5*s**2 + s + 4. Let q be r(-5). Which is greater: l or q?
l
Suppose -105*a + 4*x = -108*a + 270, 2*x = 2*a - 152. Is 83 greater than or equal to a?
True
Suppose w + n = 33, -806*w - 4*n = -801*w - 171. Which is greater: w or 83?
83
Let q = -0.75 - -1.03. Let i = q - 47.28. Let u = i - -57. Which is smaller: 1 or u?
1
Let z(v) = -16 + 8*v + 40 - 7*v + 8*v - v**2. Let u be z(8). Suppose 5 - u = -d. Are d and 29 equal?
False
Let m(j) = -58*j - 184. Let y be m(-14). Suppose 0 = 16*f - y + 324. Let z = -0.2 - -0.2. Which is smaller: z or f?
z
Let m = 16 - 12. Suppose -9*a + m = -11*a. Which is greater: -15/7 or a?
a
Let c = -570.89 - -546. Let t = 24.47 - -0.53. Let r = t + c. Which is greater: r or 2?
2
Suppose 4 = -3*o - g, 3*o + 24*g = 21*g - 18. Which is smaller: -8/773 or o?
-8/773
Let s = 5016.4 + -4579. Let y = s + -425. Which is smaller: 0.1 or y?
0.1
Suppose -12*q = -3*q. Suppose 2*i + 0*i = -3*b + 37, q = 3*i + 2*b - 48. Let f = i + -16. Which is greater: 1 or f?
1
Let l be 14 + 4*-4*(-12)/(-64). Let b(j) = -2*j**2 + 29*j - 76. Let g be b(l). Is 1/82 bigger than g?
False
Suppose 3*v = v + 4*u + 20, 3*u + 15 = 4*v. Let x be (347/369)/(8*1). Let t = x - 19/72. Which is smaller: v or t?
t
Let i = -1900.143 - -1901. Let f = -2.857 + i. Which is smaller: -7 or f?
-7
Let