0)/(13/(-52)). Do q and n have different values?
True
Let d = -30/1939 + 49691/3337019. Is 1 bigger than d?
True
Suppose -3*k - 1 = -16, -4*k + 23 = -y. Let q(h) = 9*h - 42. Let a be q(y). Suppose -d = -3*d - 136. Which is bigger: a or d?
d
Let c = 8.956 - 8.856. Is -293 at most as big as c?
True
Let t = -7.1 + 11.7. Let p = t + -6.6. Is p at least as big as 0.175?
False
Let p = -4377 - -4059. Which is smaller: p or -304?
p
Suppose 5*q = 5*l + 28330, 5670 = -l + 925*q - 920*q. Is l greater than -5663?
False
Suppose 0*p - 2*c + 48 = -5*p, 4*p + 16 = -4*c. Let o = 9 + p. Let q = 15915/34 - 468. Is q less than or equal to o?
True
Let t = 114.9 - 119. Let c = 2.8 - t. Let z = c - 6.8. Which is smaller: z or -39?
-39
Suppose -2046*u = -2064*u - 72. Is u at most as big as -133?
False
Let q be 1 - 9 - ((-2885)/(-575) - 13). Is q > -0.3?
True
Let s(h) = 9*h - 132. Let z be s(18). Are -15 and z nonequal?
True
Let j = 726 + -735. Which is greater: j or -33?
j
Let u be (2/(-6))/(4/(-48)). Suppose -u*d + 7*y + 16 = 3*y, -3*d = -y - 2. Let h be ((-2)/(-30))/((-182)/(-35)). Do h and d have different values?
True
Let m = -19162 + 18993. Let w be (-35)/30*4/(-7). Which is bigger: m or w?
w
Suppose 68*r + 680 - 2518 = -1090. Let g = 0 + -0.02. Which is greater: r or g?
r
Let u(r) = -r**3 - 2*r**2 - r - 1. Let y(v) = -v**3 - 10*v - 13. Let d(x) = 2*u(x) - y(x). Let h be d(-5). Which is bigger: h or -42/11?
-42/11
Let h = -391 + 218. Let b = h - -173. Is 0.081 less than or equal to b?
False
Let d be 2*((-10)/40 - 3/(-8)). Which is smaller: d or -0.275?
-0.275
Let t be (-3)/(4 - (-172)/(-40)). Let j be (84/(-13790))/((-3)/t). Which is greater: j or 0?
j
Let r = -6.123 - -6.423. Which is smaller: r or 289?
r
Let g(d) = -6*d + 26. Let o be g(6). Let i = -7 - o. Let w be i + 3 + (-4)/(-8)*-2. Which is smaller: 4 or w?
4
Let s be 4 - (-36)/1600*-178. Suppose -8 - 4 = -3*z, 0 = -p + 3*z - 11. Is p less than or equal to s?
False
Let y = 2 + -7. Let s = 5.4 + y. Let l = -10 + 9. Is s at most as big as l?
False
Let q(k) = -16*k - 740. Let f be q(-46). Does f = -208/41?
False
Suppose 467 = 2*p + 5*f, p - f - 88 = 149. Suppose 2 = 2*y - 2, p = -5*d + 3*y. Let v = 1079.5 - 1079.5. Is d at most v?
True
Let i(g) = -5*g - 57. Let l be i(-11). Let m be l/22*(-19)/95. Which is smaller: -1 or m?
-1
Suppose -m = -2*l + 8, -3*l - 2*m + 9 = -5*m. Suppose -d + 3*d + l*d = 0. Are -1/273 and d unequal?
True
Let g = -1727/3 + 558. Let d(z) = 31*z - 60. Let w be d(2). Let b be ((-76)/152)/(150/(-76) + w). Is b at least g?
False
Suppose -n - 4*m = 2*n - 11, 2*m + 1 = 5*n. Let y be ((-1474)/(-132))/67*(-6)/183. Which is smaller: y or n?
y
Let d = -9485 + 9654. Let w be (-4)/10 - (-1)/15. Which is smaller: d or w?
w
Let z = 0.27 - -1.28. Let g = z - 2.22. Let f = 0.03 - g. Which is bigger: 0.03 or f?
f
Let i be 2/(-18)*1*(12 + -7). Let v = 100/63 - i. Which is bigger: v or 0?
v
Suppose -4*x - 57 = 2*d - 283, -3*d - 5*x = -343. Is 110 != d?
True
Let k(l) = -2*l - 24. Let t be k(-15). Let b be (3 - t)*4/6 + -6. Let g(c) = c**2 - 7*c + 4. Let z be g(5). Is b less than z?
True
Let j(k) = 120*k**2 + 13*k + 29. Let b be j(-3). Let a = b + -150869/141. Is 0 <= a?
True
Let g = 2606 + -2598. Suppose -3*o = 2*k - 2*o + 16, 2*k = 4*o - 16. Let i(a) = -a - 8. Let m be i(k). Is g at least m?
True
Suppose 3*s + v = 9298, -2942 = -3*s + 5*v + 6332. Which is smaller: s or 3099?
s
Let a = 18534 + -129377/7. Are 52 and a nonequal?
True
Suppose -g - 111 = -4*g. Suppose 0 = 5*n - 4*h - 78 + 16, 0 = 3*h + 9. Suppose -5*j - 12 = -f, -f - j + 52 = n. Is g at most as big as f?
True
Let w = 1.85 - 8.85. Let p = w + 7. Which is smaller: 0.13 or p?
p
Let f = -2 + 5. Suppose 6*d - 2*d - 12 = 0, 0 = -5*g + f*d - 44. Let i = 2939/12 + -734/3. Which is smaller: g or i?
g
Let j = 3522 - 3523. Which is smaller: j or -117/362?
j
Let u = -393 - -390. Let a be 206/200 + (27 - 28). Is a < u?
False
Let g(r) = r**3 - 33*r**2 - 371*r - 297. Let s be g(42). Which is smaller: 1622 or s?
s
Let x = -80.6 + -1.4. Let r = x - -81.67. Let c = 0.37 + r. Which is smaller: 0.1 or c?
c
Let u = 22709/48184 + -69/152. Which is smaller: -1 or u?
-1
Let q(o) = -7*o**3 + o**2 + 4*o + 3. Let p be 7/(28/(-16)) - -16. Suppose 5*c = -c - p. Let z be q(c). Is 55 < z?
False
Suppose 3*g = 4*t - 916, -2*t - 3*g + 212 + 228 = 0. Suppose 0 = 47*s - 3935 + 2624 - 9311. Is t bigger than s?
False
Let k = -77 - -157. Let y = -55 + k. Let f = -25 + y. Which is bigger: f or 2/3?
2/3
Suppose 17 = -2*x + 23. Let k be 10*((3 + 3 - x) + -4). Let i be (30/25 - 1)*k/8. Which is greater: i or 0.6?
0.6
Let c = -1546.2407 - -1546. Let s = c - -0.0407. Which is greater: s or -33?
s
Let c be (3/2)/((-30)/(-17080)). Suppose p + 2*m = -1358, -4*p - m = c + 4578. Let q = p + 2769/2. Which is smaller: 1 or q?
1
Let g = -13 + -4. Let k = -10 - -27.3. Let j = g + k. Is -2/13 not equal to j?
True
Suppose 0 = -18*b + 17*b + 201. Let x = b + -102. Which is bigger: x or 97?
x
Let v = 290 + -414. Let i = v - -124.106. Let u = 0.086 - i. Is u != 9?
True
Let r(g) = 49*g - 147. Let s be r(3). Which is smaller: 12/463 or s?
s
Let h be (1 - -11)/((-104)/(-6) - 22). Are -4 and h equal?
False
Let f = 30.393 + 14.607. Which is greater: 3/5 or f?
f
Let q be (10/(-6) - -1) + 644/138. Suppose 3*u + 9 = 2*b, 5*b + 0 = q*u + 5. Let c be 0 + b + (3 - (-112)/(-6)). Is c at most as big as -20?
False
Let x(u) = -16*u + 1012. Let c be x(36). Is c less than 430?
False
Suppose 295*v - 294*v = 3*j + 29, 0 = -5*v + 5*j + 55. Suppose 4*f + 3*k = -10, -2*f + 2*k - 3 = -5. Let a = f + 3. Is a != v?
False
Let l(c) = 10*c. Let o be l(-1). Let b = -6 - o. Suppose -f + 4*m - 17 = 0, -4*m - 110 = -130. Which is smaller: f or b?
f
Suppose 31332 = 25*w - 67*w. Let c = w + 748. Which is smaller: 19/23 or c?
19/23
Let r = -101 + 97.75. Let d = -1.75 + r. Is d less than or equal to 0.1?
True
Let j(s) = -13*s + 261. Let q be j(12). Let o be 9/(-72) - (q/24)/(-7). Does o = 63?
False
Suppose -1560 - 4188 - 752 = -260*o. Which is smaller: 14/9 or o?
14/9
Let h = 62418 + -30981. Is h bigger than 31437?
False
Let p be 8/12*9/(-15). Suppose -r - 4*y + 21 = 0, 20*y - 26*y = -30. Which is bigger: r or p?
r
Let z = -18660 + 18763. Does 110 = z?
False
Let f(l) = l**2 + 31*l - 631. Let a be f(14). Is a greater than -25/141?
False
Let y(a) = 3*a**2 - 4*a + 3. Let s be y(1). Suppose s*c + 26 = -4*f, -3*f - 37 = -5*c + 2. Suppose 2*x = -16 - 2. Is x greater than f?
False
Let q = 14129/28 + -3492/7. Is q greater than or equal to -76?
True
Let t = -122208793/1762 + 69358. Which is smaller: t or 0?
0
Let u = -1.3 - -0.7. Suppose 3*j + 34 = 70. Suppose 1 = -j*l + 13. Which is smaller: u or l?
u
Let o = -3 - 1. Let m be 110/54 + (o - -2). Suppose -2*k = 5*n - 16 + 4, 3*k + 2*n - 7 = 0. Is m != k?
True
Let x = -2.823 + 373.423. Let o = x + -354. Is o less than -1/4?
False
Let x = -196 + 428. Suppose 5*u + 198 + 7 = 5*h, 5*u + 4*h + x = 0. Is u > -45?
True
Let r = -1320 - -1233. Is r greater than -83?
False
Let c = -14833/72 + 33091/24. Which is bigger: c or 1172?
c
Let c(x) = 7*x - 120. Let f be c(-14). Let h = f + 231. Is -5 not equal to h?
True
Let u = 0.19 - 0.163. Let v = 45.027 - u. Let f = v + -23. Do f and 1 have different values?
True
Let p be 5640/(-781) - (-13 + 2192/176). Is p < -6?
True
Let x(o) = o**2 - 11*o - 72. Let v be x(21). Let f = 122 - v. Is f equal to -17?
False
Let n = -304 + 63. Let d = -225 - n. Is 2/21 at least d?
False
Let f = -307/141 - -890159/408900. Which is greater: f or 1?
1
Suppose -17 = -7*x - 59. Let v be -399 + x + 1 + 1. Let a = v - -6445/16. Are -1 and a non-equal?
True
Let u be ((-3)/7)/(6/(-4)). Suppose -n = -c + 3*c - 3, c - 24 = -5*n. Let z be c + -1 + 20/105*12. Is u at least as big as z?
True
Let a = 2942 - 950. Suppose 13*q = -a + 536. Which is bigger: q or -109?
-109
Let z be 15/2*(-22)/(-33). Suppose -t - 28 = -z*t. Let r be (6/(-18))/((-1)/12). Is r smaller than t?
True
Let z(d) = d**3 + 10*d**2 - 25*d - 9. Let m be z(-12). Suppose -m*g - 12 = 4*a, 2*a + 2*g = a - 8. Let r be (-30)/(-28) + 4/(-8). Which is smaller: r or a?
a
Let a(c) = -6*c - 14. Let o be a(-4). Suppose 0 = 5*h - o*h - 25. Which is smaller: h or 0.05?
h
Let c = 592 + -592. Let b be 17/(5304/(-80)) - c. Which is smalle