Which is smaller: 0 or r?
0
Let t = 1/1555 + -946/20215. Let m = 18 + -14. Let d be (3 - 7 - 0) + m. Is d not equal to t?
True
Let w(l) = -l**2 - 7*l + 21. Let v be w(-9). Let i be 6*1*(1 + -3). Let y be (93/i)/(v/(-12)). Is y smaller than 30?
False
Let c = 341 + -339.775. Let a = c - 0.225. Let j be (-4)/18 + (-105)/(-351). Is a >= j?
True
Let p be (-13467)/(-30) - 665/(-190). Which is greater: 453 or p?
453
Let r = 163333157339253/44215745941 - 17/95912681. Let z = r + -3694. Which is greater: z or -1?
z
Let z be -29 - (5/(-5) - 0). Let n(r) = r**2 - 40*r + 362. Let p be n(14). Which is greater: p or z?
p
Suppose 0 = -5*c + 4*i - 1910, -c - 1487 = 3*c + 5*i. Let n = -4161/11 - c. Suppose 3*v = -t + 3, 3*v + 2*t = 7*v + 6. Which is greater: v or n?
v
Suppose v = -61 + 87. Let j be (-39)/v - 26/4. Which is greater: -5 or j?
-5
Let u = -169 - -262. Let z be (-3)/(-2*u/(-6)). Let b(k) = -10*k**2 + 31*k. Let j be b(0). Is j greater than z?
True
Let i be 6/((-952)/700*35). Which is bigger: 6 or i?
6
Suppose 0 = -42*m + 49 + 203. Suppose 10*u = 16*u + m. Is -1/119 >= u?
True
Suppose -2*k = 3*s - s - 18, 6 = 2*s - k. Let w be (-11)/((-154)/21)*16/6. Suppose -5*o - 3*u + 75 = 0, w = -o - 3*u + 19. Which is greater: o or s?
o
Suppose -90 = 12*z + 3*z. Let u(r) = 11*r + 67. Let g be u(z). Which is smaller: -2/103 or g?
-2/103
Let f = 327313 - 2942395/9. Which is smaller: 379 or f?
379
Let a = 0.012 - 191.012. Let p = a - -191.2. Which is smaller: 0.1 or p?
0.1
Let n = -342827/2 - -167532. Is n at most -3883?
False
Suppose -5*a = -4*c + 260, -2*c + a + 132 = -a. Suppose c = -o + 6*o. Let f be 21/(-12)*o + 7/(-14). Do f and -26 have different values?
True
Let n be ((-51)/9 - -6)*0. Which is greater: 18/125 or n?
18/125
Suppose -32*a - 20642 = 4*u - 34*a, -2*a + 2 = 0. Which is smaller: -5161 or u?
-5161
Let m be 5220/(-48) - (0 + -11). Which is bigger: m or -98?
m
Let u = -561 - -557. Let m be (-21)/(-5) - 8/(-80)*u. Which is smaller: m or 4?
m
Suppose 2*f - 4*w - 12300 = -2838, -f + 4713 = w. Is f less than 1?
False
Suppose 8921*t = 8899*t + 572. Let a be (-16 + 1)*(-16)/(-5). Let j = a + 72. Which is smaller: t or j?
j
Let s = -38.14 - 87.86. Which is bigger: -1/2 or s?
-1/2
Let m = -80 - -58. Let u = 21.8 + m. Suppose 0 = 5*x - 83 + 3. Which is bigger: x or u?
x
Let t be 6/(-90) - (-258440)/(-150). Which is greater: 0 or t?
0
Let b = 811 + -1198. Let o be (381/b - -1)/(96/(-72)). Is o greater than -1?
True
Let z = 39247/23501 - 119/71. Is 1 > z?
True
Let i = 3701 - 3553. Which is greater: 1340/9 or i?
1340/9
Let d be 6/8 - (160/200 + 21/(-20)). Let b = 1435 - 63137/44. Is d != b?
True
Suppose 3*x = -9, 15*r - 12 = 10*r + 4*x. Is -1/794 greater than or equal to r?
False
Let m be 1334/(-138) - (-3 + 2)*5. Let a = -16/3 - m. Is a at least as big as 75?
False
Let v(d) = -15*d + 1373. Let j be v(44). Which is greater: j or 714?
714
Suppose -3*w = 2*w + 4*t - 5, 0 = 5*w + 5*t. Suppose -181 - 264 = -w*c. Is c at least 89?
True
Let u = 1053 + -1290. Which is greater: u or -2/41?
-2/41
Suppose -l - 2*l = 0. Let s(b) = -b**3 - 6*b**2 + b + 5. Let v be s(-6). Let f be (-2)/60 - v/(-6). Which is smaller: f or l?
f
Let m be 4/6 - (-2)/2. Let y be (-360)/(-288) - 3/6. Which is smaller: y or m?
y
Suppose 2*w - 2*t = -6, -2*w - 2*t + 6 = 2*w. Let a be (-2)/(-1 - w/(-4)). Suppose 4*u + 0*h - a*h = 4, -2*h - 4 = -5*u. Is u less than or equal to 0?
True
Let l(r) = -113*r + 465. Let w be l(4). Is w at least as big as 371/30?
True
Let l = 20971 - 20993. Which is smaller: 63/10 or l?
l
Let s be (-15015)/156 - (5/(-4) + 1). Let p be 5 + s/10*40/12. Are -0.2 and p unequal?
True
Let b = 2501 - 2213. Is 1 at most as big as b?
True
Let i(o) = o - 14. Let v be i(13). Let g be (-3)/(-5) - (-3649)/(-14965). Does v = g?
False
Let s(a) = 2*a**2 + 17*a - 3. Let z be s(-9). Suppose 0 = n + n + 5*u + 7, 4*u + z = -2*n. Let d = n - 4. Is -5 at most d?
True
Let m(c) = -c**2 + 20*c + 24. Let g be m(18). Let l be (-26564)/g + 4/(-6). Let i = l + 446. Which is bigger: -1 or i?
i
Suppose 42*x + 16 = 50*x. Suppose -a + 3 = t, -x*t + 3*a = 2*t + 16. Which is smaller: t or -1/90?
t
Let q = -13/1977 + -329039/3295. Let c = q - -100. Is 4/5 smaller than c?
False
Let a = -78 + 88. Let d be -13 + 11 - (-12)/a. Let z = 3.29 + -3.2. Which is greater: z or d?
z
Let b = -22.83 - -23. Let t = b - 0.03. Let u = -2009 + 2009.1. Which is smaller: t or u?
u
Let t(m) = m**3 - m**2 - 76*m + 77. Let z be t(1). Which is greater: z or 2/6733?
z
Suppose 2*v = 2*a + 44, -3*a = -2*a + 4*v + 2. Let d be (-3*4/(-18))/((-2)/(-9)). Suppose -h = -d*j - 9 - 40, -5*h + 41 = -3*j. Which is bigger: j or a?
j
Let b(p) = 187*p + 3913. Let c be b(-26). Is -946 at most as big as c?
False
Let q be (6 - (-255)/(-35)) + ((-8)/4 - -6). Which is smaller: 4 or q?
q
Let v = 21297 + -21212. Let u = 86 + 0. Which is bigger: u or v?
u
Let m = 541 - 1103/2. Let k = 7 - 2. Suppose 0 = -k*n - 142 + 87. Which is greater: m or n?
m
Suppose 18 = 5*h - 2. Suppose -4*l + 64 = h*l. Suppose -4 + 12 = l*f. Which is greater: f or 0?
f
Let t = -270 - -170. Is t less than 2?
True
Let m be 6/(-4)*(-6 + 7 + -3). Suppose -m*y - 4*q + 21 = 0, 0 = 2*y - 6*y + 4*q + 28. Let i be (-180)/(-4515)*y/2. Is i at least as big as 0?
True
Let a be (-30 + 32)/((-2)/(-7)) + (-8039 - -1). Is -8031 smaller than a?
False
Suppose -10*a - 12 = -13*a. Let s be (-33)/22 + 118/a. Let k(o) = 4*o**2 + 12*o - 132. Let m be k(-8). Are s and m unequal?
False
Let g = -75.51 - 728.49. Which is greater: 6 or g?
6
Let h(k) = k**2 - 7*k - 168. Let p be h(17). Suppose -p*m + 962 = 946. Which is smaller: 14 or m?
m
Let i(p) = -p**3 - p**2 - 4*p - 53. Let y be i(0). Let d = -171 - y. Is d less than -119?
False
Let u be 4/24 - 1/(-3). Let m be 69/6 + 30/(-20). Suppose -m*s + 360 = 10*s. Is u >= s?
False
Let n be (-14)/(-10) - (-4)/30*-3. Is n less than -50/167?
False
Let y = -391 + 670. Let n(h) = 8*h**2 - 356*h - 663. Let d be n(47). Is y less than d?
False
Let r = 13824 + -14078.56. Let j = 256 + r. Which is smaller: j or -1/3?
-1/3
Suppose 0 = 5*v - 4*l - 3518, -2433 = -3*v - l - 329. Is v != 702?
False
Let d be 2/((-224)/(-228))*(-245)/350. Is 0 less than or equal to d?
False
Let a = -3350 - -77083/23. Which is bigger: a or 1?
a
Let y(j) = 350*j**3 - 3*j**2 - 7*j - 6. Let b be y(-2). Does -2805 = b?
False
Let a be 6/4*8/(-6). Let m be 7 - (0 - 14/a). Is m smaller than 6/103?
True
Let g be 16/(-6)*9/(-6). Suppose 0 = g*j - 4*k + 3*k - 65, 5*k = -j - 10. Let w be (75/(-10))/((-2)/4). Is j less than w?
False
Let c(n) = 2*n**3 + 38*n**2 + 34*n - 37. Let f be c(-18). Are -1/1997 and f equal?
False
Let b be (-17)/(-459) - 24/648. Which is greater: b or -65/46?
b
Suppose -21*h = -26*h - 60. Let u = 255 - 259. Which is smaller: u or h?
h
Let j be (-38)/(-266)*462/303. Is 1 bigger than j?
True
Let l = -37 - -39. Let o = -84.44 - -84. Is l > o?
True
Let s(g) = -2*g**3 + 6*g**2 + 72*g - 224. Let u be s(6). Is u greater than -237/34?
False
Let m = 2.49 + 231.51. Let z = -321 + m. Is 1 bigger than z?
True
Let l = 30 + -26. Suppose -2*p - 7 = l*r + 333, -4 = p. Are r and -82 equal?
False
Let g = 181.08 - 1.08. Let w = 184.6 - g. Which is smaller: -0.2 or w?
-0.2
Suppose -3*n + 37 = -4*s, 0*s = -s + 5*n - 22. Let r be (-2)/s + (-14)/49. Let z = 3/35 + -17/35. Is r smaller than z?
False
Suppose -10 = -5*h, w = 6*w - 5*h + 1295. Let l(x) = -108*x**2 - 905*x + 345. Let r be l(-9). Which is greater: r or w?
w
Let o be 120/(-150) + (6396/(-255) - -1). Which is smaller: -26 or o?
-26
Let v be -7 + 5/5 - 729. Let c = -732 - v. Which is bigger: c or 31/9?
31/9
Suppose 0 = -5*w + 1 - 6. Let m = -5035959/181 - -27823. Is m < w?
False
Let i = 0.247 - 0.214. Let j = i + -0.033. Which is bigger: j or 88?
88
Let v be (4 - (-141)/(-36))*(-87)/(-58). Is v at least -16?
True
Let p be -1 - (-180)/32 - 5. Suppose 3*j - 10 = -2*j. Let w be j + 80/28 + -4. Is p at least as big as w?
False
Let n = 318 + -315. Suppose -x + 4*x = -3*k + 117, 2*x = -n*k + 82. Does 37 = x?
False
Let q = 299.3 + -327. Let u = q - -28. Let s = -119 - -119.02. Which is smaller: u or s?
s
Let x be -1 - ((-1)/3)/(3/9). Let k = 13079/66907 + 1/5818. Which is greater: k or x?
k
Suppose 74 = -26*t + 100. Is 1/1230 equal to t?
False
Let x = -4274